Denis Merigoux 6227097de4 Merge pull request #223 from AltGr/optional-z3 ... Make Z3 an optional dependency		2022-03-09 17:22:06 +01:00
..
dcalc	format	2022-03-08 20:43:55 +01:00
desugared	reformat (sync with master)	2022-03-08 16:12:25 +01:00
lcalc	fix(lcalc): disable ocamlformat for let+ expressions	2022-03-08 16:13:47 +01:00
literate	reformat (sync with master)	2022-03-08 16:12:25 +01:00
scalc	reformat (sync with master)	2022-03-08 16:12:25 +01:00
scopelang	reformat (sync with master)	2022-03-08 16:12:25 +01:00
surface	reformat (sync with master)	2022-03-08 16:12:25 +01:00
utils	Merge pull request #222 from CatalaLang/refactor-catala_backend_option-functions	2022-03-09 11:12:01 +01:00
verification	Make Z3 an optional dependency	2022-03-08 18:38:42 +01:00
catala_web_interpreter.ml	Fix compilation catala_web_interpreter	2022-03-08 17:35:57 +01:00
catala.ml	reformat (sync with master)	2022-03-08 16:12:25 +01:00
driver.ml	Merge pull request #222 from CatalaLang/refactor-catala_backend_option-functions	2022-03-09 11:12:01 +01:00
driver.mli	reformat (sync with master)	2022-03-08 16:12:25 +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	reformat (sync with master)	2022-03-08 16:12:25 +01:00
runtime.mli	reformat (sync with master)	2022-03-08 16:12:25 +01:00