Simon Cruanes 431988d5e4 feat: more expressive theories, also plug distinct in		2019-03-09 16:15:24 -06:00
..
dune	wip: new micro-theories in CC	2019-02-26 22:46:40 -06:00
Lexer.mll	wip: have a proper smtlib parser	2018-02-05 23:09:29 -06:00
Locations.ml	wip: have a proper smtlib parser	2018-02-05 23:09:29 -06:00
Parse_ast.ml	wip: have a proper smtlib parser	2018-02-05 23:09:29 -06:00
Parser.mly	wip: have a proper smtlib parser	2018-02-05 23:09:29 -06:00
Process.ml	feat: more expressive theories, also plug distinct in	2019-03-09 16:15:24 -06:00
Process.mli	feat(model): proper model construction for CC + fun interpretation	2018-06-11 21:42:02 -05:00
Sidekick_smtlib.ml	rename to sidekick	2018-05-09 19:28:41 -05:00
Sidekick_smtlib.mli	rename to sidekick	2018-05-09 19:28:41 -05:00
Typecheck.ml	wip: migrate to msat 0.8	2019-01-28 21:09:57 -06:00
Typecheck.mli	rename to sidekick	2018-05-09 19:28:41 -05:00