Denis Merigoux d7e219b0dd Correct test output for proof mode		2022-09-06 14:10:32 +02:00
..
conditions.ml	Make all supertypes use ('a, 't) gexpr as parameter instead of naked_gexpr	2022-08-29 10:57:21 +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	Add support for is_leap_year in z3 backend and runtime	2022-09-05 09:28:58 +02:00