Ziyang Hu
|
26676e67a7
|
improve readme
|
2 years ago |
|
Ziyang Hu
|
31b5934007
|
stylish title
|
2 years ago |
|
Ziyang Hu
|
b2d9e4cde3
|
editing the tutorial
|
2 years ago |
|
Ziyang Hu
|
d2c3dbd243
|
finish the tutorial
|
2 years ago |
|
Ziyang Hu
|
618e0f2bf6
|
add licensing information
|
2 years ago |
|
Ziyang Hu
|
f2a0c06077
|
docs build script
|
2 years ago |
|
Ziyang Hu
|
8caf770f84
|
bump deps
|
2 years ago |
|
Ziyang Hu
|
d2a7a8f904
|
move tutorial
|
2 years ago |
|
Ziyang Hu
|
b3180434cf
|
fix clippy warnings
|
2 years ago |
|
Ziyang Hu
|
6f56e2f6f8
|
deps
|
2 years ago |
|
Ziyang Hu
|
c4a37c17f6
|
rocksdb version
|
2 years ago |
|
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 |