Prepare release 0.8.0 (#425)

CatalaLang · Mar 9, 2023 · e4408b1 · e4408b1
2 parents 8840607 + deb12d2
commit e4408b1
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: