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 |
|
Ziyang Hu
|
a233730253
|
use anyhow macros
|
2 years ago |
|
Ziyang Hu
|
c9917c8bcd
|
new API
|
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
|
4a370a525f
|
fix SCC
|
2 years ago |
|
Ziyang Hu
|
469eba1422
|
magic sets, doesn't work yet
|
2 years ago |
|
Ziyang Hu
|
3846719b53
|
fix tuple encoding problem
|
2 years ago |
|
Ziyang Hu
|
e9aa070a2e
|
reformat
|
2 years ago |
|
Ziyang Hu
|
62d19ab722
|
reformat
|
2 years ago |
|
Ziyang Hu
|
6d343c6929
|
reformat
|
2 years ago |
|
Ziyang Hu
|
5cdf6885f4
|
comment in correct place
|
2 years ago |
|
Ziyang Hu
|
6a79e76410
|
comment in correct place
|
2 years ago |
|
Ziyang Hu
|
c3cb66ae0b
|
logging
|
2 years ago |
|
Ziyang Hu
|
79b1f66ae4
|
stratified semi-naive
|
2 years ago |
|
Ziyang Hu
|
61172da6c5
|
stratification; generalized Kahn
|
2 years ago |
|
Ziyang Hu
|
884ed4ba97
|
cozoplay
|
2 years ago |
|
Ziyang Hu
|
417542c12c
|
cozoplay
|
2 years ago |
|
Ziyang Hu
|
68774c53ab
|
jemalloc creates too many problems
|
2 years ago |