Alain 80fa3110eb documentation + finished translating cut to hoist + copyright inside the compile_without_exceptions		2022-02-12 08:08:13 +01:00
..
dcalc	documentation + finished translating cut to hoist + copyright inside the compile_without_exceptions	2022-02-12 08:08:13 +01:00
desugared	Fixed last bug around rule refactoring	2022-01-31 13:55:25 +01:00
lcalc	documentation + finished translating cut to hoist + copyright inside the compile_without_exceptions	2022-02-12 08:08:13 +01:00
literate	Merge branch 'master' into proof_platform	2022-01-21 09:55:34 +01:00
scalc	Fix bug in Python backend producing unreachable code	2022-02-01 15:41:53 +01:00
scopelang	forcing the invariant of the previous commit	2022-02-07 09:17:13 +01:00
surface	[skip ci] reorganized desugared to scope encoding, broke some invariants	2022-01-28 17:31:31 +01:00
utils	Merge branch 'master' into alain_default-option	2022-02-04 15:35:52 +01:00
verification	Optimizations for defaults in Dcalc	2022-01-31 15:27:58 +01:00
catala_web_interpreter.ml	Merge branch 'master' into alain_default-option	2022-02-04 15:35:52 +01:00
catala.ml	Big renaming and dir reorg	2021-06-21 11:39:06 +02:00
driver.ml	Merge branch 'master' into alain_default-option	2022-02-04 15:35:52 +01:00
dune	Renamed and grouped modules cleanly	2022-01-08 18:37:04 +01:00
index.mld	Update asset and fix missing link in doc	2022-01-21 20:16:07 +01:00
runtime.ml	Assets and formatting	2022-02-04 15:29:31 +01:00
runtime.mli	runtime correct type	2022-02-03 11:47:27 +01:00