Ziyang Hu
|
6ba45b8496
|
build rocksdb with build script
|
2 years ago |
|
Ziyang Hu
|
42ff1918a3
|
bump deps; intro tutorial
|
2 years ago |
|
Ziyang Hu
|
f8b06ef8de
|
bump deps
|
2 years ago |
|
Ziyang Hu
|
23b15509d3
|
execution docs; completion of manual
|
2 years ago |
|
Ziyang Hu
|
eff28aa470
|
execution docs
|
2 years ago |
|
Ziyang Hu
|
286e286315
|
execution docs
|
2 years ago |
|
Ziyang Hu
|
ace015057f
|
logging in server
|
2 years ago |
|
Ziyang Hu
|
31383e0d88
|
logging in server
|
2 years ago |
|
Ziyang Hu
|
6c27389d44
|
security
|
2 years ago |
|
Ziyang Hu
|
32d60a0a34
|
docs for triggers
|
2 years ago |
|
Ziyang Hu
|
8df8910cef
|
change terminology
|
2 years ago |
|
Ziyang Hu
|
91ab95e3f0
|
timeout and sleep
|
2 years ago |
|
Ziyang Hu
|
f520a704fc
|
fix display
|
2 years ago |
|
Ziyang Hu
|
f3537651cf
|
ensure and ensure_not
|
2 years ago |
|
Ziyang Hu
|
6e30f5573a
|
structure for ensure and ensure_not
|
2 years ago |
|
Ziyang Hu
|
8ea202bb03
|
fix typos
|
2 years ago |
|
Ziyang Hu
|
da1259a8df
|
choice_rand aggr
|
2 years ago |
|
Ziyang Hu
|
742c8be90a
|
bump versions
|
2 years ago |
|
Ziyang Hu
|
1e5dc44329
|
improve docs
|
2 years ago |
|
Ziyang Hu
|
81f1294435
|
stored relation docs
|
2 years ago |
|
Ziyang Hu
|
61c949a584
|
stored relations docs
|
2 years ago |
|
Ziyang Hu
|
02731eef76
|
update docs for datatypes
|
2 years ago |
|
Ziyang Hu
|
c7c4aca1ad
|
update docs for constant rules
|
2 years ago |
|
Ziyang Hu
|
fb04130143
|
make const rule a special case of algo
|
2 years ago |
|
Ziyang Hu
|
4376ea1227
|
refactor algo arity
|
2 years ago |
|
Ziyang Hu
|
8fa7904fae
|
formatting
|
2 years ago |
|
Ziyang Hu
|
14a47dacc7
|
edit docs
|
2 years ago |
|
Ziyang Hu
|
f6b639e400
|
sysop docs
|
2 years ago |
|
Ziyang Hu
|
b71c75c15a
|
Merge branch 'main' of git.infhis.cn:zh217/cozo
|
2 years ago |
|
Ziyang Hu
|
49fd2e24af
|
complete queries docs
|
2 years ago |
|
Ziyang Hu
|
80fedb2be9
|
fix parser problems
|
2 years ago |
|
Ziyang Hu
|
e2d45a59af
|
More expressive error
|
2 years ago |
|
Ziyang Hu
|
7d72f9259a
|
Create nopull.yml
|
2 years ago |
|
Ziyang Hu
|
30f862c07e
|
recurse into submodules
|
2 years ago |
|
Ziyang Hu
|
5061925962
|
use release mode
|
2 years ago |
|
Ziyang Hu
|
2b54bad0e9
|
Create rust.yml
|
2 years ago |
|
Ziyang Hu
|
f351d6de4d
|
LICENSE for docs and tutorial
|
2 years ago |
|
Ziyang Hu
|
530361c2a4
|
README
|
2 years ago |
|
Ziyang Hu
|
d9b8ed32f6
|
fix import warning
|
2 years ago |
|
Ziyang Hu
|
5a82f3326f
|
cargo lock
|
2 years ago |
|
Ziyang Hu
|
cf3afd1b4a
|
windows linking
|
2 years ago |
|
Ziyang Hu
|
c116c828f5
|
windows linking
|
2 years ago |
|
Ziyang Hu
|
062a3cbb88
|
improve build script
|
2 years ago |
|
Ziyang Hu
|
889ce88a0d
|
improve build script
|
2 years ago |
|
Ziyang Hu
|
06a9ca6931
|
improve build script
|
2 years ago |
|
Ziyang Hu
|
7720a4210f
|
improve build script
|
2 years ago |
|
Ziyang Hu
|
6e39fb78b9
|
set features
|
2 years ago |
|
Ziyang Hu
|
50d7410fa1
|
fix submodules
|
2 years ago |
|
Ziyang Hu
|
04d2fdf123
|
dir change
|
2 years ago |
|
Ziyang Hu
|
7afc7e968f
|
docks
|
2 years ago |