Ziyang Hu
|
e58eaad9a6
|
is_in unification
|
2 years ago |
Ziyang Hu
|
1f31d8d695
|
aggregation with args
|
2 years ago |
Ziyang Hu
|
7f238f5315
|
list op
|
2 years ago |
Ziyang Hu
|
6362083faf
|
operators in const rule
|
2 years ago |
Ziyang Hu
|
8f5c3a9574
|
const relations
|
2 years ago |
Ziyang Hu
|
ee5d60817c
|
change number representation
|
2 years ago |
Ziyang Hu
|
8150e3573e
|
sorting should not unnecessarily dedup
|
2 years ago |
Ziyang Hu
|
cf6ad6bfe9
|
many tests
|
2 years ago |
Ziyang Hu
|
83b4c31679
|
fix normal aggr in epoch 0
|
2 years ago |
Ziyang Hu
|
ece7595be2
|
aggregation must have same heads; change aggregation semantics to be consistent with intuition
|
2 years ago |
Ziyang Hu
|
1bcb444a40
|
start testing
|
2 years ago |