catala/compiler
2022-06-01 17:28:54 +02:00
..
dcalc add support for duration multiplication 2022-05-31 11:17:38 -07:00
desugared Compiler: simplify EDefault term at construction 2022-05-25 18:36:07 +02:00
lcalc Formatting: sync with master 2022-05-12 15:10:55 +02:00
literate Add "print_only_law" option 2022-05-26 19:05:06 +02:00
plugins Compiler: add some doc on plugin support 2022-05-25 17:27:49 +02:00
scalc Formatting: sync with master 2022-05-12 15:10:55 +02:00
scopelang Fix logging regression involuntarily introduced by #268 2022-05-31 16:09:32 +02:00
surface Merge branch 'master' into allocations_logement 2022-06-01 17:28:54 +02:00
utils Merge branch 'master' into allocations_logement 2022-06-01 17:28:54 +02:00
verification Formatting: sync with master 2022-05-12 15:10:55 +02:00
catala_web_interpreter.ml Add missing options 2022-05-26 19:10:53 +02:00
catala.ml reformat (sync with master) 2022-03-09 10:43:17 +01:00
driver.ml Add "print_only_law" option 2022-05-26 19:05:06 +02:00
driver.mli Add support for backend plugins using dynlink 2022-05-19 10:40:02 +02:00
dune Merge pull request #213 from AltGr/plugin-support 2022-05-25 18:31:30 +02:00
index.mld Compiler: add some doc on plugin support 2022-05-25 17:27:49 +02:00
plugin.ml Add support for backend plugins using dynlink 2022-05-19 10:40:02 +02:00
plugin.mli Add support for backend plugins using dynlink 2022-05-19 10:40:02 +02:00
runtime.ml More robust implementation of duration multiplication 2022-06-01 15:15:22 +02:00
runtime.mli add support for duration multiplication 2022-05-31 11:17:38 -07:00