64 Commits (83e1c672f47a818faec860078c3d97c9f3ce17de)

Author	SHA1	Message	Date
Ziyang Hu	905fb36e59	magic sets works!	2 years ago
Ziyang Hu	79b1f66ae4	stratified semi-naive	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	fdc3ab471e	neg join for triples	2 years ago
Ziyang Hu	93e82a001e	filter respects eager binding elimination	2 years ago
Ziyang Hu	cf7a48d09d	done filtering	2 years ago
Ziyang Hu	62c63771d6	expressions	2 years ago
Ziyang Hu	4c12cb6b7e	readme	2 years ago
Ziyang Hu	2bc4adc858	introduce validity	2 years ago
Ziyang Hu	772ae5bbe0	cleanup	2 years ago
Ziyang Hu	f5d05a17b3	change stuff	2 years ago
Ziyang Hu	023d32b6ec	custom comparator	2 years ago