Commit Graph

9 Commits

Author SHA1 Message Date
Louis Gesbert
deb12d2c4a 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
2023-03-08 18:07:53 +01:00
adelaett
be5de3f979 update clerk package description to do the checks (and test catala) 2023-02-24 15:06:50 +01:00
TWal
ab647d4fac Fix nix build 2022-09-05 13:25:31 +02:00
Denis Merigoux
03e598128a
Bumping version number 2022-08-08 17:26:07 +02:00
lIlIlIlIIIIlIIIllIIlIllIIllIII
15aee21670
disable clerk tests in nix build 2022-06-07 08:56:37 +02:00
lIlIlIlIIIIlIIIllIIlIllIIllIII
6fb8b06e07
revert dependency between clerk and catala 2022-06-07 08:54:03 +02:00
lIlIlIlIIIIlIIIllIIlIllIIllIII
c48b884374
typo 2022-06-07 08:36:15 +02:00
lIlIlIlIIIIlIIIllIIlIllIIllIII
5b845f4f9b
disable test in the nix build 2022-06-07 08:17:14 +02:00
lIlIlIlIIIIlIIIllIIlIllIIllIII
bf3b24a3f4
encoding clerk and ninja_utils inside nix 2022-05-31 16:56:12 +02:00