adelaett 123ae9e4c1 rename functions to make the code more readable		2023-04-14 12:15:16 +02:00
..
catala_utils	change Invariants choice to --check_invariants flag	2023-04-14 11:32:49 +02:00
dcalc	handling invariants checking differently in the main driver	2023-04-14 12:01:16 +02:00
desugared	Add common linting passes to Catala (#438)	2023-04-03 14:01:02 +02:00
lcalc	rename functions to make the code more readable	2023-04-14 12:15:16 +02:00
literate	Update assets	2023-03-21 16:10:00 +01:00
plugins	fixed some mixup in Format.fprintf arguments	2023-02-21 16:19:17 +01:00
scalc	Merge branch 'master' into adelaett-withoutexceptionsfix	2023-04-06 13:57:22 +02:00
scopelang	Fix #449 by removing premature optimizations on a smart constructor.	2023-04-14 10:50:21 +02:00
shared_ast	Merge branch 'master' into adelaett-withoutexceptionsfix	2023-04-14 11:19:58 +02:00
surface	Rework the AST Gadt to allow merging of different ASTs	2023-03-30 15:30:08 +02:00
verification	Yet some more small improvements to the AST encoding	2023-04-05 10:32:58 +02:00
catala_web_interpreter.ml	change Invariants choice to --check_invariants flag	2023-04-14 11:32:49 +02:00
catala.ml	reformat (sync with master)	2022-03-09 10:43:17 +01:00
driver.ml	handling invariants checking differently in the main driver	2023-04-14 12:01:16 +02:00
driver.mli	Tweak error message location printing	2022-11-28 16:38:09 +01:00
dune	Rename utils to catala_utils	2022-11-28 16:38:09 +01:00
index.mld	Rename utils to catala_utils	2022-11-28 16:38:09 +01:00
plugin.ml	Install Catala plugins	2023-01-17 14:38:09 +01:00
plugin.mli	Rename utils to catala_utils	2022-11-28 16:38:09 +01:00