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 |
Ziyang Hu
|
c40473a08e
|
building disaster on Linux
|
2 years ago |
Ziyang Hu
|
594fe3cebd
|
remove old python helper
|
2 years ago |
Ziyang Hu
|
5bb2251a13
|
release GIL for python execution
|
2 years ago |
Ziyang Hu
|
1a09c8d32e
|
improve python example
|
2 years ago |
Ziyang Hu
|
dcb3bdd033
|
python module
|
2 years ago |
Ziyang Hu
|
c5a2dd4a84
|
refactor cozohttp into own crate
|
2 years ago |
Ziyang Hu
|
709159e6e3
|
graph algorithms
|
2 years ago |
Ziyang Hu
|
c33722ffba
|
disjunction
|
2 years ago |
Ziyang Hu
|
2aa470d0bb
|
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 |