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 |
Ziyang Hu
|
91772ca10b
|
neg join for stored
|
2 years ago |
Ziyang Hu
|
fdc3ab471e
|
neg join for triples
|
2 years ago |
Ziyang Hu
|
1a242f7bab
|
fix comparison ops
|
2 years ago |
Ziyang Hu
|
c2ca1333ad
|
more native functions
|
2 years ago |
Ziyang Hu
|
06429f0305
|
mathematical functions
|
2 years ago |
Ziyang Hu
|
cc6a769331
|
fix filter index elimination logic
|
2 years ago |
Ziyang Hu
|
93e82a001e
|
filter respects eager binding elimination
|
2 years ago |
Ziyang Hu
|
cf7a48d09d
|
done filtering
|
2 years ago |