v0.6.0

Major changes

• 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

Detailed changelog

• tentative nix support by @lIlIlIlIIIIlIIIllIIlIllIIllIII in #155
• Allow exceptions to a set of rules rather than one rule by @denismerigoux in #159
• Docs: comestic changes for the README by @EmileRolley in #163
• add menhirLib to Nix dependencies by @jakeisnt in #160
• Bring more structure to Dcalc by @denismerigoux in #164
• Fix: escape special LaTex characters by @EmileRolley in #168
• Fix(build/doc): remove warnings due to .ml* files by @EmileRolley in #169
• Allow exceptions to a group of rules by @denismerigoux in #171
• Fix console formatting with colors by @AltGr in #176
• Clerk, a build system for Catala by @denismerigoux in #177
• Revamping the tutorial by @denismerigoux in #173
• An attempt to simplify deps install and CI by @AltGr in #178
• Catala as a proof platform by @denismerigoux in #175
• Restore CI by disabling counterexamples printing by @denismerigoux in #184
• Cleaning up scopelang encoding and adding some default optimizations (beginning of #112) by @denismerigoux in #185
• Self-host CI at Inria by @denismerigoux in #187
• Better dispatching of full build CI by @denismerigoux in #188
• Implementation of scope variable visibility qualifiers by @denismerigoux in #189
• fix nix build by manually upgrading cmdliner by @lIlIlIlIIIIlIIIllIIlIllIIllIII in #196
• Pretty-printing: improve Lcalc, create Scalc by @denismerigoux in #197
• [Z3Backend] Add support for enumerations containing argument-less constructors by @R1kM in #202
• Revert "Merge pull request #196 from CatalaLang/fixup-cmdliner" by @lIlIlIlIIIIlIIIllIIlIllIIllIII in #206
• Add support for rationals in Z3 encoding by @R1kM in #205
• feat(compiler): Compiling Dcalc into Lcalc without using ∅ errors by @lIlIlIlIIIIlIIIllIIlIllIIllIII in #158
• Fix Python backend with exceptions avoided by @denismerigoux in #210
• Refactor(clerk): use ninja as backend to run tests by @EmileRolley in #186
• Fix(clerk): sort subdirectory names by @EmileRolley in #215
• Variable redefinitions: implementation of #114 by @denismerigoux in #212

New Contributors

• @lIlIlIlIIIIlIIIllIIlIllIIllIII made their first contribution in #155
• @jakeisnt made their first contribution in #160

Full Changelog: 0.5.0...0.6.0