Denis Merigoux 9fcc79a66f Fix bug for encoding verification conditions from Dcalc, coming from #189		2022-02-15 17:58:18 +01:00
..
dcalc	Improve printing	2022-02-14 17:01:34 +01:00
desugared	Bring IO down in Scopelang AST	2022-02-10 10:09:58 +01:00
lcalc	Link to modules in the docs	2022-02-14 18:27:29 +01:00
literate	Merge branch 'master' into proof_platform	2022-01-21 09:55:34 +01:00
scalc	Link to modules in the docs	2022-02-14 18:27:29 +01:00
scopelang	Pretty-printer for scalc	2022-02-14 18:22:26 +01:00
surface	Update syntax highlighting and test suite [skip ci]	2022-02-07 12:04:48 +01:00
utils	Improve printing	2022-02-14 17:01:34 +01:00
verification	Fix bug for encoding verification conditions from Dcalc, coming from #189	2022-02-15 17:58:18 +01:00
catala_web_interpreter.ml	Fix	2022-01-26 17:15:06 +01:00
catala.ml	Big renaming and dir reorg	2021-06-21 11:39:06 +02:00
driver.ml	Pretty-printer for scalc	2022-02-14 18:22:26 +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	Big renaming and dir reorg	2021-06-21 11:39:06 +02:00
runtime.mli	Big renaming and dir reorg	2021-06-21 11:39:06 +02:00