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 |
|
adelaett
|
61ad00f277
|
unit test infrastructure for optimization
|
2023-03-17 17:19:50 +01:00 |
|
Denis Merigoux
|
0be36b620d
|
Implement D863-7
|
2023-03-17 13:47:06 +01:00 |
|
adelaett
|
850a1fdb56
|
more optimization on fold
|
2023-03-17 11:34:52 +01:00 |
|
Louis Gesbert
|
db09eb0c42
|
Add date rounding option in scope (#397)
|
2023-03-17 10:14:36 +01:00 |
|
Denis Merigoux
|
c4869ffd36
|
Fixing some TODOs
|
2023-03-17 09:26:11 +01:00 |
|
Denis Merigoux
|
056e84792d
|
Printing warning for undefined variables
|
2023-03-17 09:25:14 +01:00 |
|
Denis Merigoux
|
4fcdd005e0
|
Merge branch 'master' into aides_logement_outre_mer
|
2023-03-17 09:18:27 +01:00 |
|
Denis Merigoux
|
13b0b0bbcd
|
Merge branch 'aides_logement_outre_mer' of github.com:CatalaLang/catala into aides_logement_outre_mer
|
2023-03-17 09:18:09 +01:00 |
|
Raphaël Monat
|
d5cd5b206a
|
Show conflicting date rounding mode declarations when they happen
|
2023-03-16 18:51:01 +01:00 |
|
Raphaël Monat
|
8981b21edb
|
Add test for date rounding option conflict
|
2023-03-16 17:20:14 +01:00 |
|
Raphaël Monat
|
51ea9d8cff
|
Format code
|
2023-03-16 17:20:14 +01:00 |
|
Raphaël Monat
|
d3c27799de
|
Raise exception when more than one rounding mode option has been specified
|
2023-03-16 17:20:13 +01:00 |
|
Raphaël Monat
|
1e1e3b538e
|
Simplify format
|
2023-03-16 17:20:13 +01:00 |
|
Raphaël Monat
|
b013f4257d
|
Update parser error message
|
2023-03-16 17:20:13 +01:00 |
|
Raphaël Monat
|
887ec00d0e
|
Add explicit match
|
2023-03-16 17:20:13 +01:00 |
|
Raphaël Monat
|
8fe20e7fa2
|
Update syntax
|
2023-03-16 17:20:13 +01:00 |
|
Raphaël Monat
|
c4b0c6c107
|
Remove stale files
|
2023-03-16 17:20:13 +01:00 |
|
Raphaël Monat
|
1e0eddfa1f
|
Update syntax
|
2023-03-16 17:20:13 +01:00 |
|
Raphaël Monat
|
ce858a74df
|
Update syntax cheatsheet
|
2023-03-16 17:20:13 +01:00 |
|