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 |
Ziyang Hu
|
ffa45f3445
|
recursion but cardinality not right
|
2 years ago |
Ziyang Hu
|
85c500bf62
|
update tests
|
2 years ago |
Ziyang Hu
|
6518fc7d94
|
pullall
|
2 years ago |
Ziyang Hu
|
14b375bfa1
|
export everything
|
2 years ago |
Ziyang Hu
|
eded6a775e
|
component shorthand
|
2 years ago |
Ziyang Hu
|
f2e529bcd2
|
insertion supports array of values
|
2 years ago |
Ziyang Hu
|
99d954af16
|
temp id stuff
|
2 years ago |
Ziyang Hu
|
f0b36edd84
|
iterator fiasco
|
2 years ago |
Ziyang Hu
|
d1910767c9
|
test retraction
|
2 years ago |