5 Commits

Author	SHA1	Message	Date
Denis Merigoux	c5d63148f8	Fix dune build -p catala @runtest	2022-03-08 11:28:42 +01:00
Denis Merigoux	2d63a08f23	Removed extra newlines	2022-03-07 19:41:27 +01:00
Denis Merigoux	8fb681baa1	Bump version to 0.6.0 ... Changelog: * Catala as a proof platform (Z3 backend, safety checks) * More expressivity for exceptions * Multiple states for one variable * Build system relying on ninja-build * Better debug printers * Alternative compilation mode without try ... with exceptions	2022-03-07 19:35:56 +01:00
Emile Rolley	f277f272d1	test(clerk): setup alcotest + two first tests	2022-02-25 20:30:05 +01:00
Emile Rolley	f4ab6f5a96	build(clerk/opam): add a clerk opam package and a clerk.driver library to test	2022-02-25 18:14:07 +01:00