Ziyang Hu
|
2ca3ed79d8
|
prepare for 0.4
|
2 years ago |
|
Ziyang Hu
|
d57224aa87
|
move tests
|
2 years ago |
|
Ziyang Hu
|
1eec1374ba
|
yielding relations for the next block
|
2 years ago |
|
Ziyang Hu
|
36b5b804e5
|
yielding relations for the next block
|
2 years ago |
|
Ziyang Hu
|
46d89a24f2
|
prepare for yielding relations
|
2 years ago |
|
Ziyang Hu
|
6b246d8f27
|
underscores are ignored for all unification; stricter checks for fixed rule bindings
|
2 years ago |
|
Ziyang Hu
|
6ac4ec33c2
|
add tests for default columns generation
|
2 years ago |
|
Ziyang Hu
|
0953c516bb
|
rm does not need all keys
|
2 years ago |
|
Ziyang Hu
|
ef7f58b368
|
rm does not need all keys
|
2 years ago |
|
Ziyang Hu
|
adcea96088
|
time travel query
|
2 years ago |
|
Ziyang Hu
|
2193cee639
|
time travel query
|
2 years ago |
|
Ziyang Hu
|
b885e01026
|
time travel query
|
2 years ago |
|
Ziyang Hu
|
cf73749ce5
|
time travel query
|
2 years ago |
|
Ziyang Hu
|
56a71078f9
|
smallest_by
|
2 years ago |
|
Ziyang Hu
|
0bad3da7c2
|
time travel query
|
2 years ago |
|
Ziyang Hu
|
c1b61eac8d
|
time travel query
|
2 years ago |
|
Ziyang Hu
|
1df0257bf8
|
smallest_by
|
2 years ago |
|
Ziyang Hu
|
7a89ecbc3c
|
time travel bench size
|
2 years ago |
|
Ziyang Hu
|
cabd00df3d
|
time travel bench size
|
2 years ago |
|
Ziyang Hu
|
4629e03b09
|
time travel bench size
|
2 years ago |
|
Ziyang Hu
|
37b746b043
|
time travel bench size
|
2 years ago |
|
Ziyang Hu
|
6625de5fee
|
time travel bench size
|
2 years ago |
|
Ziyang Hu
|
5671df2411
|
time travel bench size
|
2 years ago |
|
Ziyang Hu
|
42f5946539
|
time travel bench
|
2 years ago |
|
Ziyang Hu
|
56ab50126b
|
update node readme for the correct filename
|
2 years ago |
|
Ziyang Hu
|
d9c30640cb
|
Merge remote-tracking branch 'origin/dev' into dev
# Conflicts:
# cozo-core/src/data/relation.rs
|
2 years ago |
|
Ziyang Hu
|
115e955265
|
validity inputs
|
2 years ago |
|
Ziyang Hu
|
0cc050b8be
|
validity inputs
|
2 years ago |
|
Ziyang Hu
|
7aaea2de42
|
time travel functionality
|
2 years ago |
|
Ziyang Hu
|
cd43966389
|
stubs for more localized README
|
2 years ago |
|
Ziyang Hu
|
34d4b5372c
|
first translation
|
2 years ago |
|
Ziyang Hu
|
a51cd4f77a
|
make valid_at argument dangling
|
2 years ago |
|
Ziyang Hu
|
9ddba9d333
|
use microseconds to store validity
|
2 years ago |
|
Ziyang Hu
|
30070590e0
|
push validity spec to RA
|
2 years ago |
|
Ziyang Hu
|
8042eb0246
|
Merge remote-tracking branch 'origin/dev' into dev
|
2 years ago |
|
Ziyang Hu
|
438c466f1b
|
parsing validity spec
|
2 years ago |
|
Ziyang Hu
|
581a9b5fc4
|
better naming for node binary module
|
2 years ago |
|
Ziyang Hu
|
3049226df3
|
Merge remote-tracking branch 'origin/dev' into dev
|
2 years ago |
|
Ziyang Hu
|
1ac412be9b
|
fix node module name
|
2 years ago |
|
Ziyang Hu
|
92b5195013
|
Merge remote-tracking branch 'origin/dev' into dev
|
2 years ago |
|
Ziyang Hu
|
eb6d05e47d
|
fix bad build script
|
2 years ago |
|
Ziyang Hu
|
e0414babd6
|
localization
|
2 years ago |
|
Ziyang Hu
|
a87586869d
|
localization
|
2 years ago |
|
Ziyang Hu
|
c02575c4b9
|
Merge branch 'time' into dev
|
2 years ago |
|
Ziyang Hu
|
6a1b340638
|
Merge branch 'dev' of git.infhis.cn:zh217/cozo into dev
|
2 years ago |
|
Ziyang Hu
|
fe796fec1c
|
add more performance numbers
|
2 years ago |
|
Ziyang Hu
|
42a021a97b
|
swift scripts
|
2 years ago |
|
Ziyang Hu
|
670422a0ff
|
More accurate description of tests
|
2 years ago |
|
Ziyang Hu
|
7a4e428ea8
|
change readme
|
2 years ago |
|
Ziyang Hu
|
ad1938b61b
|
update build shield
|
2 years ago |