catala/compiler/lcalc
2023-03-28 10:07:01 +02:00
..
ast.ml introducing new operators for handleing defaults 2023-03-14 18:30:58 +01:00
ast.mli new helpers functions in lcalc's ast 2023-02-27 11:20:59 +01:00
closure_conversion.ml Toplevel definitions: branch cleanup 2023-02-13 18:02:09 +01:00
closure_conversion.mli Reformat 2022-07-11 17:42:34 +02:00
compile_with_exceptions.ml fixing with-exceptions 2023-03-28 10:07:01 +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 fixings tests (90% atm) 2023-03-28 09:54:44 +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 finished the implementation, but a few issues are missing 2023-03-13 16:51:06 +01:00
from_dcalc.mli requesting to have a typed tree 2023-02-27 11:20:59 +01:00
lcalc.mld Link to modules in the docs 2022-02-14 18:27:29 +01:00
optimizations.ml format for program 2023-03-23 13:46:17 +01:00
optimizations.mli Leverage the shared AST: big cleanup (part I) 2022-08-22 19:28:21 +02:00
to_ocaml.ml finished refactoring 2023-02-20 17:58:29 +01:00
to_ocaml.mli Rename all Map/Set calls accordingly 2022-11-28 16:38:09 +01:00