Aymeric Fromherz 2d036f9925 Add ctx_var to z3encoding context		2022-01-10 14:37:17 +01:00
..
dcalc	Should compile	2022-01-10 14:35:51 +01:00
desugared	Fixed a bug [skip ci]	2022-01-05 15:37:34 +01:00
lcalc	fix(build/doc): remove warnings due to .ml* files	2022-01-02 14:53:51 +01:00
literate	fix(latex): render properly the '^' and fix the french babel usage	2021-12-31 20:50:03 +01:00
scalc	fix(build/doc): remove warnings due to .ml* files	2022-01-02 14:53:51 +01:00
scopelang	fix(build/doc): remove warnings due to .ml* files	2022-01-02 14:53:51 +01:00
surface	Fixed all bugs	2022-01-05 15:57:18 +01:00
utils	Added proof of concept of verification condition generation	2022-01-07 12:04:31 +01:00
verification	Add ctx_var to z3encoding context	2022-01-10 14:37:17 +01:00
catala_web_interpreter.ml	Building a JS version of the Catala compiler	2021-11-12 10:07:13 +01:00
catala.ml	Big renaming and dir reorg	2021-06-21 11:39:06 +02:00
driver.ml	Pass program to z3encoder	2022-01-10 14:36:15 +01:00
dune	Renamed and grouped modules cleanly	2022-01-08 18:37:04 +01:00
index.mld	More prettier things	2022-01-10 10:59:30 +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