Simon Cruanes 49a7446631 feat(th-bool-static): add non-traversable opaque boolean term		2019-10-05 18:37:49 -05:00
..
base-term	refactor: move Hash to util/; fix some warnings	2019-06-10 10:46:16 -05:00
cc	split on_merge into two events: pre and post merge	2019-08-21 11:43:59 -05:00
core	split on_merge into two events: pre and post merge	2019-08-21 11:43:59 -05:00
main	refactor: split smtlib+bin into their own opam package	2019-06-07 17:59:07 -05:00
mini-cc	feat(check): use mini-cc to check CC conflicts on the fly	2019-06-07 14:47:52 -05:00
msat-solver	feat: add is_valid_literal filter to add_term_rec	2019-10-02 18:15:06 -05:00
smtlib	feat(th-bool-static): add non-traversable opaque boolean term	2019-10-05 18:37:49 -05:00
th-bool-dyn	wip: simplify a lot and only keep th-bool-static in the functor	2019-06-05 16:53:13 -05:00
th-bool-static	feat(th-bool-static): add non-traversable opaque boolean term	2019-10-05 18:37:49 -05:00
th-cstor	split on_merge into two events: pre and post merge	2019-08-21 11:43:59 -05:00
tools	tool: update analyse.py with the minisat-ml version	2019-06-10 09:56:32 -05:00
util	refactor: make backtrackable table polymorphic in values	2019-06-11 10:19:07 -05:00
dune	chore: add common dune file	2019-02-26 22:46:13 -06:00