Louis Gesbert 74c5629153 Formatting: reduce extra match-case indentation ... 2 is plenty enough, esp. for nested matches :)		2022-05-11 16:25:20 +02:00
..
conditions.ml	Formatting: reduce extra match-case indentation	2022-05-11 16:25:20 +02:00
conditions.mli	Add condition for focusing the proof mode on a single scope	2022-03-17 17:44:24 +01:00
dune	Make Z3 an optional dependency	2022-03-08 18:38:42 +01:00
io.ml	Formatting: reduce extra match-case indentation	2022-05-11 16:25:20 +02:00
io.mli	Big reformatting	2022-03-08 15:03:14 +01:00
solver.ml	Formatting: disable deprecated "smart" fun-decl option	2022-05-11 16:22:56 +02:00
solver.mli	Code builds but bugguy [skip ci]	2022-04-04 08:56:48 +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	Formatting: reduce extra match-case indentation	2022-05-11 16:25:20 +02:00