CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 08:47:14 +03:00
Code Issues Projects Releases Wiki Activity
1,180 Commits 41 Branches 8 Tags 60 MiB
07167ee911
Commit Graph

1180 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Denis Merigoux
32aa818249
Beginning of succession law 2021-05-31 16:26:41 +02:00
EmileRolley
fa345a9312 fix(syntax_highlighting): minor corrections in catala_fr.vim 2021-05-31 14:43:03 +02:00
EmileRolley
6b63ba02b5 docs(syntax_highlighting): add a link to the vim help page 2021-05-31 14:30:18 +02:00
EmileRolley
a233769e98 feat(syntax_highlighting)!: add the catala_fr.vim file 2021-05-31 14:23:15 +02:00
Denis Merigoux
54c6e63a01
Merge pull request #127 from EmileRolley/operation_division_op 
feat(compiler): add the duration division operator
 2021-05-31 11:05:16 +02:00
EmileRolley
c718095b2d refactor(compiler): rename operand names according their types 2021-05-31 10:56:13 +02:00
EmileRolley
be90d61dc1 fix(compiler): refactor and fix the duration division operator evaluation 2021-05-31 10:42:20 +02:00
EmileRolley
74bf3cf93d feat(lexer): add the duration division operator for french and polish syntax 2021-05-31 10:26:51 +02:00
EmileRolley
b32f0bf0a4 docs(syntax): add the duration division operator + fix the catala_en syntax highlighting 2021-05-31 10:26:51 +02:00
EmileRolley
4e53358fd6 feat(compiler): add the Runtime.IndivisableDurations exception handling 2021-05-31 10:26:51 +02:00
EmileRolley
1572244e2d fix(tests): add test case for the good utilisation of the duration division operator 2021-05-31 10:26:51 +02:00
EmileRolley
4e84f424eb feat(compiler): start to add the duration division operator 2021-05-31 10:26:51 +02:00
Denis Merigoux
4d168e2f77
Merge pull request #126 from EmileRolley/fix_division_by_zero_exn 
fix(compiler): correct the handling of the Division_by_zero exception
 2021-05-31 08:59:21 +02:00
EmileRolley
9ac9ed6f1e fix(syntax_highlighting): fix date highlighting 2021-05-30 21:06:32 +02:00
EmileRolley
a450c8f841 fix(syntax_highlighting): fix heading hightlighting 2021-05-30 20:15:37 +02:00
EmileRolley
f907431504 refactor(compiler): factorize the UncomparableDurations exception managment in Dcalc.interpreter + add unit tests 2021-05-29 20:17:22 +02:00
EmileRolley
31f1c13763 fix(compiler)!: fix the Division_by_zero managment in Dcalc.interpreter 2021-05-29 18:56:20 +02:00
EmileRolley
27bd227079 fix(tests): update the .run rule in order to manage all catala file extensions 2021-05-29 18:54:00 +02:00
Denis Merigoux
434f1863c9
Added scopelang prettyprinter 
And clarifier intermediate languages debug printing
 2021-05-29 14:15:23 +02:00
Denis Merigoux
b1b8129852
Merge pull request #124 from EmileRolley/remove_abbreviated_syntax 
refactor!: removes the abbreviated syntax
 2021-05-29 12:40:02 +02:00
EmileRolley
f5b3786d2f refactor(syntax_highlighting)!: remove the the syntax highlighting for the abbrevitated syntax 2021-05-29 11:21:35 +02:00
EmileRolley
261b61da6a fix(cli): update the doc message for the --language flag 2021-05-27 19:02:35 +02:00
EmileRolley
71799b9dfc docs: update contributions in file comments 2021-05-27 18:56:47 +02:00
EmileRolley
630750c907 fix(cli): update the doc message for the --language flag 2021-05-27 18:53:30 +02:00
EmileRolley
ec43e82d09 docs(test): update the README.md 2021-05-26 21:57:51 +02:00
EmileRolley
e4d1d5e2e6 refactor(literate): new module Literate_common used to factorize common functions of the Latex and Html modules 2021-05-26 21:39:40 +02:00
EmileRolley
2095ba8860 refactor(compiler)!: merge Cli.frontend_lang and Cli.backend_lang into an unique variant 2021-05-26 21:18:18 +02:00
EmileRolley
0ffbb9b266 refactor(tests)!: migrate test file from the abbreviated syntax to the english one 2021-05-26 21:16:29 +02:00
EmileRolley
75570864d2 fix(tests): update the .in rule fo the Makefile in order to manage all catala extensions 2021-05-26 18:19:33 +02:00
EmileRolley
a1b0601c16 refactor(driver)!: removes the `NonVerbose frontend language 2021-05-26 17:44:57 +02:00
EmileRolley
3772a22822 refactor(lexer)!: removes the abbreviated syntax lexer (lexer.ml) 2021-05-26 17:44:11 +02:00
Denis Merigoux
92b46db2df
Merge pull request #121 from EmileRolley/extends_law_text_accepted_char 
feat(compiler): allow to use the grave accent character outside code blocks and add language inference from file extension
 2021-05-26 11:38:43 +02:00
EmileRolley
866a29a643 feat(lexer): improve grave accent lexing outside code blocks 2021-05-24 23:04:43 +02:00
EmileRolley
bcb2303b13 docs(lexer): add comments in lex_law 2021-05-24 21:45:38 +02:00
EmileRolley
896d126b70 refactor(driver): use Filename.extension for language inference 2021-05-24 21:02:04 +02:00
EmileRolley
0651957442 fix(driver): add the polish language and factorize with associative lists 2021-05-24 16:24:45 +02:00
EmileRolley
4e168eff64 feat(lexer): update the polish lexer to support grave accent outside code blocks 2021-05-24 16:23:45 +02:00
EmileRolley
9ea9c3809e refactor(driver): factorize the language inference 2021-05-24 15:55:33 +02:00
EmileRolley
95db947899 feat(driver): add language inference from input file extension 2021-05-24 15:54:27 +02:00
EmileRolley
d00ba4740f feat(tests): modify the .out rule of the Makefile in order to manage other input file syntax than the abbrieviated one 2021-05-24 15:54:27 +02:00
EmileRolley
c317332218 tests(lexer): add tests for the literate programming 2021-05-24 15:54:27 +02:00
EmileRolley
c1ea39eb1b feat(lexer): add the support of grave accent outside code blocks 2021-05-24 15:54:27 +02:00
EmileRolley
2f1010d609 refactor(lexer): add the constant digit for sedlex regexps 2021-05-24 15:54:27 +02:00
EmileRolley
4e6e532ce8 feat(lexer): allows to use '`' inside law text 2021-05-24 15:54:27 +02:00
Denis Merigoux
54067f337f
Merge pull request #123 from svenski/patch-1 
Fix typo
 2021-05-23 11:53:40 +02:00
Sergiusz Bleja
48f16a67c7
Fix typo 
- delete the extra p
 2021-05-22 21:55:41 +01:00
Denis Merigoux
faedeaf3ce
Pull proof robustness modifications from ICFP21 artefact 2021-05-20 11:21:29 +02:00
Denis Merigoux
a6ba0290ed
Merge pull request #117 from wozniakpl/polish 
Polish language support
 2021-05-19 16:52:16 +02:00
Bartosz Woźniak
7d05d76825 cleanup 2021-05-17 18:14:00 +02:00
Denis Merigoux
2b86afc471
Good module name 2021-05-17 17:46:40 +02:00