catala/compiler
2023-06-18 21:38:00 +02:00
..
catala_utils Merge branch 'master' into closure_conversion 2023-06-15 17:56:41 +02:00
dcalc Messages renamed to Message (lighter syntax) 2023-06-13 11:50:56 +02:00
desugared Formatting 2023-06-15 10:51:31 +02:00
lcalc Added a last TODO and put big example under CI 2023-06-18 21:38:00 +02:00
literate Formatting 2023-06-15 10:51:31 +02:00
plugins Merge branch 'master' into closure_conversion 2023-06-15 17:56:41 +02:00
scalc Merge branch 'master' into closure_conversion 2023-06-15 17:56:41 +02:00
scopelang Merge branch 'master' into closure_conversion 2023-06-15 17:56:41 +02:00
shared_ast Closure hoisting (missing a bug on hardest case) 2023-06-18 18:08:18 +02:00
surface Messages renamed to Message (lighter syntax) 2023-06-13 11:50:56 +02:00
verification Merge branch 'master' into closure_conversion 2023-06-15 17:56:41 +02:00
catala_web_interpreter.ml Improve editor parsable errors 2023-04-27 12:09:22 +02:00
catala.ml reformat (sync with master) 2022-03-09 10:43:17 +01:00
driver.ml Bug identified 2023-06-18 18:15:29 +02:00
driver.mli Tweak error message location printing 2022-11-28 16:38:09 +01:00
dune Remove dependency on ppx_expect and use alcotest instead 2023-04-21 10:37:31 +02:00
index.mld More doc 2023-06-18 16:08:16 +02:00
plugin.ml Formatting 2023-06-15 10:51:31 +02:00
plugin.mli Fix most doc errors 2023-06-02 17:17:45 +02:00
tests.ml Fusion of all optimizations done correctly 2023-04-21 12:32:09 +02:00