EmileRolley
|
e2d7f0c57d
|
docs: modify README.md's screenshots width
|
2021-03-10 15:15:47 +01:00 |
|
EmileRolley
|
8ac31002e2
|
docs(readme): change pdf screenshot width to 100%
|
2021-03-10 15:11:47 +01:00 |
|
Emile Rolley
|
ed7a534eca
|
docs(readme): change VSCode screenshot path
|
2021-03-10 15:08:42 +01:00 |
|
EmileRolley
|
2d6add938d
|
docs(images): removes the background color from the VSCode screenshot
|
2021-03-10 15:01:43 +01:00 |
|
EmileRolley
|
f0cfe034d4
|
docs(images): update the ScreenShotVSCode with the new syntax
|
2021-03-10 14:54:24 +01:00 |
|
EmileRolley
|
383347bf00
|
refactor(syntax_highlighting): update the catala_en highlighting
|
2021-03-10 14:47:43 +01:00 |
|
EmileRolley
|
764a8fe1f8
|
fix(syntax_highlighting): syntax
|
2021-03-10 14:47:09 +01:00 |
|
EmileRolley
|
de0b1d28d3
|
refactor(syntax_highlighting): update the catala_nv highlighting
|
2021-03-10 14:38:15 +01:00 |
|
EmileRolley
|
55fa3d726f
|
fix(syntax_hilighting): syntax
|
2021-03-10 14:37:09 +01:00 |
|
EmileRolley
|
0ca2402d14
|
refactor(syntax_hilighting): update the catala_fr highlighting
|
2021-03-10 14:29:41 +01:00 |
|
EmileRolley
|
d673b7b5b9
|
refactor(syntax_highlighting): update the vscode_fr
|
2021-03-10 14:00:48 +01:00 |
|
EmileRolley
|
053bdf742f
|
docs(contributing): syntax
|
2021-03-10 11:33:51 +01:00 |
|
EmileRolley
|
98beaf850c
|
docs(contributing): update the CONTRIBUTING.md catala code examples
|
2021-03-10 11:15:36 +01:00 |
|
EmileRolley
|
86d0476b58
|
docs(examples): update the README.md catala code examples
|
2021-03-10 10:57:13 +01:00 |
|
EmileRolley
|
8f7694675a
|
Merge branch 'markdown_literate' of github.com:EmileRolley/catala into markdown_literate
|
2021-03-10 10:53:34 +01:00 |
|
EmileRolley
|
b77b3bf164
|
refactor(examples): change remaining examples syntax
|
2021-03-10 10:53:24 +01:00 |
|
Jonathan Protzenko
|
499e6e74d6
|
Something that extracts
|
2021-03-09 16:10:50 -06:00 |
|
Jonathan Protzenko
|
f14e79bf23
|
First example for Hawaii Revised Statutes
|
2021-03-09 15:34:57 -06:00 |
|
Emile Rolley
|
fe91301747
|
git: update the gitattributs in order to manage all catala files
|
2021-03-09 22:25:30 +01:00 |
|
EmileRolley
|
3f88dbe2ae
|
fix(tests): modify some of the expected test outputs because of removed trailling whitespaces
|
2021-03-09 22:08:55 +01:00 |
|
EmileRolley
|
c0a9344eca
|
refactor(tests): update tests based on the abbreviated english lexer
|
2021-03-09 22:07:31 +01:00 |
|
EmileRolley
|
e45f416be1
|
refactor(lexer): manage the new markdown syntax
|
2021-03-09 22:04:36 +01:00 |
|
EmileRolley
|
05f60b72f4
|
fix(lexer): update comments in order to keep the unicity
|
2021-03-09 21:01:24 +01:00 |
|
EmileRolley
|
ddd8864907
|
refactor(lexer): factorize the law heading exctraction in a new module : Lexer_common
|
2021-03-09 20:57:41 +01:00 |
|
EmileRolley
|
a42d0c7728
|
refactor(tests): udpates tests based on the english lexer
|
2021-03-09 20:48:35 +01:00 |
|
EmileRolley
|
304f6a27ae
|
refactor(lexer_en): manage the new markdown syntax
|
2021-03-09 20:48:00 +01:00 |
|
EmileRolley
|
f650c70261
|
refactor(tests): update tests based on the french lexer
|
2021-03-09 19:11:44 +01:00 |
|
EmileRolley
|
dd2274cd40
|
refactor(parser): add a precedence to LAW_ARTICLEs
|
2021-03-09 18:48:58 +01:00 |
|
EmileRolley
|
9a29380a8d
|
refactor(lexer_fr): simply '> #' to '>' for the markdown syntax of includes and metadata delimiters
|
2021-03-09 17:52:34 +01:00 |
|
EmileRolley
|
69817f3cd2
|
feat: add .gitattribute in order to recognize catala_fr file with markdown syntax
|
2021-03-09 17:43:30 +01:00 |
|
EmileRolley
|
8f93c4580e
|
refactor(lexer_fr): remove '@' of the LAW_TEXT rule
|
2021-03-09 17:21:30 +01:00 |
|
EmileRolley
|
b3199194e1
|
refactor(examples): change the allocation_familiales example syntax to markdown
|
2021-03-09 17:13:08 +01:00 |
|
EmileRolley
|
f20aceaa61
|
refactor(lexer_fr): modify the syntax of includes
|
2021-03-09 16:32:18 +01:00 |
|
EmileRolley
|
d486cf41a2
|
refactor(lexer_fr): modify the syntax of master file
|
2021-03-09 16:10:15 +01:00 |
|
EmileRolley
|
0512183dea
|
refactor(lexer_fr): change [' '] to \s
|
2021-03-09 11:30:35 +01:00 |
|
EmileRolley
|
6441e0c127
|
refactor(lexer_fr): modify the syntax of law articles
|
2021-03-09 10:51:43 +01:00 |
|
EmileRolley
|
2ab959e21f
|
refactor(lexer_fr): modify the syntax of law headers
|
2021-03-09 10:51:12 +01:00 |
|
EmileRolley
|
319529f357
|
refactor(lexer_fr): modify the syntax of metadata delimiters
|
2021-03-09 10:50:07 +01:00 |
|
EmileRolley
|
fe32c8fc6f
|
refactor(lexer_fr): modify code block delimiters
|
2021-03-09 10:47:50 +01:00 |
|
Denis Merigoux
|
611ef23fd1
|
Fix makefile
|
2021-03-05 19:22:37 +01:00 |
|
Denis Merigoux
|
fdb1975865
|
Link to paper
|
2021-03-05 19:19:10 +01:00 |
|
Denis Merigoux
|
baaa79c555
|
Fixes #78, as well as various improvements
|
2021-03-05 19:16:56 +01:00 |
|
Denis Merigoux
|
a0511b5885
|
Merge pull request #80 from CatalaLang/certfication_proof
Formalization and certfication of the default calculus -> lambda calculus translation
|
2021-03-03 13:50:55 +01:00 |
|
Denis Merigoux
|
7d7fe7b09d
|
Remove latex rule
|
2021-03-03 13:38:17 +01:00 |
|
Denis Merigoux
|
807f707b8a
|
Updated README
|
2021-03-03 12:32:16 +01:00 |
|
Denis Merigoux
|
1c9d2dc696
|
Killed the last suspicious admit
|
2021-03-03 12:23:16 +01:00 |
|
Denis Merigoux
|
0b8e93348a
|
Added README
|
2021-03-03 03:20:47 +01:00 |
|
Denis Merigoux
|
f342649211
|
Stabilized proofs
|
2021-03-03 03:05:58 +01:00 |
|
Denis Merigoux
|
5f144d3157
|
Proof is in an acceptable state, mission accomplished
|
2021-03-03 01:20:00 +01:00 |
|
Denis Merigoux
|
5241b0e64b
|
Finished main big lemma proof over heavy stepping
|
2021-03-03 00:52:37 +01:00 |
|