Bump version to 0.8.0

Changelog: --- A lot has been going on, with more than 530 patches and 70 PRs merged since 0.7.0 last summer. In summary: - Quite a lot of syntax improvements and changes. Checkout the latest [cheat-sheet](https://catalalang.github.io/catala/syntax.pdf) for an overview - Allow local `let ... equals ... in ...` definitions - Better error messages and positions throughout - Added the ability to directly call a scope and retrieve its outputs, like a function - Added disambiguation, allowing to access structure fields without specifying the structure type each time - Added automated resolution of operators, allowing e.g. to write just `+` in place of all the type-specific operators `+.`, `+$`, `+@`, `+^`, etc. - More consistent priority for operators. It is no longer allowed to write `a and b or c` without parenthesis. - Added and changed some operators (`date + duration` now allowed either way, `int / int` now returns a decimal, added `duration / duration`) - Added the ability to have variables and functions defined at top-level (outside of any scope). See annex A of the tutorial for details. - Added support for functions with multiple arguments - Some big refactors in the compiler, allowing much better code sharing between the different passes, and making it much easier to extend. Also added the possibility to run the type-checker earlier, etc. - Countless bug-fixes - Improvements to our proof backend with Z3 - A tool to automatically synchronise with the upstream French law from Legifrance
CatalaLang · Mar 8, 2023 · deb12d2 · deb12d2
1 parent 8840607
commit deb12d2
Show file tree

Hide file tree

Showing 20 changed files with 6,622 additions and 6,398 deletions.
diff --git a/.nix/catala.nix b/.nix/catala.nix
@@ -29,7 +29,7 @@
 
 buildDunePackage {
   pname = "catala";
-  version = "0.7.0"; # TODO parse `catala.opam` with opam2json
+  version = "0.8.0"; # TODO parse `catala.opam` with opam2json
 
   minimumOCamlVersion = "4.11";
 

diff --git a/.nix/clerk.nix b/.nix/clerk.nix
@@ -13,7 +13,7 @@
 
 buildDunePackage {
   pname = "clerk";
-  version = "0.7.0"; # TODO parse `catala.opam` with opam2json
+  version = "0.8.0"; # TODO parse `catala.opam` with opam2json
 
   minimumOCamlVersion = "4.11";
 

diff --git a/.nix/french_law.nix b/.nix/french_law.nix
@@ -6,7 +6,7 @@
 
 buildDunePackage {
   pname = "french_law";
-  version = "0.7.0"; # TODO parse `catala.opam` with opam2json
+  version = "0.8.0"; # TODO parse `catala.opam` with opam2json
 
   minimumOCamlVersion = "4.11";
 

diff --git a/.nix/ninja_utils.nix b/.nix/ninja_utils.nix
@@ -6,7 +6,7 @@
 
 buildDunePackage rec {
   pname = "ninja_utils";
-  version = "0.7.0"; # TODO parse `catala.opam` with opam2json
+  version = "0.8.0"; # TODO parse `catala.opam` with opam2json
 
   minimumOCamlVersion = "4.11";
 

diff --git a/CITATION.cff b/CITATION.cff
@@ -39,5 +39,5 @@ abstract: >-
   faithful-by-construction algorithms from
   legislative texts.
 license: Apache-2.0
-version: 0.7.0
+version: 0.8.0
 date-released: "2022-03-08"
diff --git a/catala.opam b/catala.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.7.0"
+version: "0.8.0"
 synopsis:
   "Compiler and library for the literate programming language for tax code specification"
 description:

diff --git a/catala_legifrance.opam b/catala_legifrance.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.7.0"
+version: "0.8.0"
 synopsis: "Linter that queries the LégiFrance API to check for correctness and expiration of Catala programs."
 maintainer: ["[email protected]"]
 authors: ["Denis Merigoux"]

diff --git a/clerk.opam b/clerk.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.7.0"
+version: "0.8.0"
 synopsis:
   "Build system for Catala, a specification language for tax and social benefits computation rules"
 description:

diff --git a/compiler/catala_utils/cli.ml b/compiler/catala_utils/cli.ml
@@ -313,7 +313,7 @@ let set_option_globals options : unit =
   disable_counterexamples := options.disable_counterexamples;
   avoid_exceptions_flag := options.avoid_exceptions
 
-let version = "0.7.0"
+let version = "0.8.0"
 
 let info =
   let doc =

diff --git a/doc/catala-dev-dependencies.opam b/doc/catala-dev-dependencies.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.7.0"
+version: "0.8.0"
 synopsis: "Virtual package listing the requirements for a complete Catala dev environment"
 maintainer: ["[email protected]"]
 authors: [

diff --git a/dune-project b/dune-project
@@ -2,7 +2,7 @@
 
 (name catala)
 
-(version 0.7.0)
+(version 0.8.0)
 
 (generate_opam_files false)
 

diff --git a/french_law.opam b/french_law.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.7.0"
+version: "0.8.0"
 synopsis: "A collection of algorithms and computations defined by French law"
 description:
   "This library contains the implementations of algorithmic portions of French law. The library source code was generated from Catala annotations of the relevant portions of the French law, see https://catala-lang.org"

diff --git a/french_law/js/french_law.js b/french_law/js/french_law.js
diff --git a/french_law/ocaml/law_source/aides_logement.ml b/french_law/ocaml/law_source/aides_logement.ml
diff --git a/french_law/ocaml/law_source/aides_logement_api_web.ml b/french_law/ocaml/law_source/aides_logement_api_web.ml
diff --git a/french_law/ocaml/law_source/allocations_familiales.ml b/french_law/ocaml/law_source/allocations_familiales.ml
diff --git a/french_law/ocaml/law_source/allocations_familiales_api_web.ml b/french_law/ocaml/law_source/allocations_familiales_api_web.ml
diff --git a/french_law/python/src/aides_logement.py b/french_law/python/src/aides_logement.py
diff --git a/french_law/python/src/allocations_familiales.py b/french_law/python/src/allocations_familiales.py
diff --git a/ninja_utils.opam b/ninja_utils.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.7.0"
+version: "0.8.0"
 synopsis:
   "A collection of utility functions used to generate Ninja build files"
 description: