Ziyang Hu
|
ece7595be2
|
aggregation must have same heads; change aggregation semantics to be consistent with intuition
|
2 years ago |
|
Ziyang Hu
|
7c3fd7a58a
|
tests; ignored var
|
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
|
e0b958136f
|
schema scripting
|
2 years ago |
|
Ziyang Hu
|
b2aaaf2cc4
|
cozoscript parser
|
2 years ago |
Ziyang Hu
|
191658b81b
|
parser gen
|
2 years ago |
|
Ziyang Hu
|
d54658074d
|
cozoscript parser
|
2 years ago |
|
Ziyang Hu
|
08e8ddc751
|
cozoscript parser
|
2 years ago |
|
Ziyang Hu
|
860d973c12
|
sorters
|
2 years ago |
|
Ziyang Hu
|
2e32e1a754
|
parsing sorters
|
2 years ago |
|
Ziyang Hu
|
fad9cf9e09
|
sorters
|
2 years ago |
|
Ziyang Hu
|
2f3b31341c
|
limit and offset
|
2 years ago |
|
Ziyang Hu
|
8612cbabfa
|
dup symbols in rule heads
|
2 years ago |
|
Ziyang Hu
|
582f8213b1
|
fix aggregation problems
|
2 years ago |
|
Ziyang Hu
|
e6ab334caf
|
aggregation
|
2 years ago |
|
Ziyang Hu
|
000eb0816b
|
fix stratum eval order
|
2 years ago |
|
Ziyang Hu
|
3d1aabb9b5
|
rename keyword to symbol/name
|
2 years ago |
|
Ziyang Hu
|
73f05e1c02
|
refactor
|
2 years ago |
|
Ziyang Hu
|
e3bd5cd8c7
|
refactor
|
2 years ago |
|
Ziyang Hu
|
d6dd698ea4
|
tempstores have names
|
2 years ago |
|
Ziyang Hu
|
37b4851622
|
fix value scanning
|
2 years ago |
|
Ziyang Hu
|
8900b4cca2
|
fix value scanning
|
2 years ago |
|
Ziyang Hu
|
435c076b70
|
fix unification of existing variables
|
2 years ago |
|
Ziyang Hu
|
6d668b04d0
|
enable logging in python program
|
2 years ago |
|
Ziyang Hu
|
4d8e560a96
|
fix unify query
|
2 years ago |
|
Ziyang Hu
|
934c54d05e
|
fix comparison
|
2 years ago |
|
Ziyang Hu
|
490066f0a2
|
insertions into DB
|
2 years ago |
|
Ziyang Hu
|
32cc4fd83d
|
air routes data insertion
|
2 years ago |
|
Ziyang Hu
|
0c0a0ac338
|
fix insertion bug
|
2 years ago |
|
Ziyang Hu
|
71269f989f
|
doc
|
2 years ago |
|
Ziyang Hu
|
e96f232b08
|
bump deps version
|
2 years ago |
|
Ziyang Hu
|
8d09bb6541
|
update PyAPI
|
2 years ago |
|
Ziyang Hu
|
1e810123ad
|
cleanup API
|
2 years ago |
|
Ziyang Hu
|
7019304b35
|
fix wrong name
|
2 years ago |
|
Ziyang Hu
|
23f4f20e74
|
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
|
9ac734d5a9
|
reworked compilation
|
2 years ago |
|
Ziyang Hu
|
846b695cb8
|
magic rewrite
|
2 years ago |
|
Ziyang Hu
|
2b50e2aaf4
|
well-ordered rules
|
2 years ago |
|
Ziyang Hu
|
3c7bb2b80b
|
refactor to stratification
|
2 years ago |
|
Ziyang Hu
|
3565f85e44
|
everything uses anyhow
|
2 years ago |
|
Ziyang Hu
|
f1692bc072
|
more slimming of errors
|
2 years ago |
|
Ziyang Hu
|
32f1d42f17
|
use anyhow macros
|
2 years ago |