Ziyang Hu
|
7f238f5315
|
list op
|
2 years ago |
Ziyang Hu
|
6362083faf
|
operators in const rule
|
2 years ago |
Ziyang Hu
|
8f5c3a9574
|
const relations
|
2 years ago |
Ziyang Hu
|
ee5d60817c
|
change number representation
|
2 years ago |
Ziyang Hu
|
8150e3573e
|
sorting should not unnecessarily dedup
|
2 years ago |
Ziyang Hu
|
cf6ad6bfe9
|
many tests
|
2 years ago |
Ziyang Hu
|
83b4c31679
|
fix normal aggr in epoch 0
|
2 years ago |
Ziyang Hu
|
ece7595be2
|
aggregation must have same heads; change aggregation semantics to be consistent with intuition
|
2 years ago |
Ziyang Hu
|
1bcb444a40
|
start testing
|
2 years ago |
Ziyang Hu
|
6e85a56816
|
script all the way
|
2 years ago |
Ziyang Hu
|
3d6aaae678
|
pull and sort in script
|
2 years ago |
Ziyang Hu
|
2d94a4063e
|
pull and sort in script
|
2 years ago |
Ziyang Hu
|
e805edf758
|
schema scripting
|
2 years ago |
Ziyang Hu
|
08e8ddc751
|
cozoscript parser
|
2 years ago |
Ziyang Hu
|
860d973c12
|
sorters
|
2 years ago |
Ziyang Hu
|
2f3b31341c
|
limit and offset
|
2 years ago |
Ziyang Hu
|
3d1aabb9b5
|
rename keyword to symbol/name
|
2 years ago |
Ziyang Hu
|
8900b4cca2
|
fix value scanning
|
2 years ago |
Ziyang Hu
|
1e810123ad
|
cleanup API
|
2 years ago |
Ziyang Hu
|
2109c974dc
|
cleanup API
|
2 years ago |
Ziyang Hu
|
c220d68e4b
|
seemingly working, zero warnings
|
2 years ago |
Ziyang Hu
|
123a775388
|
hopefully runs correctly
|
2 years ago |
Ziyang Hu
|
04d5e47a9b
|
runs but wrong
|
2 years ago |
Ziyang Hu
|
18cd63014d
|
magic set rewriting only works for the last stratum
|
2 years ago |
Ziyang Hu
|
66723ad4c8
|
magic set rewriting only works for the last stratum
|
2 years ago |
Ziyang Hu
|
905fb36e59
|
magic sets works!
|
2 years ago |
Ziyang Hu
|
469eba1422
|
magic sets, doesn't work yet
|
2 years ago |
Ziyang Hu
|
c3cb66ae0b
|
logging
|
2 years ago |
Ziyang Hu
|
c33722ffba
|
disjunction
|
2 years ago |
Ziyang Hu
|
439b237723
|
negation reordering
|
2 years ago |
Ziyang Hu
|
3c2f8c6b0b
|
negation works, provided it is in the correct place
|
2 years ago |
Ziyang Hu
|
fdc3ab471e
|
neg join for triples
|
2 years ago |
Ziyang Hu
|
06429f0305
|
mathematical functions
|
2 years ago |
Ziyang Hu
|
93e82a001e
|
filter respects eager binding elimination
|
2 years ago |
Ziyang Hu
|
cf7a48d09d
|
done filtering
|
2 years ago |
Ziyang Hu
|
700b6def20
|
pull API within run_query API
|
2 years ago |
Ziyang Hu
|
3a014e7ec0
|
run_query API
|
2 years ago |
Ziyang Hu
|
38745af8ea
|
move stuff around
|
2 years ago |
Ziyang Hu
|
160fd7e034
|
logging
|
2 years ago |
Ziyang Hu
|
18092b6186
|
optimize semi-naive logic
|
2 years ago |
Ziyang Hu
|
067708f2fb
|
working semi-naive
|
2 years ago |
Ziyang Hu
|
5dfcaa67b6
|
parsing rulesets
|
2 years ago |
Ziyang Hu
|
ae0156772e
|
more consistent terminology
|
2 years ago |
Ziyang Hu
|
f73a821b7b
|
more stringent parsing
|
2 years ago |
Ziyang Hu
|
3e765c64f5
|
refer to entity by unique index
|
2 years ago |
Ziyang Hu
|
468a6606f4
|
fix various problems
|
2 years ago |
Ziyang Hu
|
5888e067d4
|
first high point
|
2 years ago |
Ziyang Hu
|
319225b7a9
|
simplify code
|
2 years ago |
Ziyang Hu
|
8ed1d1ab02
|
recursive pull is subtle
|
2 years ago |
Ziyang Hu
|
1b6a9ab3e5
|
recursion
|
2 years ago |