Denis Merigoux
|
7b8c35057d
|
Update Docker instructions in INSTALL.md (#463)
|
2023-05-02 21:58:52 +02:00 |
|
Louis Gesbert
|
3294011d47
|
Update Docker instructions in INSTALL.md
|
2023-05-02 15:22:51 +02:00 |
|
Louis Gesbert
|
404dc00db1
|
Alcotest is not a test dependency and needs stubs
This fixes the dependency, and the static linking scripts
|
2023-05-02 11:49:09 +02:00 |
|
Denis Merigoux
|
9c1b51b1a1
|
Fix(plugins/json_schema): don't translate the TUnit type into "null" anymore (#461)
|
2023-05-02 10:59:39 +02:00 |
|
adelaett
|
ce5b76f85c
|
Update lock files
|
2023-05-01 00:26:55 +00:00 |
|
Denis Merigoux
|
3bc5b188ea
|
french_law.js on git compiled with dev profile
|
2023-04-28 14:49:45 +02:00 |
|
Emile Rolley
|
8128c47fa4
|
assets(french_law): udpate the french_law.js lib
|
2023-04-28 13:41:53 +02:00 |
|
Emile Rolley
|
def003af8d
|
fix(plugins/json_schema): don't translate the TUnit type into "null" anymore
|
2023-04-28 13:41:25 +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 |
|
adelaett
|
bc6e149618
|
same
|
2023-04-14 17:35:28 +02:00 |
|
adelaett
|
e712c39efb
|
fix python printing of handle_default
|
2023-04-14 17:32:09 +02:00 |
|
adelaett
|
b642bdbc54
|
update optimizations
|
2023-04-14 17:16:01 +02:00 |
|
adelaett
|
6f7d3422a4
|
more tests
|
2023-04-14 17:03:15 +02:00 |
|