vbot 5f57f4bf76 Message: also notify warnings to LSP		2024-11-04 16:45:55 +01:00
..
catala_utils	Message: also notify warnings to LSP	2024-11-04 16:45:55 +01:00
dcalc	Ast: add binders positions to EAbs	2024-10-28 17:45:18 +01:00
desugared	Ast: add binders positions to EAbs	2024-10-28 17:45:18 +01:00
lcalc	Ast: add binders positions to EAbs	2024-10-28 17:45:18 +01:00
literate	Literate output: adjust catala-metadata margins	2024-06-26 12:09:15 +02:00
plugins	Mostly graphical improvements to the explain plugin (#733)	2024-10-31 14:39:33 +01:00
scalc	C backend: workaround bulk freeing of constants (#718)	2024-10-31 14:41:10 +01:00
scopelang	Mostly graphical improvements to the explain plugin (#733)	2024-10-31 14:39:33 +01:00
shared_ast	Mostly graphical improvements to the explain plugin (#733)	2024-10-31 14:39:33 +01:00
surface	Update parser.messages (comments differences)	2024-10-29 13:03:20 +01:00
verification	Ast: add binders positions to EAbs	2024-10-28 17:45:18 +01: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	Lint: commit changes	2024-10-22 17:08:39 +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