catala/compiler
2022-08-16 14:33:37 +02:00
..
dcalc Merge branch 'master' into aides_logement 2022-08-16 14:25:06 +02:00
desugared Fix subtle bug with the default false value for conditions 2022-08-15 16:47:36 +02:00
lcalc Remove unused type definitions 2022-08-16 14:33:37 +02:00
literate Fix again line numbers in HTML 2022-08-16 11:46:20 +02:00
plugins Documentation about plugins 2022-08-09 15:00:13 +02:00
scalc More factorisation, in particular for variables 2022-08-12 17:18:06 +02:00
scopelang More factorisation, in particular for variables 2022-08-12 17:18:06 +02:00
surface Fix again line numbers in HTML 2022-08-16 11:46:20 +02:00
utils Remove unused type definitions 2022-08-16 14:33:37 +02:00
verification More factorisation, in particular for variables 2022-08-12 17:18:06 +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 ocamlformat: new break-infix rule 2022-08-05 10:55:48 +02:00
driver.mli Add support for backend plugins using dynlink 2022-05-19 10:40:02 +02:00
dune Add a script generating static builds 2022-08-03 19:04:14 +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 refactor(compiler): split web plugin into api_web and json_schema + factorize some util functions 2022-07-29 18:42:47 +02:00
plugin.mli refactor(compiler): split web plugin into api_web and json_schema + factorize some util functions 2022-07-29 18:42:47 +02:00