Louis Gesbert
6837af4e80
Upgrade Cmdliner dep
2022-05-09 11:39:18 +02:00
Louis Gesbert
4974628bf1
Add ninja depext to clerk opam package def
2022-05-09 11:37:41 +02:00
Louis Gesbert
971dd82691
Disable dune generated opam files
...
They avoid a bit of duplication, but don't support depexts and having to
commit the generated opam files means that, often, the wrong file is
fixed.
2022-05-09 11:34:15 +02:00
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
