Denis Merigoux

Test and monitor performance regressions

2

Prompted by #516, we should have some performance monitoring under CI to detect early performance drops introduced by compiler changes. The interpretation time is the most critical thing to watch.

The compilation to JS of `french_law/ocaml/api_web.ml` works fine with `js_of_ocaml.4.1.0` and produces in debug mode a JS binary of around 6MB. But if you switch to `js_of_ocaml.5.1.1` then the size...

An attribute language for Catala code items

1

## The problem While discussing #293, we were wondering whether we should add new syntax to Catala to be able to express the date rounding mode. In this case, the...

This issue stems from a discussion with @rmonat and @R1kM around the proof platform. It occured to us that as we were adding more and more assertions to the Catala...

## The problem With the Z3 proof backend of the Catala compiler, some queries signal the possibility of an error even though when manually inspecting what is going on we...

## The problem Consider the following example: ```catala declaration scope A: output x content boolean depends on integer scope A: definition x of a under condition a >= 0 consequence...

Especially when an expected field is `undefined` ! Suggestion by @protz

The documentation in the `.mld` files is outdated and it generates a bunch of odoc warnings. Here's a list of them: ``` File "build_system/ninja_utils.mli", line 18, characters 21-55: Warning: '{{:...}...

Handle CRLF line endings

1

The lexer (https://github.com/CatalaLang/catala/blob/master/compiler/surface/lexer.cppo.ml) is not resilient to CRLF (Windows) line endings (`\r\n`), basically all occurences of `\n` should be checked to see if they also work with `\r\n`.

Implements #598. * [x] changed the scope call arguments in the shared AST * [x] implemented surface->desugared translation for direct scope calls * [x] tweaked desugared `DefKey` structure * [x]...