Data

Tools

Indexes

Applications

Experiments

Open Source Science

Recent Releases of @catala-lang/french-law

@catala-lang/french-law - v1.0.0-alpha

More than one year after its last release, Catala is nearing 1.0.0!

What's Changed

  • Fixes for 0.10.0 by @AltGr in https://github.com/CatalaLang/catala/pull/617
  • Unify traces between interpreter and runtime by @AltGr in https://github.com/CatalaLang/catala/pull/615
  • Fix building and publishing of the website assets by @AltGr in https://github.com/CatalaLang/catala/pull/620
  • Fix lexing of verbatim blocks by @AltGr in https://github.com/CatalaLang/catala/pull/621
  • Fixes in Python runtime by @rmonat in https://github.com/CatalaLang/catala/pull/618
  • Combine English and French VS Code extensions by @samestep in https://github.com/CatalaLang/catala/pull/622
  • Implement module hashes and checks by @AltGr in https://github.com/CatalaLang/catala/pull/625
  • Typing across closure conversion by @AltGr in https://github.com/CatalaLang/catala/pull/627
  • Fix error message typo by @vincent-botbol in https://github.com/CatalaLang/catala/pull/629
  • Multiple parsing errors reporting by @vincent-botbol in https://github.com/CatalaLang/catala/pull/630
  • Add PR policies in CONTRIBUTING.md by @vincent-botbol in https://github.com/CatalaLang/catala/pull/633
  • Multiple typing errors reporting by @vincent-botbol in https://github.com/CatalaLang/catala/pull/631
  • Generate tests reports from 'clerk test' by @AltGr in https://github.com/CatalaLang/catala/pull/632
  • Fix spurious clerk rebuilds by @AltGr in https://github.com/CatalaLang/catala/pull/635
  • Add error messages numbering by @vincent-botbol in https://github.com/CatalaLang/catala/pull/634
  • Refactor suggestions mechanism by @vincent-botbol in https://github.com/CatalaLang/catala/pull/636
  • Testing and debugging closure conversion by @AltGr in https://github.com/CatalaLang/catala/pull/637
  • Clerk reports: postprocess diff output by @AltGr in https://github.com/CatalaLang/catala/pull/638
  • Literate output: adjust catala-metadata margins by @AltGr in https://github.com/CatalaLang/catala/pull/640
  • Update opam dependencies by @AltGr in https://github.com/CatalaLang/catala/pull/626
  • Support for basic clerk.toml configuration files by @AltGr in https://github.com/CatalaLang/catala/pull/639
  • Add JUnit-compatible test output to clerk report by @AltGr in https://github.com/CatalaLang/catala/pull/642
  • Remove the "with-exceptions" backend from the compiler by @AltGr in https://github.com/CatalaLang/catala/pull/641
  • Remove the R backend by @AltGr in https://github.com/CatalaLang/catala/pull/643
  • Fix scopelang scope definition variable positions by @vincent-botbol in https://github.com/CatalaLang/catala/pull/659
  • Add LSP required features by @vincent-botbol in https://github.com/CatalaLang/catala/pull/661
  • Fix missing keywords in emacs mode by @vincent-botbol in https://github.com/CatalaLang/catala/pull/660
  • Fix typing error missing position by @vincent-botbol in https://github.com/CatalaLang/catala/pull/662
  • Introduce modules in toml config by @vincent-botbol in https://github.com/CatalaLang/catala/pull/663
  • Implement safe renaming of idents for backend printing by @AltGr in https://github.com/CatalaLang/catala/pull/664
  • Renaming idents, second stage: use proper renaming in scalc and Python by @AltGr in https://github.com/CatalaLang/catala/pull/666
  • Cleanup nested matches by @AltGr in https://github.com/CatalaLang/catala/pull/669
  • allow building for more systems by @faezs in https://github.com/CatalaLang/catala/pull/665
  • Syntax cheat typo by @denismerigoux in https://github.com/CatalaLang/catala/pull/683
  • #683 follow-up by @vincent-botbol in https://github.com/CatalaLang/catala/pull/684
  • Add the possibility to override inputs of included files by @vincent-botbol in https://github.com/CatalaLang/catala/pull/688
  • Fix OCaml backend bug regarding exception source positions by @AltGr in https://github.com/CatalaLang/catala/pull/689
  • Fix inconsistent marks by @vincent-botbol in https://github.com/CatalaLang/catala/pull/694
  • Progress on the C backend by @AltGr in https://github.com/CatalaLang/catala/pull/671
  • Fix handling of the lexer context by @AltGr in https://github.com/CatalaLang/catala/pull/703
  • Small interface improvements by @AltGr in https://github.com/CatalaLang/catala/pull/704
  • Add a catch to error raised by get_command by @denismerigoux in https://github.com/CatalaLang/catala/pull/708
  • Dcalc: don't thunk context inputs anymore by @AltGr in https://github.com/CatalaLang/catala/pull/710
  • Add --autotest option by @AltGr in https://github.com/CatalaLang/catala/pull/706
  • Add TOML encoding by @vincent-botbol in https://github.com/CatalaLang/catala/pull/712
  • Small collection of fixes and cleanup for the C backend by @AltGr in https://github.com/CatalaLang/catala/pull/711
  • Improvements to the explain plugin by @AltGr in https://github.com/CatalaLang/catala/pull/713
  • Add list folds to the surface syntax by @AltGr in https://github.com/CatalaLang/catala/pull/715
  • Make the explain plugin compatible with vscode test-case extension by @vincent-botbol in https://github.com/CatalaLang/catala/pull/719
  • Add a tooling section in readme and deprecate legacy vscode extension by @vincent-botbol in https://github.com/CatalaLang/catala/pull/722
  • Add a LSP message format by @vincent-botbol in https://github.com/CatalaLang/catala/pull/725
  • Subdatedur should also generate a source position in OCaml! by @denismerigoux in https://github.com/CatalaLang/catala/pull/726
  • Update fold syntax by @vincent-botbol in https://github.com/CatalaLang/catala/pull/730
  • Remove outdated tooling by @vincent-botbol in https://github.com/CatalaLang/catala/pull/732
  • Fix parser conflict on combine x initially output of y with by @AltGr in https://github.com/CatalaLang/catala/pull/735
  • Carry over binders positions in EAbs by @vincent-botbol in https://github.com/CatalaLang/catala/pull/734
  • Mostly graphical improvements to the explain plugin by @AltGr in https://github.com/CatalaLang/catala/pull/733
  • C backend: workaround bulk freeing of constants by @AltGr in https://github.com/CatalaLang/catala/pull/718
  • Fix publiccode.yml usedBy entry by @bzg in https://github.com/CatalaLang/catala/pull/744
  • Add warning notification and add utility function to passes by @vincent-botbol in https://github.com/CatalaLang/catala/pull/743
  • Add a conversion operator from decimal to integer by @AltGr in https://github.com/CatalaLang/catala/pull/746
  • Tweaks and fixes to the C backend by @AltGr in https://github.com/CatalaLang/catala/pull/751
  • Add error handler hook in C runtime by @vincent-botbol in https://github.com/CatalaLang/catala/pull/753
  • Clerk: list targets on clerk build without target by @AltGr in https://github.com/CatalaLang/catala/pull/765
  • Fix C runtime memory leak by @vincent-botbol in https://github.com/CatalaLang/catala/pull/767
  • Clerk: list targets on clerk build without target by @AltGr in https://github.com/CatalaLang/catala/pull/766
  • Fix confusing disambiguation errors appearing instead of type errors by @AltGr in https://github.com/CatalaLang/catala/pull/768
  • Fix lazy evaluation of and/or in the OCaml backend by @AltGr in https://github.com/CatalaLang/catala/pull/769
  • Stop using String token in pygments lexers by @pierregoutagny in https://github.com/CatalaLang/catala/pull/772
  • Fix minted in syntax.pdf by @pierregoutagny in https://github.com/CatalaLang/catala/pull/774
  • Handle carriage returns in the lexer by @vincent-botbol in https://github.com/CatalaLang/catala/pull/770
  • Format trace to JSON format by @denismerigoux in https://github.com/CatalaLang/catala/pull/754
  • Make the C runtime thread-safe by @AltGr in https://github.com/CatalaLang/catala/pull/776
  • Compatibility with LSP server build on different platforms by @denismerigoux in https://github.com/CatalaLang/catala/pull/752
  • Fix trace printing by @vincent-botbol in https://github.com/CatalaLang/catala/pull/778
  • Update OCaml docker image by @vincent-botbol in https://github.com/CatalaLang/catala/pull/782
  • C backend: fix .h output of toplevel constants by @AltGr in https://github.com/CatalaLang/catala/pull/781
  • Remove dates_calc pin-depends since its 0.0.7 version is released by @vincent-botbol in https://github.com/CatalaLang/catala/pull/779
  • Reformatting by @AltGr in https://github.com/CatalaLang/catala/pull/783
  • Syntax: fix handling of spacing beside code fences by @AltGr in https://github.com/CatalaLang/catala/pull/780
  • Fix C runtime build on macos by @vincent-botbol in https://github.com/CatalaLang/catala/pull/784
  • Fix C runtime windows build by @vincent-botbol in https://github.com/CatalaLang/catala/pull/786
  • Make the or if list empty phrase optional by @AltGr in https://github.com/CatalaLang/catala/pull/785
  • Fix and refactor emit_n by @vincent-botbol in https://github.com/CatalaLang/catala/pull/787
  • Fix to Catala_utils.File by @vincent-botbol in https://github.com/CatalaLang/catala/pull/788
  • Ignore pkg-config error on C compiler build by @vincent-botbol in https://github.com/CatalaLang/catala/pull/790
  • Propagate surface's scopecall binders position by @vincent-botbol in https://github.com/CatalaLang/catala/pull/792
  • Rework of clerk run by @AltGr in https://github.com/CatalaLang/catala/pull/789
  • Improve parsing error reporting by @vincent-botbol in https://github.com/CatalaLang/catala/pull/794
  • Add money * int and money / int overloads by @AltGr in https://github.com/CatalaLang/catala/pull/797
  • Split clerk_driver into reasonably-sized modules by @AltGr in https://github.com/CatalaLang/catala/pull/798
  • Update syntax sheet for texlive 2024 by @AltGr in https://github.com/CatalaLang/catala/pull/795
  • Some build-system fixes by @AltGr in https://github.com/CatalaLang/catala/pull/799
  • More build-system fixes by @AltGr in https://github.com/CatalaLang/catala/pull/801
  • Whole program by @vincent-botbol in https://github.com/CatalaLang/catala/pull/800
  • Test and fix bad positions in conflict message by @AltGr in https://github.com/CatalaLang/catala/pull/756
  • Fix error positioning affecting lsp by @vincent-botbol in https://github.com/CatalaLang/catala/pull/803
  • Add attributes to the language by @AltGr in https://github.com/CatalaLang/catala/pull/804
  • Support attachment of attributes to declaration items by @AltGr in https://github.com/CatalaLang/catala/pull/807
  • Rehaul the handling of test runs in generated code by @AltGr in https://github.com/CatalaLang/catala/pull/808
  • Add Catala to Java backend by @vincent-botbol in https://github.com/CatalaLang/catala/pull/809
  • Fix incorrect file reading by @vincent-botbol in https://github.com/CatalaLang/catala/pull/812
  • Rework array syntax by @vincent-botbol in https://github.com/CatalaLang/catala/pull/811
  • Lexer: support '\n' and '\t' escapes by @rprimet in https://github.com/CatalaLang/catala/pull/814
  • Reworking the clerk test command by @AltGr in https://github.com/CatalaLang/catala/pull/813
  • Expose clerk utilities for LSP by @vincent-botbol in https://github.com/CatalaLang/catala/pull/815
  • Purity by @AltGr in https://github.com/CatalaLang/catala/pull/817
  • Fix case of clerk module targets by @vincent-botbol in https://github.com/CatalaLang/catala/pull/820
  • Update readme and metadata by @denismerigoux in https://github.com/CatalaLang/catala/pull/821
  • Avoid shell / native windows build by @rprimet in https://github.com/CatalaLang/catala/pull/819
  • Fix spurious fence errors in parsing by @vincent-botbol in https://github.com/CatalaLang/catala/pull/825
  • Customtarget by @AltGr in https://github.com/CatalaLang/catala/pull/824
  • Output dependency graphs to JSON by @denismerigoux in https://github.com/CatalaLang/catala/pull/826
  • Fix tests with exceptions / dependency graphs by @AltGr in https://github.com/CatalaLang/catala/pull/827
  • remove release.yml (now part of catala-language-server) by @rprimet in https://github.com/CatalaLang/catala/pull/828
  • Test & fix for a bug related to typing detuplification of let-in constructs by @AltGr in https://github.com/CatalaLang/catala/pull/831
  • Switch the cheat-sheet to Modern Technology by @AltGr in https://github.com/CatalaLang/catala/pull/832
  • Cheat-sheet: add test syntax by @AltGr in https://github.com/CatalaLang/catala/pull/833
  • Add type variables and quantifiers to the AST by @AltGr in https://github.com/CatalaLang/catala/pull/775
  • Add missing syntax updates by @vincent-botbol in https://github.com/CatalaLang/catala/pull/836
  • dcalc printer: print whole program rather than the to_expr version by @AltGr in https://github.com/CatalaLang/catala/pull/834
  • Add "impossible" to the language by @AltGr in https://github.com/CatalaLang/catala/pull/835
  • Add polymorphic enum Optional to the language by @AltGr in https://github.com/CatalaLang/catala/pull/839
  • Update mld files & ~~fix~~ odoc warnings by @AltGr in https://github.com/CatalaLang/catala/pull/840
  • Polymorphism: fix handling of unnamed explicit type vars by @AltGr in https://github.com/CatalaLang/catala/pull/842
  • Use 'content' rather than 'of' when matching enums by @AltGr in https://github.com/CatalaLang/catala/pull/843
  • Add targets and clerk build logic by @vincent-botbol in https://github.com/CatalaLang/catala/pull/841

New Contributors

  • @samestep made their first contribution in https://github.com/CatalaLang/catala/pull/622
  • @vincent-botbol made their first contribution in https://github.com/CatalaLang/catala/pull/629
  • @faezs made their first contribution in https://github.com/CatalaLang/catala/pull/665
  • @bzg made their first contribution in https://github.com/CatalaLang/catala/pull/744

Full Changelog: https://github.com/CatalaLang/catala/compare/0.10.0...v1.0.0-alpha

- OCaml
Published by denismerigoux 10 months ago

@catala-lang/french-law - v0.10.0

A new release with many improvements. Some highlights:

  • Support for list recombinations by @AltGr in https://github.com/CatalaLang/catala/pull/568
  • Add a few optimisations for combined list operations by @AltGr in https://github.com/CatalaLang/catala/pull/570
  • Allow access to intermediate variable states by @AltGr in https://github.com/CatalaLang/catala/pull/578
  • Syntax: add keywords in front of list filtering / arg-extremum by @AltGr in https://github.com/CatalaLang/catala/pull/580
  • Fix LaTeX literate output with tests by @AltGr in https://github.com/CatalaLang/catala/pull/581
  • Allow generation of one latex file from multiple sources, and fixes by @AltGr in https://github.com/CatalaLang/catala/pull/583
  • Small ocaml/js output rehaul by @AltGr in https://github.com/CatalaLang/catala/pull/582
  • Support externals in scalc, correctly output them in Python by @AltGr in https://github.com/CatalaLang/catala/pull/584
  • Allow "output subscopes" ; unify the internal representation of subscopes by @AltGr in https://github.com/CatalaLang/catala/pull/597
  • Rework the Message module interface by @AltGr in https://github.com/CatalaLang/catala/pull/601
  • Improve message formatting throughout by @AltGr in https://github.com/CatalaLang/catala/pull/602
  • Support for structure updates by @AltGr in https://github.com/CatalaLang/catala/pull/603
  • Support for direct tuple member access by @AltGr in https://github.com/CatalaLang/catala/pull/604
  • Improvements around external modules and error handling by @AltGr in https://github.com/CatalaLang/catala/pull/605
  • Update syntax highlighting rules and cheat-sheets by @AltGr in https://github.com/CatalaLang/catala/pull/606
  • Add env variables to set flags -O, --avoid-exceptions, --trace by @AltGr in https://github.com/CatalaLang/catala/pull/607
  • Unify runtime error handling by @AltGr in https://github.com/CatalaLang/catala/pull/611

Full Changelog: https://github.com/CatalaLang/catala/compare/0.9.0...0.10.0

- OCaml
Published by AltGr about 2 years ago

@catala-lang/french-law - v0.9.0

More than 900 patches since last release 😅

Here is an overview of some visible changes

What's Changed

  • Embed the Pygments lexers in Catala by @AltGr in https://github.com/CatalaLang/catala/pull/428
  • Add date rounding option in scope by @rmonat in https://github.com/CatalaLang/catala/pull/397
  • Add support for let .. in constructions in Z3 backend by @R1kM in https://github.com/CatalaLang/catala/pull/434
  • Add common linting passes to Catala by @denismerigoux in https://github.com/CatalaLang/catala/pull/438
  • Adding an interpreter to lcalc by @adelaett in https://github.com/CatalaLang/catala/pull/432
  • Vastly improve the printer by @AltGr in https://github.com/CatalaLang/catala/pull/450
  • Print exception tree for fun and profit by @denismerigoux in https://github.com/CatalaLang/catala/pull/447
  • Add experimental lazy interpreter as a plugin by @AltGr in https://github.com/CatalaLang/catala/pull/453
  • Feat: add a ReScript runtime and a wrapper for french_law.js by @EmileRolley in https://github.com/CatalaLang/catala/pull/464
  • Information about variable I/O in log events by @denismerigoux in https://github.com/CatalaLang/catala/pull/469
  • Improve compiler messages dev interface by @denismerigoux in https://github.com/CatalaLang/catala/pull/470
  • Improve unused scope variable detection by @denismerigoux in https://github.com/CatalaLang/catala/pull/472
  • Switch from ANSITerminal to ocolor by @AltGr in https://github.com/CatalaLang/catala/pull/474
  • Preliminary support for modules/externals + CLI subcommands by @AltGr in https://github.com/CatalaLang/catala/pull/478
  • Implementing closure conversion by @denismerigoux in https://github.com/CatalaLang/catala/pull/475
  • Add an explain plugin ; improve printers by @AltGr in https://github.com/CatalaLang/catala/pull/489
  • Clearer errors by @Aminata-Dev in https://github.com/CatalaLang/catala/pull/481
  • R backend for Catala by @denismerigoux in https://github.com/CatalaLang/catala/pull/496
  • Module support: handle structs, enums and scope calls across modules by @AltGr in https://github.com/CatalaLang/catala/pull/497
  • Define ANSI style at Uid level, update ocamlformat by @AltGr in https://github.com/CatalaLang/catala/pull/501
  • Improvements to searching for libs at runtime (plugins, runtime, etc.) by @AltGr in https://github.com/CatalaLang/catala/pull/502
  • Optim: avoid extra translations in the interpreter by @AltGr in https://github.com/CatalaLang/catala/pull/519
  • Rehaul the Clerk build system by @AltGr in https://github.com/CatalaLang/catala/pull/512
  • Improve trace printing by @denismerigoux in https://github.com/CatalaLang/catala/pull/523
  • Clerk and testing improvements, rework resolution of module elements by @AltGr in https://github.com/CatalaLang/catala/pull/535
  • Fix LaTeX weaving failing with code blocks by @denismerigoux in https://github.com/CatalaLang/catala/pull/544
  • Document and first test for externals by @AltGr in https://github.com/CatalaLang/catala/pull/538
  • Fixes decimal user-facing printer bug by @denismerigoux in https://github.com/CatalaLang/catala/pull/552
  • [breaking changes] update syntax and CLI by @AltGr in https://github.com/CatalaLang/catala/pull/546
  • Add tuples to the surface language, allow tuples for argument passing by @AltGr in https://github.com/CatalaLang/catala/pull/554
  • Unify rounding operations in OCaml runtime by @pierregoutagny in https://github.com/CatalaLang/catala/pull/557
  • Fixes wrong typing for date subtraction operator by @denismerigoux in https://github.com/CatalaLang/catala/pull/559
  • Fixes missing minus sign printing for small negative amounts of money by @denismerigoux in https://github.com/CatalaLang/catala/pull/560
  • Move examples and french_law to their own repositories by @AltGr in https://github.com/CatalaLang/catala/pull/527
  • Allow literal scope output structures by @AltGr in https://github.com/CatalaLang/catala/pull/564
  • Improve missing field error message by @denismerigoux in https://github.com/CatalaLang/catala/pull/566

Full Changelog: https://github.com/CatalaLang/catala/compare/0.8.0...0.9.0

- OCaml
Published by AltGr over 2 years ago

@catala-lang/french-law - v0.8.0

Summary

A lot has been going on, with more than 530 patches and 70 PRs merged since 0.7.0 last summer. Too many changes to list here in detail, so below are a few highlights, and check https://github.com/CatalaLang/catala/compare/0.7.0...0.8.0 for exhaustivity.

Notable caveat: installation of the Python dependencies has been reworked: make dependencies-python should set up reliably for both syntax highlighting in literal output, and running generated Python code (see french_law/python), but you will now have to either rely on the make rules, or run . _python_venv/bin/activate each time before your commands.

What's changed

  • Quite a lot of syntax improvements and changes. Checkout the latest cheat-sheet 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

- OCaml
Published by AltGr about 3 years ago

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

New Contributors

  • @isovector made their first contribution in https://github.com/CatalaLang/catala/pull/232
  • @rprimet made their first contribution in https://github.com/CatalaLang/catala/pull/242
  • @W95Psp made their first contribution in https://github.com/CatalaLang/catala/pull/270
  • @msprotz made their first contribution in https://github.com/CatalaLang/catala/pull/276

Full Changelog: https://github.com/CatalaLang/catala/compare/0.6.0...0.7.0

- OCaml
Published by denismerigoux almost 4 years ago

@catala-lang/french-law - v0.6.0

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 https://github.com/CatalaLang/catala/pull/155
  • Allow exceptions to a set of rules rather than one rule by @denismerigoux in https://github.com/CatalaLang/catala/pull/159
  • Docs: comestic changes for the README by @EmileRolley in https://github.com/CatalaLang/catala/pull/163
  • add menhirLib to Nix dependencies by @jakeisnt in https://github.com/CatalaLang/catala/pull/160
  • Bring more structure to Dcalc by @denismerigoux in https://github.com/CatalaLang/catala/pull/164
  • Fix: escape special LaTex characters by @EmileRolley in https://github.com/CatalaLang/catala/pull/168
  • Fix(build/doc): remove warnings due to .ml* files by @EmileRolley in https://github.com/CatalaLang/catala/pull/169
  • Allow exceptions to a group of rules by @denismerigoux in https://github.com/CatalaLang/catala/pull/171
  • Fix console formatting with colors by @AltGr in https://github.com/CatalaLang/catala/pull/176
  • Clerk, a build system for Catala by @denismerigoux in https://github.com/CatalaLang/catala/pull/177
  • Revamping the tutorial by @denismerigoux in https://github.com/CatalaLang/catala/pull/173
  • An attempt to simplify deps install and CI by @AltGr in https://github.com/CatalaLang/catala/pull/178
  • Catala as a proof platform by @denismerigoux in https://github.com/CatalaLang/catala/pull/175
  • Restore CI by disabling counterexamples printing by @denismerigoux in https://github.com/CatalaLang/catala/pull/184
  • Cleaning up scopelang encoding and adding some default optimizations (beginning of #112) by @denismerigoux in https://github.com/CatalaLang/catala/pull/185
  • Self-host CI at Inria by @denismerigoux in https://github.com/CatalaLang/catala/pull/187
  • Better dispatching of full build CI by @denismerigoux in https://github.com/CatalaLang/catala/pull/188
  • Implementation of scope variable visibility qualifiers by @denismerigoux in https://github.com/CatalaLang/catala/pull/189
  • fix nix build by manually upgrading cmdliner by @lIlIlIlIIIIlIIIllIIlIllIIllIII in https://github.com/CatalaLang/catala/pull/196
  • Pretty-printing: improve Lcalc, create Scalc by @denismerigoux in https://github.com/CatalaLang/catala/pull/197
  • [Z3Backend] Add support for enumerations containing argument-less constructors by @R1kM in https://github.com/CatalaLang/catala/pull/202
  • Revert "Merge pull request #196 from CatalaLang/fixup-cmdliner" by @lIlIlIlIIIIlIIIllIIlIllIIllIII in https://github.com/CatalaLang/catala/pull/206
  • Add support for rationals in Z3 encoding by @R1kM in https://github.com/CatalaLang/catala/pull/205
  • feat(compiler): Compiling Dcalc into Lcalc without using ∅ errors by @lIlIlIlIIIIlIIIllIIlIllIIllIII in https://github.com/CatalaLang/catala/pull/158
  • Fix Python backend with exceptions avoided by @denismerigoux in https://github.com/CatalaLang/catala/pull/210
  • Refactor(clerk): use ninja as backend to run tests by @EmileRolley in https://github.com/CatalaLang/catala/pull/186
  • Fix(clerk): sort subdirectory names by @EmileRolley in https://github.com/CatalaLang/catala/pull/215
  • Variable redefinitions: implementation of #114 by @denismerigoux in https://github.com/CatalaLang/catala/pull/212

New Contributors

  • @lIlIlIlIIIIlIIIllIIlIllIIllIII made their first contribution in https://github.com/CatalaLang/catala/pull/155
  • @jakeisnt made their first contribution in https://github.com/CatalaLang/catala/pull/160

Full Changelog: https://github.com/CatalaLang/catala/compare/0.5.0...0.6.0

- OCaml
Published by denismerigoux about 4 years ago

@catala-lang/french-law - v0.5.0

Catala v0.5.0 Changelog: - Performance improvements - Better error message formatting - New Markdown syntax - Better lexer factorization - ...

The JS file below is the Catala compiler, that you can use directly with Node.js:

node catala.js <arguments>

- OCaml
Published by denismerigoux over 4 years ago