Simon Cruanes 7032d5220a fix typo in a name		2020-04-27 12:47:11 -04:00
..
base-term	fixes: add missing expl in monoids; handle is-c t	2020-01-14 22:41:33 -06:00
cc	fix typo in a name	2020-04-27 12:47:11 -04:00
core	fix(solver): in final-check, fixpoint until CC has no merges	2020-02-15 14:40:57 -06:00
main	feat(main): simpler computation of version	2019-12-28 08:31:41 -06:00
mini-cc	feat: add Ite constructor in base-term, handle it in mini-cc	2019-10-30 15:41:52 -05:00
msat-solver	fix(solver): in final-check, fixpoint until CC has no merges	2020-02-15 14:40:57 -06:00
smtlib	feat(cc): flag some explanations as being theory-induced	2020-01-17 18:49:14 -06: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	fix: preprocess away "ite"	2020-01-14 20:23:23 -06:00
th-cstor	fixes: add missing expl in monoids; handle is-c t	2020-01-14 22:41:33 -06:00
th-data	fix(th-data): fix acyclicity	2020-02-20 19:32:33 -06:00
tools	tool: update analyse.py with the minisat-ml version	2019-06-10 09:56:32 -05:00
util	cleanup: remove dead code	2019-10-30 13:41:02 -05:00
dune	chore: add common dune file	2019-02-26 22:46:13 -06:00