Louis Gesbert
|
4cec981f62
|
Move global options of Cli to their own module
This resolves a dependency cycle that would forbid `Cli` from using the modue
`File`, which was annoying.
|
2024-03-19 15:18:35 +01:00 |
|
Louis Gesbert
|
660e5775de
|
Rename utils to catala_utils
|
2022-11-28 16:38:09 +01:00 |
|
Denis Merigoux
|
ec225994af
|
Add "print_only_law" option
|
2022-05-26 19:05:06 +02:00 |
|
Denis Merigoux
|
5bd66142a6
|
Big reformatting
ocamlformat 0.19.0 -> 0.20.1
100 -> 80 columns per line
Reestablished @emilerolley's smart fun break
|
2022-03-08 15:03:14 +01:00 |
|
Denis Merigoux
|
bbd50747d9
|
Big renaming and dir reorg
|
2021-06-21 11:39:06 +02:00 |
|