Louis Gesbert d3f4b58f2f Some more scalc/c/renaming tweaks ... Bindlib flag `skip_constant_binders` should be disabled for C, and is better left disabled for debugging as well.		2024-09-06 18:08:42 +02:00
..
catala_utils	Reformat	2024-09-02 13:54:29 +02:00
dcalc	Renaming: use __N suffixes rather than just N	2024-09-05 16:58:47 +02:00
desugared	Reformat	2024-09-02 13:54:29 +02:00
lcalc	C runtime fixes	2024-09-05 14:27:28 +02:00
literate	Literate output: adjust catala-metadata margins	2024-06-26 12:09:15 +02:00
plugins	Fix a few remaining renaming glitches	2024-09-04 10:50:25 +02:00
scalc	Some more scalc/c/renaming tweaks	2024-09-06 18:08:42 +02:00
scopelang	Reformat	2024-09-02 13:54:29 +02:00
shared_ast	Some more scalc/c/renaming tweaks	2024-09-06 18:08:42 +02:00
surface	Fix: return module items in file order	2024-08-28 17:18:26 +02:00
verification	Merge commit origin/master into crun	2024-08-30 15:27:01 +02:00
catala_web_interpreter.ml	Rewriting message calls to use the new intf	2024-04-10 19:26:23 +02:00
catala.ml	replace let _ by let () or add type annotation	2023-09-09 22:02:39 +02:00
driver.ml	Reformat	2024-09-02 13:54:29 +02:00
driver.mli	Move struct_or_enum type to generic TypeIdent.t	2024-09-02 13:52:34 +02:00
dune	Update opam file according to opam-repository reviews	2024-05-06 21:39:58 +02:00
index.mld	More doc	2023-06-18 16:08:16 +02:00
plugin.ml	Plugin loader: improve message on failed load	2024-08-30 15:35:52 +02:00
plugin.mli	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
tests.ml	Generalise the definition of lists of nested binders	2024-02-09 18:33:41 +01:00