v0.7.0

Summary

This release focuses mostly on bug fixes and under-the-hood improvements of the compiler. It also contains everything necessary to run the French housing benefits examples, which with 10,000 lines of code is the biggest Catala program so far. Thanks to all the contributors !

What's Changed

• Use format strings directly in debug/error/log functions by @AltGr in #218
• Reformatting of the OCaml code by @denismerigoux in #220
• Command-line: use a record for the options by @AltGr in #221
• DCalc optimization pass: Remove if_then_else when both branches are identical by @R1kM in #224
• Refactor: group common functions related to backend_option in the Cli module by @EmileRolley in #222
• Make Z3 an optional dependency by @AltGr in #223
• Fix nix/alcotest+patch by @lIlIlIlIIIIlIIIllIIlIllIIllIII in #225
• Proof platform: Better error message when Z3 encoding not supported, and extend GetYear support by @R1kM in #227
• Fix logging operator location for default justifications by @denismerigoux in #229
• [Z3encoding] Basic support for arrays by @R1kM in #228
• [Z3encoding] Extend support for enumerations by @R1kM in #230
• Fix typos in English tutorial by @isovector in #232
• Adding a money rounding builtin to Catala by @denismerigoux in #233
• Select a single scope for the proof mode by @denismerigoux in #234
• Nice error messages for empty structs and enums by @denismerigoux in #239
• [Z3 encoding] Add support for durations by @R1kM in #236
• C backend : preparatory work by @denismerigoux in #235
• fix typo by @rprimet in #242
• Fix decimal parsing by @denismerigoux in #249
• Adds a decimal rounding operator by @denismerigoux in #251
• refactor(latex): print warning messages for too long block lines by @EmileRolley in #252
• Extract py runtime by @rprimet in #246
• Bringing structure to the Lcalc AST by @denismerigoux in #244
• Fix money parsing by @denismerigoux in #256
• Upgrade cmdliner to 1.1 (some API changes) by @AltGr in #258
• Fix ocamlformat crashes, and tweak some settings by @AltGr in #259
• Fix .git-blame-ignore-revs by @AltGr in #261
• Add a (very simple) syntax highlighting mode for Emacs by @AltGr in #262
• Emacs mode: small fixes + a couple typos in the english tutorial by @AltGr in #263
• Implementing French housing benefits by @denismerigoux in #165
• An attempt to fix some parser priorities by @AltGr in #260
• Allocation_logement: fix parentheses in formula by @AltGr in #265
• Refactor: add wrappers for file formatter by @EmileRolley in #264
• Refactor the web API by serializing runtime values by @EmileRolley in #267
• Add backend plugin support by @AltGr in #213
• Fix Nix expressions and convert them to flakes by @W95Psp in #270
• Compiler: support cumulative exceptions by @AltGr in #268
• Fix Nix expressions and convert them to flakes (Continuation) by @lIlIlIlIIIIlIIIllIIlIllIIllIII in #271
• add support for duration multiplication by @msprotz in #276
• Convert nix to flake (part 3) by @lIlIlIlIIIIlIIIllIIlIllIIllIII in #275
• Fix nix part 4 by @lIlIlIlIIIIlIIIllIIlIllIIllIII in #278
• fix(compiler): fix line num for HTML generation by @EmileRolley in #279
• Refactor(runtime/api_web): parse raw log events into structured ones by @EmileRolley in #280
• refactor(runtime): ignore function definition while parsing raw events by @EmileRolley in #283
• Implementation of French housing benefits : 2/N by @denismerigoux in #266
• docs: udpate the CITATION file by @EmileRolley in #284
• Partially fix #192 by @denismerigoux in #285
• Restore automatic rebuild of all tests by ninja by @denismerigoux in #286
• feat(backend): disambiguate OCaml record names derived from Catala structs by @EmileRolley in #288
• Annotate the ASTs with type information everywhere by @AltGr in #272
• Use custom Docker image for CI by @AltGr in #292
• fix(examples): assets are now generated from the repo root by @EmileRolley in #294
• Fix encoding of chains of groups of exceptions by @denismerigoux in #289
• Fixing French housing benefits by @denismerigoux in #287
• feat(plugins): add a new backend for generating JSOO wrapper by @EmileRolley in #291
• CI: Disable (broken) ubuntu builds by @AltGr in #298
• Change syntax for set membership predicate ('in' -> 'contains') by @AltGr in #297
• Expanding french_law with the French housing benefits by @denismerigoux in #295
• Add source positions in all backends exceptions by @denismerigoux in #300
• Feat: new json_schema plugin by @EmileRolley in #296
• Tweak priority of 'set contains elt' / tag Docker images by @AltGr in #302
• Build system rehaul, use of Docker for CI & artifact generation on Github by @AltGr in #299
• Mise à jour du calcul des aides au logement suite à revalorisation by @denismerigoux in #305
• Feat: improve the HTML generation with ToC and details tags by @EmileRolley in #303

New Contributors

• @isovector made their first contribution in #232
• @rprimet made their first contribution in #242
• @W95Psp made their first contribution in #270
• @msprotz made their first contribution in #276

Full Changelog: 0.6.0...0.7.0