| .. |
|
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 support for automatic instrumentation with assertions
|
2024-10-01 15:03:31 +02:00 |
|
cli.mli
|
Add support for automatic instrumentation with assertions
|
2024-10-01 15:03:31 +02:00 |
|
dune
|
Messages: adjust to terminal width
|
2024-04-26 15:40:55 +02:00 |
|
file.ml
|
Add a catch to error raised by get_command
|
2024-10-02 11:33:07 +02:00 |
|
file.mli
|
Clerk: add support for basic configuration files
|
2024-06-26 10:41:12 +02:00 |
|
get_version.ml
|
Better version handling
|
2024-01-24 11:41:34 +01:00 |
|
global.ml
|
Globals: add an LSP message format kind
|
2024-10-15 12:10:16 +02:00 |
|
global.mli
|
Globals: add an LSP message format kind
|
2024-10-15 12:10:16 +02:00 |
|
hash.ml
|
Remove the with-exceptions backend
|
2024-07-04 15:08:13 +02:00 |
|
hash.mli
|
Remove the with-exceptions backend
|
2024-07-04 15:08:13 +02:00 |
|
map.ml
|
Reformat
|
2023-11-30 23:53:38 +01:00 |
|
mark.ml
|
Ast: add binders positions to EAbs
|
2024-10-28 17:45:18 +01:00 |
|
mark.mli
|
Ast: add binders positions to EAbs
|
2024-10-28 17:45:18 +01:00 |
|
message.ml
|
Message: also notify warnings to LSP
|
2024-11-04 16:45:55 +01:00 |
|
message.mli
|
Message: also notify warnings to LSP
|
2024-11-04 16:45:55 +01:00 |
|
pos.ml
|
Fix: avoid hard failure on position printing when file changed
|
2024-08-30 15:35:52 +02:00 |
|
pos.mli
|
Implement lifting of positions at the scalc level
|
2024-08-30 15:35:47 +02:00 |
|
string.ml
|
Fix non-identchars appearing in backend idents
|
2024-10-30 14:15:56 +01:00 |
|
string.mli
|
Fix non-identchars appearing in backend idents
|
2024-10-30 14:15:56 +01:00 |
|
suggestions.ml
|
Refactor and improve suggestions' pretty-printing
|
2024-06-21 11:11:53 +02:00 |
|
suggestions.mli
|
Refactor suggestions
|
2024-06-20 15:59:54 +02:00 |
|
uid.ml
|
Progress on the C backend (#671)
|
2024-09-26 10:00:04 +02:00 |
|
uid.mli
|
Progress on the C backend (#671)
|
2024-09-26 10:00:04 +02:00 |
|
version.mli
|
Better version handling
|
2024-01-24 11:41:34 +01:00 |
