adelaett
|
3e8aae99fe
|
typo in the traslation of lets
|
2023-03-30 10:39:07 +02:00 |
|
adelaett
|
729d634744
|
fixing translation of arrays
|
2023-03-30 10:38:54 +02:00 |
|
Denis Merigoux
|
d3384d8ba9
|
Update INSTALL.md (#436)
|
2023-03-29 14:00:40 +02:00 |
|
Romain Primet
|
9be430f490
|
Update INSTALL.md
|
2023-03-29 09:40:57 +02:00 |
|
Aymeric Fromherz
|
b85a199daa
|
Add support for let .. in constructions in Z3 backend (#434)
|
2023-03-29 06:41:40 +09:00 |
|
Aymeric Fromherz
|
8780a48312
|
Correct test invocations
|
2023-03-28 22:51:03 +09:00 |
|
Romain Primet
|
03366d47c0
|
Update INSTALL.md
It seems that building with ocaml < 5.0.0 will not work due to `UChar.utf_decode_length` not being available in the stdlib prior to that version
|
2023-03-28 15:29:05 +02:00 |
|
Denis Merigoux
|
6d503e2646
|
Fix differences with Légifrance
|
2023-03-28 14:49:27 +02:00 |
|
Denis Merigoux
|
3417d07945
|
Fixed bug in L861-5-1
|
2023-03-28 12:09:52 +02:00 |
|
adelaett
|
df740eed05
|
fixing with-exceptions
|
2023-03-28 10:07:01 +02:00 |
|
adelaett
|
37dcd96e41
|
correct scope debug formatting
|
2023-03-28 09:55:25 +02:00 |
|
adelaett
|
4fe23c894d
|
driver debugging code
|
2023-03-28 09:55:01 +02:00 |
|
adelaett
|
f3abc23c32
|
fixings tests (90% atm)
|
2023-03-28 09:54:44 +02:00 |
|
adelaett
|
c3d9ee299f
|
without exception: removing thunking
|
2023-03-28 09:54:04 +02:00 |
|
Denis Merigoux
|
44d8c32b9f
|
C backend for Catala : the closure conversion strikes back (#364)
|
2023-03-28 09:53:22 +02:00 |
|
adelaett
|
ba1c83f278
|
correct printing of option type
|
2023-03-28 09:52:40 +02:00 |
|
Denis Merigoux
|
e4c4339856
|
Small fixes
|
2023-03-28 09:38:47 +02:00 |
|
Aymeric Fromherz
|
5f04e0efaf
|
cleanup
|
2023-03-28 13:08:24 +09:00 |
|
Aymeric Fromherz
|
d0ef61219f
|
Add expected outputs for tests
|
2023-03-28 13:03:44 +09:00 |
|
Aymeric Fromherz
|
8fdd39d15a
|
Add negative test for let_in
|
2023-03-28 13:01:41 +09:00 |
|
Aymeric Fromherz
|
c711b0b1d7
|
cleanup
|
2023-03-28 13:00:07 +09:00 |
|
Aymeric Fromherz
|
71ebd3a2c7
|
Test for Z3 let_in
|
2023-03-28 12:49:14 +09:00 |
|
Aymeric Fromherz
|
082caae498
|
Add support for let_in in Z3 backend
|
2023-03-28 12:48:44 +09:00 |
|
adelaett
|
9806eb7e0f
|
format for program
|
2023-03-23 13:46:17 +01:00 |
|
adelaett
|
72ceafd67c
|
scopes does not return optional terms
|
2023-03-23 10:45:44 +01:00 |
|
Denis Merigoux
|
8b2f3319b8
|
Merge remote-tracking branch 'origin/master' into aides_logement_outre_mer
|
2023-03-21 17:57:38 +01:00 |
|
Denis Merigoux
|
96fb716f50
|
Fix test
|
2023-03-21 17:16:14 +01:00 |
|
Louis Gesbert
|
69be2f6ed8
|
Fix literate output of dates
|
2023-03-21 16:59:34 +01:00 |
|
JusBanuls
|
51e638ecbe
|
Tests Accession à la propriété - Outre-Mers
|
2023-03-21 16:11:32 +01:00 |
|
Denis Merigoux
|
3122dd7821
|
Update assets
|
2023-03-21 16:10:00 +01:00 |
|
adelaett
|
78c0842dc6
|
optimization tests
|
2023-03-21 14:31:45 +01:00 |
|
adelaett
|
256adcae4b
|
rename invariant
|
2023-03-21 14:31:21 +01:00 |
|
Denis Merigoux
|
48ef5b8f21
|
Fix warning and update assets
|
2023-03-21 14:00:49 +01:00 |
|
Denis Merigoux
|
578091f196
|
Restore check
|
2023-03-21 13:49:16 +01:00 |
|
Denis Merigoux
|
b801cccd15
|
Update tests
|
2023-03-21 13:32:38 +01:00 |
|
Denis Merigoux
|
aa8ab3be3d
|
Merge branch 'master' into c_backend
|
2023-03-21 12:14:10 +01:00 |
|
Denis Merigoux
|
1a7982d225
|
Better printing
|
2023-03-21 11:24:19 +01:00 |
|
Denis Merigoux
|
dcf954f450
|
Finished implementing DOM-TOM
|
2023-03-20 22:01:30 +01:00 |
|
Denis Merigoux
|
0d20d650e5
|
Progress on archives of arrêté
|
2023-03-20 19:02:53 +01:00 |
|
Denis Merigoux
|
7e3597ac3d
|
Implemented Saint-Pierre-et-Miquelon trick
|
2023-03-20 12:20:46 +01:00 |
|
Denis Merigoux
|
d0cc7651cd
|
Done TODOs on arrêtés
|
2023-03-20 12:07:17 +01:00 |
|
Denis Merigoux
|
5d3aded38d
|
Update Python API
|
2023-03-20 11:18:55 +01:00 |
|
Denis Merigoux
|
79d6c0e25d
|
Fix ML and JS french law
|
2023-03-17 18:59:41 +01:00 |
|
Denis Merigoux
|
b2d02f4b0f
|
Fixed all tests
|
2023-03-17 18:44:19 +01:00 |
|
Denis Merigoux
|
f2ad796c94
|
Fixed bug (inspecting a test trace when found it)
|
2023-03-17 18:42:07 +01:00 |
|
Denis Merigoux
|
7f705beb07
|
Merge branch 'master' into aides_logement_outre_mer
|
2023-03-17 17:52:10 +01:00 |
|
adelaett
|
d2da1c3e43
|
advancing
|
2023-03-17 17:24:51 +01:00 |
|
adelaett
|
7c39ad953b
|
fix iota optmi
|
2023-03-17 17:23:10 +01:00 |
|
adelaett
|
8c66fabe6a
|
fix mission operators in translate
|
2023-03-17 17:20:46 +01:00 |
|
adelaett
|
9a34ee95b1
|
equality program
|
2023-03-17 17:20:35 +01:00 |
|