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
f4ab6f5a96
build(clerk/opam): add a clerk opam package and a clerk.driver library to test
2022-02-25 18:14:07 +01:00
Emile Rolley
73576548c6
docs: update authors fields
2022-02-25 16:49:22 +01:00
Emile Rolley
79c39889bd
fix(opam): try to add ninja_utils as a standalone package
2022-02-24 14:05:37 +01:00
