Louis Gesbert 8f8f2201b0 C backend: flatten nested if/then/else if sequences		2024-10-03 13:16:35 +02:00
..
catala_utils	Add --autotest option (#706)	2024-10-03 13:15:51 +02:00
dcalc	Add --autotest option (#706)	2024-10-03 13:15:51 +02:00
desugared	Refactoring : put sub-scope's I/O information where it should be	2024-09-26 13:44:06 +02:00
lcalc	Progress on the C backend (#671)	2024-09-26 10:00:04 +02:00
literate	Literate output: adjust catala-metadata margins	2024-06-26 12:09:15 +02:00
plugins	Add --autotest option (#706)	2024-10-03 13:15:51 +02:00
scalc	C backend: flatten nested if/then/else if sequences	2024-10-03 13:16:35 +02:00
scopelang	Cleanup: add function for more direct stringification of uids	2024-09-17 11:59:52 +02:00
shared_ast	Add --autotest option (#706)	2024-10-03 13:15:51 +02:00
surface	Fix handling of the lexer context	2024-09-26 10:25:52 +02:00
verification	Dcalc: don't thunk context inputs anymore	2024-10-02 18:42:03 +02:00
catala_web_interpreter.ml	Restore fatal assertion failures during evaluation with --stop-on-error	2024-10-01 15:03:31 +02:00
catala.ml	replace let _ by let () or add type annotation	2023-09-09 22:02:39 +02:00
driver.ml	Small Clerk and C backend fixes	2024-10-03 13:16:35 +02:00
driver.mli	Add support for automatic instrumentation with assertions	2024-10-01 15:03:31 +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	Plugins: allow registration of multiple subcommands	2024-09-26 13:39:29 +02:00
plugin.mli	Plugins: allow registration of multiple subcommands	2024-09-26 13:39:29 +02:00
tests.ml	Generalise the definition of lists of nested binders	2024-02-09 18:33:41 +01:00