Louis Gesbert 467a338b6c Install Catala plugins ... Fixes #378 - the plugins are compiled as libraries rather than with `executable`, so that dune is able to install them - they get installed to `lib/catala/plugins/<plugin-name>/<plugin-name>.cmxs` - the lookup for plugins is now recursive to cope with the plugin subdirectories in the point above		2023-01-17 14:38:09 +01:00
..
catala_utils	Install Catala plugins	2023-01-17 14:38:09 +01:00
dcalc	Fixing review comments	2023-01-11 10:42:21 +01:00
desugared	Add support for paths in the parser	2023-01-16 12:09:23 +01:00
lcalc	Add overloaded operators for the common operations	2022-12-13 11:55:24 +01:00
literate	Update aides_logement and fix bugs to produce an updated working simulator (#377)	2023-01-13 12:05:32 +01:00
plugins	Install Catala plugins	2023-01-17 14:38:09 +01:00
scalc	Replace the type conversion and rounding operators with overloads	2022-12-13 15:32:49 +01:00
scopelang	Add overloaded operators for the common operations	2022-12-13 11:55:24 +01:00
shared_ast	formatting fix	2023-01-16 12:10:33 +01:00
surface	Add support for paths in the parser	2023-01-16 12:09:23 +01:00
verification	Replace the type conversion and rounding operators with overloads	2022-12-13 15:32:49 +01:00
catala_web_interpreter.ml	Tweak error message location printing	2022-11-28 16:38:09 +01:00
catala.ml	reformat (sync with master)	2022-03-09 10:43:17 +01:00
driver.ml	Install Catala plugins	2023-01-17 14:38:09 +01: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