Aymeric Fromherz 0ccf7da89a Remove ctx_var from Z3 backend context		2022-11-16 21:57:26 +01:00
..
conditions.ml	Swap boxing and annotations in expressions	2022-10-07 18:00:23 +02:00
conditions.mli	Make all supertypes use ('a, 't) gexpr as parameter instead of naked_gexpr	2022-08-29 10:57:21 +02:00
dune	Merge branch 'master' into dates_calc_lib	2022-08-06 17:26:55 +02:00
io.ml	Correct test output for proof mode	2022-09-06 14:10:32 +02:00
io.mli	Correct test output for proof mode	2022-09-06 14:10:32 +02:00
solver.ml	Correct test output for proof mode	2022-09-06 14:10:32 +02:00
solver.mli	Leverage the shared AST: big cleanup (part I)	2022-08-22 19:28:21 +02:00
verification.mld	Documentation pass	2022-01-19 10:54:16 +01:00
z3backend.dummy.ml	Make Z3 an optional dependency	2022-03-08 18:38:42 +01:00
z3backend.mli	Big reformatting	2022-03-08 15:03:14 +01:00
z3backend.real.ml	Remove ctx_var from Z3 backend context	2022-11-16 21:57:26 +01:00