CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity
4436d50011
catala/compiler/catala_utils
History
Louis Gesbert db87409125 Replace module hashes for external modules 
NOTE: This is a temporary solution

A future approach could be to have Catala generate a module loader (with the
proper hash), relieving the user implementation from having to do the
registration.
2024-05-28 11:43:50 +02:00
..
catala_utils.mld Match the compiler code to the new type of error message content 2023-07-12 11:55:11 +02:00
cli.ml Add env variables to set flags -O, --avoid-exceptions, --trace 2024-04-19 15:30:51 +02:00
cli.mli Reformat 2024-03-20 14:41:06 +01:00
dune Messages: adjust to terminal width 2024-04-26 15:40:55 +02:00
file.ml Fix adjustment of format width to terminal 2024-05-06 21:39:58 +02:00
file.mli Reformat 2024-03-20 14:41:06 +01:00
get_version.ml Better version handling 2024-01-24 11:41:34 +01:00
global.ml Reformat 2024-03-20 14:41:06 +01:00
global.mli Reformat 2024-03-20 14:41:06 +01:00
hash.ml Replace module hashes for external modules 2024-05-28 11:43:50 +02:00
hash.mli Replace module hashes for external modules 2024-05-28 11:43:50 +02:00
map.ml Reformat 2023-11-30 23:53:38 +01:00
mark.ml Computation and checking of module hashes 2024-05-28 11:43:50 +02:00
mark.mli Computation and checking of module hashes 2024-05-28 11:43:50 +02:00
message.ml Fix adjustment of format width to terminal 2024-05-06 21:39:58 +02:00
message.mli Fix adjustment of format width to terminal 2024-05-06 21:39:58 +02:00
pos.ml Message formatting: final touches 2024-05-03 15:14:51 +02:00
pos.mli Cleaner message printing 2024-05-03 12:21:34 +02:00
string.ml Computation and checking of module hashes 2024-05-28 11:43:50 +02:00
string.mli Computation and checking of module hashes 2024-05-28 11:43:50 +02:00
suggestions.ml Cleaner message printing 2024-05-03 12:21:34 +02:00
suggestions.mli Better indications for the user : 2023-07-12 16:32:55 +02:00
uid.ml Fix hashing of submodule references 2024-05-28 11:43:50 +02:00
uid.mli Fix hashing of submodule references 2024-05-28 11:43:50 +02:00
version.mli Better version handling 2024-01-24 11:41:34 +01:00