catala/compiler
2022-07-28 15:02:43 +02:00
..
dcalc Merge branch 'master' into 290-jsoo-wrapper-plugin 2022-07-22 17:54:51 +02:00
desugared Simplify default tree encoding 2022-07-22 12:31:02 +02:00
lcalc Fix some bugs of JSOO plugin 2022-07-28 15:02:43 +02:00
literate Correctly generate HTML output 2022-07-20 15:35:26 +02:00
plugins Fix some bugs of JSOO plugin 2022-07-28 15:02:43 +02:00
scalc Fix some bugs of JSOO plugin 2022-07-28 15:02:43 +02:00
scopelang Reformat 2022-07-11 17:42:34 +02:00
surface Add polish translation for new "contains" keyword 2022-07-28 10:34:37 +02:00
utils Cli: allow standard option --color=always|never|auto to control styling 2022-07-27 10:42:35 +02:00
verification Merge branch 'master' into 290-jsoo-wrapper-plugin 2022-07-22 17:54:51 +02: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 refactor(french_law/ocaml): refactor the api_web.ml 2022-07-22 17:01:33 +02:00
driver.mli Add support for backend plugins using dynlink 2022-05-19 10:40:02 +02:00
dune refactor(runtimes): add runtime_ocaml and runtime_jsoo in the catala package 2022-07-22 16:52:56 +02: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 Mark the optimization passes as untyped 2022-07-13 12:17:43 +02:00
plugin.mli Mark the optimization passes as untyped 2022-07-13 12:17:43 +02:00