catala/compiler
Denis Merigoux 83e9e83909
Progressing [skip ci]
Testing with dune exec catala -- Lcalc -s S tests/test_func/good/closure_conversion.catala_en  --avoid_exceptions -O --closure_conversion
2023-02-08 15:59:51 +01:00
..
catala_utils Install Catala plugins 2023-01-17 14:38:09 +01:00
dcalc Fixing review comments 2023-01-11 10:42:21 +01:00
desugared Add support for paths in the parser 2023-01-16 12:09:23 +01:00
lcalc Progressing [skip ci] 2023-02-08 15:59:51 +01:00
literate Update aides_logement and fix bugs to produce an updated working simulator (#377) 2023-01-13 12:05:32 +01:00
plugins Install Catala plugins 2023-01-17 14:38:09 +01:00
scalc Replace the type conversion and rounding operators with overloads 2022-12-13 15:32:49 +01:00
scopelang Add overloaded operators for the common operations 2022-12-13 11:55:24 +01:00
shared_ast Progressing [skip ci] 2023-02-08 15:59:51 +01:00
surface Add support for paths in the parser 2023-01-16 12:09:23 +01:00
verification Fix compiler and tests 2023-01-20 14:10:18 -05:00
catala_web_interpreter.ml Tweak error message location printing 2022-11-28 16:38:09 +01:00
catala.ml reformat (sync with master) 2022-03-09 10:43:17 +01:00
driver.ml Progressing [skip ci] 2023-02-08 15:59:51 +01:00
driver.mli Tweak error message location printing 2022-11-28 16:38:09 +01:00
dune Rename utils to catala_utils 2022-11-28 16:38:09 +01:00
index.mld Rename utils to catala_utils 2022-11-28 16:38:09 +01:00
plugin.ml Install Catala plugins 2023-01-17 14:38:09 +01:00
plugin.mli Rename utils to catala_utils 2022-11-28 16:38:09 +01:00