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
1,627 Commits 41 Branches 8 Tags 60 MiB
cf233ac7de
Commit Graph

1627 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Denis Merigoux
cf233ac7de
Change settings 2022-03-09 10:43:00 +01:00
Lilya
f29dcfe9f2 Update code_construction_reglementaire.catala_fr 2022-03-04 14:11:53 +01:00
Denis Merigoux
14331088a7
Typo spotted by https://twitter.com/yannsalmon/status/1498237088088702978 2022-02-28 11:25:18 +01:00
Denis Merigoux
3db0d8470e
Typechecking last additions by Lilya and me 2022-02-25 17:30:30 +01:00
Denis Merigoux
cfbca7b2be
Merge branch 'master' into allocations_logement 2022-02-25 17:10:23 +01:00
Denis Merigoux
c9c070ffe2
Merge pull request #210 from CatalaLang/fix_option_python 
Fix Python backend with exceptions avoided
 2022-02-25 13:36:20 +01:00
Denis Merigoux
09dd02c8a0
Python backend works with exceptions avoided 
Few bugs in Lcalc->Scalc fixed
 2022-02-25 12:30:34 +01:00
Denis Merigoux
c4a7fe36c1
Merge pull request #158 from lIlIlIlIIIIlIIIllIIlIllIIllIII/feat/default-option 
feat(compiler): Compiling Dcalc into Lcalc without using ∅ errors
 2022-02-24 16:56:29 +01:00
Denis Merigoux
ddacc94de2
Correct types for make_some and make_none 2022-02-24 16:50:01 +01:00
Denis Merigoux
c65c38a2d5
Correct flag for enabling optimization 2022-02-24 16:46:02 +01:00
Denis Merigoux
756e7cb9b2
Merge branch 'master' into alain_default-option 2022-02-24 16:41:35 +01:00
Denis Merigoux
d4a1a43fcc
Merge branch 'master' into allocations_logement 2022-02-23 17:11:45 +01:00
Denis Merigoux
cfd0f29afe
Pair programming Lilya 2022-02-22 15:42:41 +01:00
Aymeric Fromherz
908be78d32
Merge pull request #205 from CatalaLang/afromher_rationals 
Add support for rationals in Z3 encoding
 2022-02-21 15:44:02 +01:00
Denis Merigoux
b510f34421
Merge pull request #206 from CatalaLang/fix/cmdliner 
Revert "Merge pull request #196 from CatalaLang/fixup-cmdliner"
 2022-02-21 15:03:56 +01:00
Aymeric Fromherz
a463ec7db2 Use Cli.max_prec_digits 2022-02-21 14:54:40 +01:00
Alain
73fe2f876c Revert "Merge pull request #196 from CatalaLang/fixup-cmdliner" 
fix cmdliner to 1.0.4

This reverts commit 8e1a1ccb63, reversing
changes made to 4812830a25.
 2022-02-21 14:53:48 +01:00
Alain
4ee9b71e00 to_lcalc option type printing 2022-02-21 11:58:26 +01:00
Alain
f7b70b8f19 add typing information to make_none and make_some 2022-02-21 11:55:39 +01:00
Alain
6fe75f3486 fv --> free_vars_set 
free_vars --> free_vars_list
 2022-02-21 11:51:01 +01:00
Aymeric Fromherz
63704324c1 [Z3 Backend] Better error message when function has type TAny 2022-02-19 23:28:04 +01:00
Aymeric Fromherz
31c2adf0f1 Z3 Backend: Extend arithmetic operations to money 2022-02-19 23:18:23 +01:00
Aymeric Fromherz
f5a3a19a09 [Z3 encoding]: Add negative tests for rationals 2022-02-19 02:02:48 +01:00
Aymeric Fromherz
1dc1d6a3b8 Good test for rationals 2022-02-19 02:00:46 +01:00
Aymeric Fromherz
25ff8c50fb [Z3 Backend]: Add support for rationals 2022-02-19 01:59:34 +01:00
Alain
d7b9aa9492 fixing if-then-else bug 2022-02-18 16:11:22 +01:00
Alain
5c9996e427 more comment 2022-02-18 15:59:35 +01:00
Alain
4b1f235e6c util review (bis) 2022-02-18 15:56:36 +01:00
Alain
f54b3b317c review lcalc 2022-02-18 15:55:37 +01:00
Alain
137fb8c552 util review 2022-02-18 15:54:40 +01:00
Alain
d512b27e2c fmt 2022-02-18 15:49:23 +01:00
Alain
7e1057c541 review of lcalc 2022-02-18 15:47:54 +01:00
Alain
19bf2d934f dcalc review 2022-02-18 15:31:52 +01:00
Denis Merigoux
472e3398f7
Restore build of js lib 2022-02-18 11:38:57 +01:00
Denis Merigoux
cb8a295945
Allocations logement typechecks now 2022-02-18 11:31:13 +01:00
Denis Merigoux
12b31554d6
Merge pull request #202 from CatalaLang/afromher_proof 
[Z3Backend] Add support for enumerations containing argument-less constructors
 2022-02-18 10:57:56 +01:00
Aymeric Fromherz
dd05e4468b [Z3backend]: Do not crash when trying to print function model 2022-02-18 00:34:42 +01:00
Aymeric Fromherz
6dec7bfe04 Refactor Z3 print_model: get_const_interp is only usable for non-function expressions 2022-02-18 00:28:36 +01:00
Aymeric Fromherz
d776a10e5f format 2022-02-17 18:44:40 +01:00
Aymeric Fromherz
56e3720699 Add unit tests for TUnit 2022-02-17 18:42:22 +01:00
Aymeric Fromherz
378ab4697a Encode TUnit in Z3 2022-02-17 18:34:30 +01:00
Denis Merigoux
7d9379e43c
Merge branch 'master' into allocations_logement 2022-02-16 14:56:48 +01:00
Denis Merigoux
d301e0f434
Remove markdown in github for Catala files 
because it does not work?
 2022-02-16 14:17:40 +01:00
Denis Merigoux
40542ea012
Update .gitattributes 2022-02-16 14:16:20 +01:00
Denis Merigoux
9fcc79a66f
Fix bug for encoding verification conditions from Dcalc, coming from #189 2022-02-15 17:58:18 +01:00
Denis Merigoux
19ac231cd1
Progression avec Lilya 2022-02-15 16:05:19 +01:00
Denis Merigoux
48f064ccea
Adapt translation to new i/o invariants, bug discovered 2022-02-15 11:38:56 +01:00
Denis Merigoux
cab4e5c17e
Merge branch 'master' into alain_default-option 2022-02-15 10:20:53 +01:00
Denis Merigoux
6fbff03690
Merge pull request #197 from CatalaLang/pretty_printing_scalc_lcalc 
Pretty-printing: improve Lcalc, create Scalc
 2022-02-14 18:29:51 +01:00
Denis Merigoux
21c73edfc9
Link to modules in the docs 2022-02-14 18:27:29 +01:00