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