catala/compiler/dcalc
Denis Merigoux 2c0e8a7864
x10 performance on Catala compilation & interpretation
Cleaner rewriting of main let-binding chaining procedure from Scopelang to Dcalc
Removed costly unboxing in DCalc.Ast.make_let_in seemed to do the trick
2021-10-28 15:24:39 +02:00
..
ast.ml x10 performance on Catala compilation & interpretation 2021-10-28 15:24:39 +02:00
ast.mli x10 performance on Catala compilation & interpretation 2021-10-28 15:24:39 +02:00
dcalc.mld Big renaming and dir reorg 2021-06-21 11:39:06 +02:00
dune Big renaming and dir reorg 2021-06-21 11:39:06 +02:00
interpreter.ml syntax(compiler): remove an @EmileRolley's note 2021-07-09 19:44:55 +02:00
interpreter.mli Big renaming and dir reorg 2021-06-21 11:39:06 +02:00
optimizations.ml Big renaming and dir reorg 2021-06-21 11:39:06 +02:00
optimizations.mli Big renaming and dir reorg 2021-06-21 11:39:06 +02:00
print.ml x10 performance on Catala compilation & interpretation 2021-10-28 15:24:39 +02:00
print.mli Big renaming and dir reorg 2021-06-21 11:39:06 +02:00
typing.ml Switch ocamlformat to 0.19.0 2021-08-19 11:35:56 +02:00
typing.mli Big renaming and dir reorg 2021-06-21 11:39:06 +02:00