catala/compiler
2022-11-28 16:38:09 +01:00
..
dcalc Uniform naming of conversion modules across compilation passes 2022-11-22 12:08:18 +01:00
desugared Name resolution: small reformatting 2022-11-28 16:38:09 +01:00
lcalc Uniform naming of conversion modules across compilation passes 2022-11-22 12:08:18 +01:00
literate Correct lines 2022-11-24 15:17:00 +01:00
plugins AST refactoring 2022-11-17 18:16:09 +01:00
scalc AST refactoring 2022-11-17 18:16:09 +01:00
scopelang Uniform naming of conversion modules across compilation passes 2022-11-22 12:08:18 +01:00
shared_ast Uniform naming of conversion modules across compilation passes 2022-11-22 12:08:18 +01:00
surface Uniform naming of conversion modules across compilation passes 2022-11-22 12:08:18 +01:00
utils AST refactoring 2022-11-17 18:16:09 +01:00
verification AST refactoring 2022-11-17 18:16:09 +01:00
catala_web_interpreter.ml Cli: allow standard option --color=always|never|auto to control styling 2022-07-27 10:42:35 +02:00
catala.ml reformat (sync with master) 2022-03-09 10:43:17 +01:00
driver.ml Uniform naming of conversion modules across compilation passes 2022-11-22 12:08:18 +01:00
driver.mli Add support for backend plugins using dynlink 2022-05-19 10:40:02 +02:00
dune AST refactoring 2022-11-17 18:16:09 +01:00
index.mld refactor(runtimes): add runtime_ocaml and runtime_jsoo in the catala package 2022-07-22 16:52:56 +02:00
plugin.ml Leverage the shared AST: big cleanup (part I) 2022-08-22 19:28:21 +02:00
plugin.mli Leverage the shared AST: big cleanup (part I) 2022-08-22 19:28:21 +02:00