catala/compiler/lcalc
2023-04-14 12:18:28 +02:00
..
ast.ml Merge branch 'master' into adelaett-withoutexceptionsfix 2023-04-06 13:57:22 +02:00
ast.mli Merge branch 'master' into adelaett-withoutexceptionsfix 2023-04-06 13:57:22 +02:00
closure_conversion.ml adding a todo related to handle_default and handle_default_opt for 2023-04-14 12:02:03 +02:00
closure_conversion.mli Reformat 2022-07-11 17:42:34 +02:00
compile_with_exceptions.ml Merge branch 'master' into adelaett-withoutexceptionsfix 2023-04-11 11:49:22 +02:00
compile_with_exceptions.mli Porting the interpreter to the marked AST 2022-07-11 17:42:30 +02:00
compile_without_exceptions.ml adding comment 2023-04-14 12:18:28 +02:00
compile_without_exceptions.mli finished the implementation, but a few issues are missing 2023-03-13 16:51:06 +01:00
dune unit test infrastructure for optimization 2023-03-17 17:19:50 +01:00
from_dcalc.ml documentation 2023-04-04 17:02:26 +02:00
from_dcalc.mli documentation 2023-04-04 17:02:26 +02:00
lcalc.mld Link to modules in the docs 2022-02-14 18:27:29 +01:00
optimizations.ml program equality function 2023-04-07 12:10:08 +02:00
optimizations.mli documentation 2023-04-14 10:48:31 +02:00
to_ocaml.ml deadcode elim 2023-04-14 10:56:15 +02:00
to_ocaml.mli Rename all Map/Set calls accordingly 2022-11-28 16:38:09 +01:00