catala/compiler/dcalc
2023-03-30 15:33:00 +02:00
..
ast.ml Make all supertypes use ('a, 't) gexpr as parameter instead of naked_gexpr 2022-08-29 11:29:24 +02:00
ast.mli Make all supertypes use ('a, 't) gexpr as parameter instead of naked_gexpr 2022-08-29 11:29:24 +02:00
dcalc.mld Documentation pass 2022-01-19 10:54:16 +01:00
dune Rename utils to catala_utils 2022-11-28 16:38:09 +01:00
from_scopelang.ml Remove date rounding mode from Operator.translate 2023-03-30 15:33:00 +02:00
from_scopelang.mli Uniform naming of conversion modules across compilation passes 2022-11-22 12:08:18 +01:00
interpreter.ml Rework the AST Gadt to allow merging of different ASTs 2023-03-30 15:30:08 +02:00
interpreter.mli Rename utils to catala_utils 2022-11-28 16:38:09 +01:00
optimizations.ml Add top-level definitions 2023-02-13 11:43:49 +01:00
optimizations.mli AST refactoring 2022-11-17 18:16:09 +01:00