Denis Merigoux
|
25d6178d42
|
Add training lines
|
2023-04-27 12:10:47 +02:00 |
|
JusBanuls
|
537acd320d
|
Ajouts de plusieurs tests et correction de bugs
|
2023-04-27 12:10:14 +02:00 |
|
Denis Merigoux
|
4f7564b079
|
Improve editor parsable errors
|
2023-04-27 12:09:22 +02:00 |
|
Denis Merigoux
|
75c2a24b98
|
Changed position formatting
|
2023-04-27 12:09:22 +02:00 |
|
Denis Merigoux
|
fcb5561b24
|
Coded message format adapted to editors
|
2023-04-27 12:09:22 +02:00 |
|
Denis Merigoux
|
ea4d6dcafe
|
Fixes by Justine
|
2023-04-27 12:09:22 +02:00 |
|
Denis Merigoux
|
19b33eaa96
|
Add lint and fix bugs related
|
2023-04-27 12:09:22 +02:00 |
|
Denis Merigoux
|
2d34fe7f27
|
Added a test related to #449
|
2023-04-27 12:09:22 +02:00 |
|
Denis Merigoux
|
b2beec0bcc
|
Fixing #444 and #445
|
2023-04-27 12:09:22 +02:00 |
|
Denis Merigoux
|
dd3965c639
|
Fix typo
|
2023-04-27 12:08:00 +02:00 |
|
Denis Merigoux
|
3f1ed227d5
|
Fix small heading issues
|
2023-04-27 12:08:00 +02:00 |
|
JusBanuls
|
891ebbddff
|
Ajout d'un test AL locatif pour Saint-Pierre-et-Miquelon
|
2023-04-27 12:08:00 +02:00 |
|
Denis Merigoux
|
0338418a6f
|
Allow use of if_then_else beyond booleans in proof backend (#460)
|
2023-04-24 17:33:15 +02:00 |
|
Louis Gesbert
|
6263832722
|
Fix without exceptions (#412)
|
2023-04-24 16:44:33 +02:00 |
|
Louis Gesbert
|
49bd5b1915
|
Cleanup type of Expr.make_app
|
2023-04-24 15:14:54 +02:00 |
|
Louis Gesbert
|
d7d8bab9b8
|
Printer: rainbow parens (rewritten)
|
2023-04-24 14:56:19 +02:00 |
|
adelaett
|
ba6fb5d405
|
fix documentation
|
2023-04-24 14:00:12 +02:00 |
|
Aymeric Fromherz
|
c6e478c9dd
|
[Proof Backend] Use Z3's native encoding for ite
|
2023-04-24 12:11:55 +02:00 |
|
adelaett
|
c983099e59
|
Update lock files
|
2023-04-24 00:23:18 +00:00 |
|
Denis Merigoux
|
eb7be3581a
|
Update assets
|
2023-04-21 14:59:02 +02:00 |
|
Denis Merigoux
|
081e60d2c6
|
Restore tests due to restored optimizations for default terms
|
2023-04-21 14:55:56 +02:00 |
|
Denis Merigoux
|
32ee2a0c72
|
Various small fixes to resolve conversations
|
2023-04-21 14:54:07 +02:00 |
|
Denis Merigoux
|
d384db4e71
|
Reestablish some default constructor optimizations
|
2023-04-21 14:35:10 +02:00 |
|
Denis Merigoux
|
22b24a8634
|
Fusion of all optimizations done correctly
|
2023-04-21 12:32:09 +02:00 |
|
Denis Merigoux
|
1bb338526d
|
Generalized optimizations
|
2023-04-21 11:56:07 +02:00 |
|
Denis Merigoux
|
2b0e18f5a8
|
Restore important flushing?!
|
2023-04-21 11:29:07 +02:00 |
|
Denis Merigoux
|
067c7b9155
|
Merge branch 'master' into adelaett-withoutexceptionsfix
|
2023-04-21 10:55:36 +02:00 |
|
Denis Merigoux
|
107ff95dc4
|
Remove dependency on ppx_expect and use alcotest instead
|
2023-04-21 10:37:31 +02:00 |
|
Louis Gesbert
|
66d10afd65
|
Switch the row-variable provider in our main GADT to object types (#457)
|
2023-04-20 15:16:52 +02:00 |
|
Louis Gesbert
|
fc70d18ea8
|
Correctly typed dcalc/lcalc interpreter
|
2023-04-20 14:04:29 +02:00 |
|
Louis Gesbert
|
55d343d81c
|
Version that uses object types instead of polymorphic variants
in order to get the row polymorphism controlling the GADT that encodes our AST
|
2023-04-20 13:51:20 +02:00 |
|
Denis Merigoux
|
f877544368
|
Remove optimizations for big tests
|
2023-04-18 15:56:04 +02:00 |
|
Denis Merigoux
|
f9a6644da3
|
Cleanliness and aesthetics
|
2023-04-18 15:45:30 +02:00 |
|
Denis Merigoux
|
4a1efcaa12
|
Restore tests and update assets
|
2023-04-18 14:46:25 +02:00 |
|
Denis Merigoux
|
0ec75ad589
|
Merge branch 'master' into adelaett-withoutexceptionsfix
|
2023-04-18 14:37:02 +02:00 |
|
Denis Merigoux
|
0b0451862e
|
Correct temp variable names
|
2023-04-18 14:29:22 +02:00 |
|
Louis Gesbert
|
bd870b0c28
|
Add experimental lazy interpreter as a plugin (#453)
|
2023-04-18 14:08:03 +02:00 |
|
Denis Merigoux
|
732e058712
|
Fix typos
|
2023-04-18 11:42:33 +02:00 |
|
Denis Merigoux
|
c162a7fd77
|
Print exception tree for fun and profit (#447)
|
2023-04-18 11:30:11 +02:00 |
|
Denis Merigoux
|
0266252854
|
Refactoring for cleaner exception graph building
|
2023-04-18 11:06:58 +02:00 |
|
Denis Merigoux
|
57da622567
|
Refactoring changes after @altgr's suggestions
|
2023-04-18 10:31:44 +02:00 |
|
Denis Merigoux
|
c5ba3e72fe
|
Restore CI
|
2023-04-18 09:59:24 +02:00 |
|
Denis Merigoux
|
39f1704d76
|
Last fixes
|
2023-04-18 09:59:24 +02:00 |
|
Denis Merigoux
|
ecccb5fb91
|
Last changes
|
2023-04-18 09:59:24 +02:00 |
|
Denis Merigoux
|
6479c3c10b
|
Print exception tree
|
2023-04-18 09:59:24 +02:00 |
|
Denis Merigoux
|
2afb6fc20c
|
I/O plumbing necessary for this feature, missing main implem
|
2023-04-18 09:59:24 +02:00 |
|
adelaett
|
b757b828a0
|
Update lock files
|
2023-04-17 00:22:21 +00:00 |
|
adelaett
|
5d1f293fa0
|
finished looking at all tests
|
2023-04-14 18:27:20 +02:00 |
|
adelaett
|
70679b529b
|
adding some messages in new test files
|
2023-04-14 18:24:09 +02:00 |
|
adelaett
|
5e46253140
|
removed one remaning debuging print, and updating all the tests
|
2023-04-14 17:59:08 +02:00 |
|