JusBanuls
efbacd8566
Ajout du décret relatif à la montée en charges des AL pour SPM
2023-03-09 12:42:31 +01:00
Denis Merigoux
6b9bc90b9a
End with @JusBanuls!
...
Now we have to finish the implem, clean, review and deploy :)
2023-03-06 15:02:19 +01:00
Denis Merigoux
bfc827296c
Merge branch 'master' into aides_logement_outre_mer
2023-03-06 14:09:51 +01:00
Denis Merigoux
263a8672e3
Progress with @JusBanuls
2023-03-03 12:17:15 +01:00
Denis Merigoux
f8c2389f96
Progress but bug for @altgr
2023-03-03 11:03:54 +01:00
Denis Merigoux
e82325ebe1
Formatting
2023-03-03 10:29:03 +01:00
Louis Gesbert
97e0cfca6f
Improvements on function arguments refactoring
...
- simplify naming in the french law examples
- make messages yet more precise on function arguments mismatch
2023-03-02 19:11:21 +01:00
JusBanuls
85ed09c3ee
Inclusion des chapitres III et IV du titre IV / partie réglementaire
2023-03-01 16:38:34 +01:00
Denis Merigoux
3283c8a2f9
Progrès sur la partie règlementaire du CCH outre-mer avec @JusBanuls
2023-02-28 17:01:36 +01:00
Louis Gesbert
3766e9db2c
Fix function argument naming consistency in the examples
2023-02-28 16:17:19 +01:00
Louis Gesbert
d3ccfe9b91
Adjust examples for the new function declaration syntax
2023-02-28 15:53:50 +01:00
Denis Merigoux
fdd9f510d9
Fin de la partie législative outre-mer du CCH avec @JusBanuls
2023-02-28 15:47:42 +01:00
JusBanuls
5f486ce1d3
Nettoyage des archives
2023-02-27 15:06:48 +01:00
Denis Merigoux
feac2b328b
Progress with @JusBanuls
2023-02-24 12:10:00 +01:00
Denis Merigoux
dd2954838b
Formatting
2023-02-24 10:44:40 +01:00
Denis Merigoux
425a6e19f4
Finished L861-5 with @JusBanuls
2023-02-24 10:44:27 +01:00
Denis Merigoux
5c588cf996
Fixed exception structure for charges locatives with @JusBanuls
2023-02-24 10:12:15 +01:00
JusBanuls
ed998fd824
Articles législatifs et réglementaires des outre-mer
2023-02-23 17:53:28 +01:00
Denis Merigoux
366b293649
Progrès avec @JusBanuls
2023-02-21 18:13:27 +01:00
JusBanuls
9222cf1622
Avancement archives arrêté 2019
2023-02-21 15:18:20 +01:00
Denis Merigoux
82132bf145
Updated tests
2023-02-20 16:58:16 +01:00
Denis Merigoux
70db75b09f
Date entrée en vigueur article 31
2023-02-20 16:58:05 +01:00
Denis Merigoux
984b79d09a
Un peu de progrès sur L861-5
2023-02-14 17:30:28 +01:00
Denis Merigoux
6a2c644e9e
Fin de l'arrêté du 27 septembre 2019 pour les outre-mer
2023-02-14 15:58:20 +01:00
JusBanuls
d6e6d3de7d
Correction de l'art. 52 après rectification sur Légifrance par la DILA
2023-02-10 12:03:05 +01:00
JusBanuls
f1fed717e5
Remplacement du contenu de l'article 52 de l'arrêté de 2019
2023-01-30 11:57:28 +01:00
JusBanuls
ac2f02b7e9
Ajout des derniers articles de l'arrêté
2023-01-24 16:31:22 +01:00
JusBanuls
802818735e
Allocations logement: fix typos
2023-01-23 11:56:21 +01:00
JusBanuls
a907eed46f
Aides logement: simplify using cumulative exceptions
2023-01-23 11:54:08 +01:00
Denis Merigoux
df560ce366
Fixed another bug thanks to proof mode!
2023-01-20 16:14:30 -05:00
Denis Merigoux
639e2922ad
Remove implicit bound not yet met
2023-01-20 16:04:44 -05:00
Denis Merigoux
a13bbf03d3
Fix bug found by proof mode!
2023-01-20 16:04:33 -05:00
Denis Merigoux
1a97c21ca5
Add missing residence
2023-01-20 15:55:13 -05:00
Denis Merigoux
7054a8c6a7
Putting useful assertions restricting input parameters
2023-01-20 14:47:52 -05:00
Denis Merigoux
19e48f8781
Merge branch 'master' into aides_logement_outre_mer
2023-01-20 13:55:12 -05:00
Denis Merigoux
fcca9e4c47
Correction after confirmation from regulatory body
2023-01-20 10:10:31 -05:00
JusBanuls
52e1bf0cf6
Ajout de la variable résidence aux tests
2023-01-17 11:38:25 +01:00
Louis Gesbert
19033669f5
Add support for paths in the parser
...
Using them will lead to "not supported yet" errors soon after, but it's a start
to get to handling separate modules.
The idea is that `foo` can now also be `Bar.foo`, `Bar.Baz.foo`, `foo.Struc.fld`
can be `foo.Bar.Baz.Struc.fld`, etc.
The next steps are to enable the lookups to handle this paths, and to provide
ways to load the external modules to feed these lookups.
2023-01-16 12:09:23 +01:00
Denis Merigoux
2b6687fc44
FIx one of the tests
2023-01-13 16:15:11 +01:00
Denis Merigoux
9557e571d4
Todo list for Justine
2023-01-13 16:15:00 +01:00
Denis Merigoux
5d8c744e7f
Progress with Justine on overseas
2023-01-13 16:14:48 +01:00
Denis Merigoux
defe6a82a3
Début implémentation outre-mer avec Justine
2023-01-10 16:13:05 +01:00
Denis Merigoux
c81c5c6708
Small bug spotted with the help of Justine
2023-01-10 11:55:23 +01:00
Denis Merigoux
d86eb8cb03
Ajout revalorisation plafond ASPA 2023
2023-01-10 11:47:14 +01:00
Denis Merigoux
fa84dd4330
Splitting long lines
2023-01-05 16:20:51 +01:00
Denis Merigoux
27cf705441
Update article 18
2023-01-04 16:30:14 +01:00
Denis Merigoux
b0e7e9faf8
Update art 15
2023-01-04 16:30:14 +01:00
Louis Gesbert
2003566867
Force parens in compound logic formulas
...
Closes #373
This forbids expressions such as `a and b or c`, avoiding the need to set an
implicit priority between `and`, `or` and `xor`, which I find error-prone.
Instead, when that appears, a message asking for explicit parentheses will be
shown to the user.
Implementation note: since that would be extremely tedious to do in the parser
directly, the parser is set to allow right-associativity without discrimination
for the logical operators, and the check is done during desugaring. This
required to explicit parentheses in the surface AST to discriminate the case
where the priority was explicit.
2023-01-04 10:46:14 +01:00
Louis Gesbert
47502335aa
Refactor the parser to use priorities
...
Define a single expression rule with disambiguation using token priorities
instead of the many layers of intermediate rules with explicit sub-terms.
Also replaces `in` for collection operations (`x+1 for foo in [1;2]`) with
`among` which helps a lot.
2022-12-19 15:12:53 +01:00
Louis Gesbert
f236e2cfb2
Replace the type conversion and rounding operators with overloads
...
Ref. #366
Also updates `CONTRIBUTING.md`.
This was pretty straight-forward :)
2022-12-13 15:32:49 +01:00