CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity
3,286 Commits 41 Branches 8 Tags 60 MiB
2a39f1b5f8
Commit Graph

3286 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Emile Rolley
2a39f1b5f8 feat(runtimes): add rescript-catala 2023-05-07 15:13:22 +02:00
Denis Merigoux
c5124f50c4
Overseas housing benefits : last fixes and tests (#446) 2023-05-05 09:47:41 +02:00
Denis Merigoux
5509239662
Update assets 2023-05-04 19:23:11 +02:00
Denis Merigoux
eae61256ef
Adhere to the GNU standard for error messages 2023-05-04 19:19:19 +02:00
Denis Merigoux
eec5ae54c6
Fixed formatting -> tests update 2023-05-04 19:18:53 +02:00
Denis Merigoux
a5d4f54115
Push some fixes suggested by @altgr 2023-05-04 18:28:24 +02:00
Denis Merigoux
bcd91f5dea
Merge branch 'master' into aides_logement_outre_mer 2023-05-04 11:04:28 +02:00
Louis Gesbert
2a43929d59
Some more fixes and improvements to the printer (#462) 2023-05-03 17:36:57 +02:00
Denis Merigoux
7b8c35057d
Update Docker instructions in INSTALL.md (#463) 2023-05-02 21:58:52 +02:00
Louis Gesbert
b1955bd9d4 Don't use a debug printing function for OCaml output 2023-05-02 16:48:01 +02:00
Louis Gesbert
5e26c5c83d Yet more printer improvements 
- Fix the printer for scopes
- Improve the printer for struct types
- Remove `Print.expr'`. Use `Expr.format` as the function with simplified arguments instead.
 2023-05-02 16:33:23 +02:00
Louis Gesbert
3294011d47 Update Docker instructions in INSTALL.md 2023-05-02 15:22:51 +02:00
Louis Gesbert
83e7a845fe Cleanup expr printer interface 
- `Print.expr` no longer needs the context
- This removes the need for `expr ~debug` + `expr_debug` ;
  use `Print.expr` for normal (non-debug) output,
  and `Print.expr' ?debug ()` for possibly debug output.
- This improves consistency of debug expr output in many places
- Prints simplified operators (without type suffix) in non-verbose mode

(this patch also fixes some cases of `Expr.skip_wrappers` and leverages the
binder equality provided by Bindlib)
 2023-05-02 13:32:16 +02:00
Louis Gesbert
c249cef3cc Printer: flatten nested let-ins too 2023-05-02 11:53:30 +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
Louis Gesbert
3e7a2a34ab More printer improvements 2023-05-02 11:49:09 +02:00
Louis Gesbert
cec52d47de Printer: flatten "else if" 2023-05-02 11:49:09 +02:00
Louis Gesbert
8a2b50289e Printer: add some missing boxes 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
Denis Merigoux
c6bafe8896
Update assets and tests 2023-05-02 10:58:45 +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
Denis Merigoux
8d7666ee92
Interleave assertions with rules from desugared to scopelang 2023-04-28 14:15:43 +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
d70886431d
Fix false positive found by proof mode with an assertion clearly stating the impossible situations 2023-04-28 10:39:19 +02:00
Denis Merigoux
e6bccd716d
Fix a Catala program bug thanks to Proof mode! 2023-04-27 18:03:27 +02:00
Denis Merigoux
a954942fd9
Bug in the law found with proof mode? 2023-04-27 16:58:40 +02:00
Denis Merigoux
7788bf9e73
Error message when two same states 2023-04-27 15:37:11 +02:00
Denis Merigoux
41d74bc673
Correctly hide function body on the trace 2023-04-27 15:07:04 +02:00
Denis Merigoux
9b056f3ca1
Update assets and fix errors after rebase 2023-04-27 12:18:50 +02:00
Denis Merigoux
14dd879cc5
Restore tests, update assets 2023-04-27 12:14:27 +02:00
Denis Merigoux
e920529fad
Fix with informations by @JusBanuls 2023-04-27 12:14:16 +02:00
Denis Merigoux
9b06bb66db
Fix tests and restore CI 2023-04-27 12:14:16 +02:00
Denis Merigoux
1b35d6f064
Update allocations_familiales to correct legislative wording 2023-04-27 12:13:50 +02:00
Denis Merigoux
3e61bd633c
Update BMAF 2023-04-27 12:13:50 +02:00
Denis Merigoux
26078d2882
Plus d'informations 2023-04-27 12:13:50 +02:00
Denis Merigoux
7451516ba2
Beginning to incorporate remarks by DHUP 2023-04-27 12:13:50 +02:00
Denis Merigoux
ada8e4941a
Delete variable EVERYWHERE 2023-04-27 12:13:50 +02:00
Denis Merigoux
e7f56b4310
Removed useless variable 2023-04-27 12:13:19 +02:00
Denis Merigoux
40af4d3a46
Disable optimization that was messing with the Proof backend 2023-04-27 12:13:18 +02:00
Denis Merigoux
7517894f77
Restore positions in test 2023-04-27 12:10:47 +02:00
Denis Merigoux
28577c7a5e
Fix tests with @JusBanuls 2023-04-27 12:10:47 +02:00
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