Emile Rolley cd33ed9de7 feat(plugins/jsoo): now generate both .ml and _web_api.ml file		2022-07-22 16:52:56 +02:00
..
dcalc	Factorizing Dcalc.program	2022-07-22 15:49:57 +02:00
desugared	Simplify default tree encoding	2022-07-22 12:31:02 +02:00
lcalc	refactor(plugins/jsoo): use To_ocaml function directly by extending its interface	2022-07-22 16:52:56 +02:00
literate	Correctly generate HTML output	2022-07-20 15:35:26 +02:00
plugins	feat(plugins/jsoo): now generate both .ml and _web_api.ml file	2022-07-22 16:52:56 +02:00
scalc	Factorizing Dcalc.program	2022-07-22 15:49:57 +02:00
scopelang	Reformat	2022-07-11 17:42:34 +02:00
surface	Cleaned code for generating exception graph, now correct and fully general	2022-07-22 12:25:41 +02:00
utils	Add type annotations on all AST nodes (first pass)	2022-07-11 16:51:54 +02:00
verification	Trying to fix Bindlib unboxing bug [skip ci]	2022-07-22 12:31:05 +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	Factorizing Dcalc.program	2022-07-22 15:49:57 +02:00
driver.mli	Add support for backend plugins using dynlink	2022-05-19 10:40:02 +02:00
dune	refactor(runtimes): add move the OCaml runtime into runtimes/ocaml	2022-07-22 16:52:56 +02:00
index.mld	feat(runtime): format_events -> pp_events (Done).	2022-06-15 19:32:45 +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