adelaett
|
e14267b0d7
|
fixing printing
|
2023-04-14 15:03:26 +02:00 |
|
adelaett
|
cffcdd7cf9
|
move monad_* to lcalc/Ast.ml
|
2023-04-14 14:36:28 +02:00 |
|
adelaett
|
02eeb4ad11
|
Include Bindlib_ext to Expr.Box
|
2023-04-14 14:18:28 +02:00 |
|
adelaett
|
32b45984ab
|
remove serialization of runtime.ml values
|
2023-04-14 14:13:34 +02:00 |
|
adelaett
|
da7272bf70
|
ungit frenchlaw.py
|
2023-04-14 14:13:19 +02:00 |
|
adelaett
|
ebf72213a7
|
deadcode
|
2023-04-14 14:12:36 +02:00 |
|
adelaett
|
ddeaa67ff7
|
Expr.eid -> Expr.fun_id
|
2023-04-14 14:07:51 +02:00 |
|
adelaett
|
484ae44298
|
disable detailled printing of enum and struct
|
2023-04-14 13:59:29 +02:00 |
|
adelaett
|
920bd29835
|
documentation and deadcode elim
|
2023-04-14 13:59:06 +02:00 |
|
adelaett
|
f21cb1ff69
|
adding comment
|
2023-04-14 12:18:28 +02:00 |
|
adelaett
|
6b6272b0f2
|
adding an nicer error message
|
2023-04-14 12:16:09 +02:00 |
|
adelaett
|
123ae9e4c1
|
rename functions to make the code more readable
|
2023-04-14 12:15:16 +02:00 |
|
adelaett
|
0c357d2972
|
adding typing information for monad_* functions
|
2023-04-14 12:13:33 +02:00 |
|
adelaett
|
167ec9189f
|
adding a todo related to handle_default and handle_default_opt for
the closure conversion.
|
2023-04-14 12:02:03 +02:00 |
|
adelaett
|
abc30e1612
|
handling invariants checking differently in the main driver
|
2023-04-14 12:01:16 +02:00 |
|
adelaett
|
cfc1d86e96
|
Revert "incorrect simplification"
This reverts commit 3233ff108f .
|
2023-04-14 11:51:02 +02:00 |
|
adelaett
|
3233ff108f
|
incorrect simplification
|
2023-04-14 11:48:19 +02:00 |
|
adelaett
|
622feec9a5
|
change Invariants choice to --check_invariants flag
|
2023-04-14 11:32:49 +02:00 |
|
adelaett
|
2ea67de397
|
typo
|
2023-04-14 11:21:52 +02:00 |
|
adelaett
|
a9809b69a9
|
Merge branch 'master' into adelaett-withoutexceptionsfix
|
2023-04-14 11:19:58 +02:00 |
|
adelaett
|
5833608179
|
deadcode elim
|
2023-04-14 10:56:15 +02:00 |
|
adelaett
|
a45ae1869a
|
Fix #449 by removing premature optimizations on a smart constructor.
|
2023-04-14 10:50:21 +02:00 |
|
adelaett
|
a53bc27d23
|
documentation
|
2023-04-14 10:48:31 +02:00 |
|
Louis Gesbert
|
feeee4016e
|
Add support for dcalc plugins
previously only lcalc and scalc where available
|
2023-04-14 10:42:26 +02:00 |
|
adelaett
|
f8f6e56cca
|
fixing the issue of not merging inputs.
|
2023-04-14 09:22:36 +02:00 |
|
Louis Gesbert
|
3cf64edb39
|
Vastly improve the printer (#450)
|
2023-04-13 18:46:34 +02:00 |
|
Louis Gesbert
|
e19e4af12d
|
Vastly improve the printer
* fix lots of Format boxes
* add parens based on precedence in the printer
* fix interaction of Format and the colored line debug tags
|
2023-04-13 18:15:22 +02:00 |
|
Denis Merigoux
|
7b1b3f2968
|
Adding an interpreter to lcalc (#432)
|
2023-04-12 15:11:39 +02:00 |
|
adelaett
|
43c1fd9b7e
|
adding tests
|
2023-04-12 11:38:12 +02:00 |
|
adelaett
|
cc66023e51
|
Thunking justifications and conclusion in avoid_translation pass
|
2023-04-12 10:58:21 +02:00 |
|
adelaett
|
83553d5950
|
indicate what interpreter is launched in debug mode.
|
2023-04-11 16:15:24 +02:00 |
|
adelaett
|
1a46cd8914
|
initialize inputs argument with default ENone value
|
2023-04-11 16:14:52 +02:00 |
|
adelaett
|
49e9846386
|
fix a bug in the translation
|
2023-04-11 16:14:25 +02:00 |
|
adelaett
|
0cfc446455
|
implementing the behavior of handle_exceptions_opt for the lcalc interpretor
|
2023-04-11 14:09:57 +02:00 |
|
adelaett
|
3e35d4b826
|
Merge branch 'master' into adelaett-withoutexceptionsfix
|
2023-04-11 11:49:22 +02:00 |
|
Denis Merigoux
|
7c68af03ff
|
Adding an interpreter to lcalc (#432)
|
2023-04-07 17:15:09 +02:00 |
|
adelaett
|
6af7456b98
|
typo
|
2023-04-07 16:32:43 +02:00 |
|
adelaett
|
37b2cdf1aa
|
printing bindm as let*
|
2023-04-07 16:21:42 +02:00 |
|
adelaett
|
32c2c89f2d
|
adding ppx_expect to dependencies
|
2023-04-07 12:16:11 +02:00 |
|
adelaett
|
0e8eed7ee1
|
program equality function
|
2023-04-07 12:10:08 +02:00 |
|
adelaett
|
300d3b561d
|
fix too-many-spaces
|
2023-04-07 12:09:38 +02:00 |
|
adelaett
|
6c7ac061d4
|
fix identation and use new formatting functions as default
|
2023-04-07 11:57:14 +02:00 |
|
adelaett
|
618ff0518d
|
move printing of program & scope to the Print module
|
2023-04-07 11:26:10 +02:00 |
|
adelaett
|
12d85570e8
|
fix printing boxes & merge issues
|
2023-04-07 10:51:21 +02:00 |
|
adelaett
|
9b63743c2f
|
documentation
|
2023-04-07 10:49:48 +02:00 |
|
Denis Merigoux
|
77d6a97ddc
|
Formatting
|
2023-04-06 16:35:28 +02:00 |
|
alain
|
ec40de83fc
|
Merge branch 'master' into adelaett-withoutexceptionsfix
|
2023-04-06 13:57:22 +02:00 |
|
adelaett
|
73423a3cb6
|
typo
|
2023-04-06 13:50:58 +02:00 |
|
adelaett
|
65d9ac759a
|
review printer
|
2023-04-06 13:50:48 +02:00 |
|
adelaett
|
0906ba025b
|
reviewed operator.ml
|
2023-04-06 13:50:34 +02:00 |
|