528 Commits

Author	SHA1	Message	Date
James Barnes	4cc1e92436	add subsection 1a condition	2021-01-19 20:06:39 +01:00
James Barnes	b538e4d23d	add legislative text	2021-01-19 19:24:09 +01:00
Denis Merigoux	19a6a171bd	Fixes #65	2021-01-18 16:21:55 +01:00
Denis Merigoux	a6338c3a9c	Typos	2021-01-16 18:06:22 +01:00
Denis Merigoux	0f2937f37c	Fixed date algorithm once and for all in Section121?	2021-01-16 17:23:02 +01:00
Denis Merigoux	d6426a57e5	Introduced error for experiment purposes	2021-01-15 10:42:09 +01:00
Denis Merigoux	d68d5f8018	copy/paste was too quick	2021-01-14 13:33:44 +01:00
Denis Merigoux	7ee3c62169	Precisions for French example	2021-01-14 13:25:42 +01:00
Denis Merigoux	852a6412eb	Changed odate to calendarLib	2021-01-14 13:04:15 +01:00
Denis Merigoux	236c421eea	Improvements for allocations familiales	2021-01-14 11:18:04 +01:00
Denis Merigoux	74647799f6	Merge branch 'master' of github.com:CatalaLang/catala	2021-01-14 00:17:42 +01:00
Denis Merigoux	267baea28d	Fixes #58	2021-01-14 00:17:24 +01:00
James Barnes	00cefa68c2	correct variable case and legal error	2021-01-13 19:16:24 +01:00
James Barnes	ee6085127e	note to self : Catala <> Java - use enum cases directly	2021-01-13 19:04:36 +01:00
James Barnes	ef6c9a8b3b	workout total revenus depending on tax residence	2021-01-13 18:55:35 +01:00
James Barnes	2e7368b385	Revenue source enumeration	2021-01-13 18:24:08 +01:00
James Barnes	c8cedac894	add subtitle for article	2021-01-13 18:17:18 +01:00
James Barnes	a7a1a1b2c6	Add catala translation	2021-01-13 18:16:02 +01:00
James Barnes	8258a5d970	Add legislative text	2021-01-13 18:09:11 +01:00
Denis Merigoux	7a835ac5f6	Merge pull request #63 from CatalaLang/pair_programming_section_121 ... Pair programming section 121	2021-01-13 14:52:08 +01:00
Denis Merigoux	5a944a57a6	Pass old tests	2021-01-13 12:22:14 +01:00
Denis Merigoux	44d7b616a4	Improve type error messages	2021-01-13 12:04:14 +01:00
XB	a44c9076ec	CamelCase is not an OCaml concept	2021-01-12 23:13:54 -05:00
Denis Merigoux	983b347cd5	Results from the pair programming session	2021-01-12 18:02:28 +01:00
Denis Merigoux	b12768c78c	Strengthen USTC 121 implementation	2021-01-11 15:19:05 +01:00
Denis Merigoux	1b6843c6dd	Web update	2021-01-10 20:47:01 +01:00
Denis Merigoux	46121bbbd7	Debugged allocations familiales	2021-01-10 19:35:24 +01:00
Denis Merigoux	839310d5ba	Small tweak to make tutorial more climactic	2021-01-07 22:38:56 +01:00
Denis Merigoux	1494048869	Simplify code with new sugar	2021-01-06 17:33:38 +01:00
Denis Merigoux	113ca198e4	Update section121 code to make it correct	2021-01-05 16:00:42 +01:00
Denis Merigoux	4c760868b5	Fixed date algorithm	2021-01-05 14:58:44 +01:00
Denis Merigoux	f356712622	Reformat code	2021-01-05 14:48:13 +01:00
Denis Merigoux	7213f2850b	Merge branch 'master' into pair_programming_section_121	2021-01-05 14:37:30 +01:00
Denis Merigoux	933fd02484	Merge pull request #45 from CatalaLang/dev ... Ongoing Catala development	2021-01-04 14:54:11 +01:00
Louis Gesbert	3b93fc5b43	Tutorial: a few typos	2021-01-04 13:50:33 +01:00
Denis Merigoux	e94356bd0b	First working prototype of allocations familiales implementation	2021-01-04 00:13:59 +01:00
Denis Merigoux	84acb971a0	More code for allocations_familiales	2021-01-03 20:36:04 +01:00
Denis Merigoux	0482acbd01	Fixed incorrect date	2021-01-03 18:52:41 +01:00
Denis Merigoux	c6b6e82b8b	Various fixes, now passing first French tests	2020-12-31 00:28:26 +01:00
Denis Merigoux	5f58e93c6e	Implemented all aggregate desugaring	2020-12-29 23:43:00 +01:00
Denis Merigoux	ae0cb80a25	Various fixes for French tutorial	2020-12-24 16:09:40 +01:00
James Barnes	f7bd47c38d	Adapt general makefile for dual language tutorials	2020-12-24 11:37:11 +01:00
James Barnes	f0cfe89d2b	Use French number notation and € symbol for monetary ops	2020-12-24 11:12:57 +01:00
James Barnes	34094be363	create seperate folders for English and French tutorials	2020-12-24 11:12:57 +01:00
James Barnes	c2e40f88c1	Translate end of document	2020-12-24 11:12:57 +01:00
James Barnes	9e160fdc06	article 6	2020-12-24 11:12:57 +01:00
James Barnes	2eaa4dd237	Translate article 5 comments	2020-12-24 11:12:57 +01:00
James Barnes	222c3262f0	Article 5 translation	2020-12-24 11:12:57 +01:00
James Barnes	87b3b45d12	Functions translation	2020-12-24 11:12:57 +01:00
James Barnes	e5cecae952	articles 1,2 and 3 translation	2020-12-24 11:12:57 +01:00
James Barnes	97481795f0	Translate metadata explanation	2020-12-24 11:12:57 +01:00
James Barnes	2ad8dafc29	Translation of article 1 paragraph	2020-12-24 11:12:57 +01:00
James Barnes	5b8a4fff9a	Litterate programming paragragh translation	2020-12-24 11:12:57 +01:00
James Barnes	e0f8098853	init french translation + first paragraph	2020-12-24 11:12:57 +01:00
Denis Merigoux	33f62fefc0	Merge pull request #44 from jemsab/correct-typos-english-tutorial ... correct typos in English tutorial	2020-12-22 18:54:47 +01:00
James Barnes	cda45a34b3	correct typos in conclusion	2020-12-22 15:50:11 +01:00
James Barnes	d7ad0f2c20	Reference to modified variable name	2020-12-22 14:32:51 +01:00
James Barnes	31b7df38ae	correct typos in English tutorial	2020-12-22 11:43:26 +01:00
James Barnes	0cfab486d8	correct typo word teach	2020-12-22 10:22:25 +01:00
Denis Merigoux	2068a6ffe4	Better test suite terminal output	2020-12-21 16:15:42 +01:00
Denis Merigoux	606b148c74	Lots of documentation	2020-12-21 16:02:00 +01:00
Denis Merigoux	ed29103742	Finished tutorial	2020-12-18 16:40:43 +01:00
Denis Merigoux	6ac46a0b8f	Unit tests for tutorial	2020-12-18 16:22:23 +01:00
Denis Merigoux	81c464ea7e	Added labels and exceptions to surface syntax	2020-12-18 13:13:51 +01:00
Denis Merigoux	05b8a229b0	Better assertion failed message	2020-12-17 20:54:38 +01:00
Denis Merigoux	4b7e17f999	Rewrote tutorial but struct access bug	2020-12-17 20:09:33 +01:00
Denis Merigoux	1ddd46af55	Automatic unit test discovery, improved inclusion system	2020-12-11 21:17:01 +01:00
Denis Merigoux	4c219f81ff	Automatic unit test detection but needs normal include	2020-12-11 15:24:10 +01:00
Denis Merigoux	ebf14f6121	Added assertions, starting to execute section132	2020-12-10 18:11:43 +01:00
Denis Merigoux	26eff2a49f	Testing section 132	2020-12-10 16:58:32 +01:00
Denis Merigoux	0038a1ea2d	Updated example	2020-12-10 09:42:32 +01:00
Denis Merigoux	a4916208ba	amount -> money	2020-12-10 09:35:36 +01:00
Denis Merigoux	9c0a81c928	Merge branch 'master' into dev	2020-12-04 15:09:07 +01:00
Denis Merigoux	43829d65a6	Added more tests	2020-12-03 18:59:14 +01:00
Denis Merigoux	00505a9da7	Fixed newline problem!	2020-11-30 10:55:27 +01:00
Denis Merigoux	29d5389dcf	Results of the pair programming session	2020-11-24 18:00:25 +01:00
Denis Merigoux	1bb664835b	starting the pair programming	2020-11-24 15:52:09 +01:00
Denis Merigoux	32aa9096e6	Added fixmes	2020-11-12 16:51:26 +01:00
Denis Merigoux	ccdf5d88f6	Beginning to formalize US tax code section 121	2020-10-27 17:37:40 +01:00
Denis Merigoux	cdfa9038cf	Literate programming AST now tree-shaped	2020-10-04 01:25:37 +02:00
Denis Merigoux	e54bce094c	Localized files extensions, syntax highlighting for non-verbose which is now the defaul	2020-08-08 19:07:28 +02:00
jemsab	4d53dc2f9a	Harmonize spelling of accented words	2020-08-05 20:54:35 +02:00
jemsab	264096b8de	Define context for revenu net global calculation	2020-08-04 08:13:07 +02:00
jemsab	866b6ec5e5	Add totalling rule to complete article 1A CGI	2020-08-04 07:54:41 +02:00
jemsab	189bfca0a6	Change name and type of data structures and variables	2020-07-17 16:59:51 +02:00
jemsab	6aff67d9dd	Follow naming convention of structures	2020-07-11 22:36:49 +02:00
jemsab	10db92ac66	Remove superfluous text annotations	2020-07-11 22:22:50 +02:00
jemsab	efeff8bbac	Implement example article for French Tax Code (Code général des Impôts)	2020-07-11 16:22:05 +02:00
Denis Merigoux	4f8ec8191e	Implemented section 1015 under Catala	2020-05-28 15:04:24 +02:00
Denis Merigoux	7018e2ab1d	Transformed dummy example into real english example	2020-05-25 19:07:55 +02:00
Denis Merigoux	5243f7d363	Scope inclusion in declaration, scope use precondition	2020-05-18 11:29:22 +02:00
Denis Merigoux	57d48190ba	Typos	2020-05-18 09:47:13 +02:00
Denis Merigoux	982e4f5748	Added scope inclusion to tutorial	2020-05-17 23:01:07 +02:00
Denis Merigoux	1ade06a8f9	Added beginning of tutorial	2020-05-17 18:53:54 +02:00
Denis Merigoux	8e5743c6c6	Added scope inclusion in surface language syntax	2020-05-14 23:31:57 +02:00
Denis Merigoux	686669b756	Typos and removed PDF	2020-05-14 17:18:09 +02:00
Denis Merigoux	4f91e74cb5	Improved makefiles and doc	2020-05-13 14:17:41 +02:00
Denis Merigoux	ec44f0a000	Application_field -> scope	2020-05-12 18:13:54 +02:00
Denis Merigoux	d243c562a4	Fixed surface ast with optional and collection type decorators	2020-05-07 09:40:09 +02:00
Denis Merigoux	a982ec5f51	Added retrieval of whole decrets text from LegiFrance	2020-04-30 12:15:26 +02:00
Denis Merigoux	963ae01acf	Begin to include text directly from LegiFrance	2020-04-30 10:19:45 +02:00
Denis Merigoux	d3e996dd44	Added HTML backend formatting with colors	2020-04-29 11:10:56 +02:00
Denis Merigoux	51af377c46	First HTML backend	2020-04-29 09:55:49 +02:00
Denis Merigoux	0ba61d9a0d	Preparation for en version of syntax highlighting	2020-04-26 20:48:51 +02:00
Denis Merigoux	0ef7b7d624	Correct internationalization of decimal numbers and amount of money	2020-04-25 15:17:44 +02:00
Denis Merigoux	c270c5fbab	Removed optional condition on meta assertions	2020-04-25 14:21:26 +02:00
Denis Merigoux	763753415f	Typo	2020-04-23 14:10:38 +02:00
Denis Merigoux	c6cbc00cc9	Rewrote custom diff ... Not very optimized but does the job much better than the buggy OPAM package I was using	2020-04-23 11:13:27 +02:00
Denis Merigoux	e5c34946da	Reduce diff between Legifrance and code	2020-04-23 09:35:52 +02:00
Denis Merigoux	15fdc7de0e	Diff with current LegiFrance version too	2020-04-22 19:35:16 +02:00
Denis Merigoux	8158d8cd35	Small API change	2020-04-22 14:39:32 +02:00
Denis Merigoux	c8b8a729b4	Added mechanism to source-provide expiration dates	2020-04-22 14:39:32 +02:00
Denis Merigoux	33b9dbdbb1	Annotated all articles in allocations familiales implementation	2020-04-22 14:39:32 +02:00
Denis Merigoux	f01f112e28	Retrieve expiration date for articles in implementation	2020-04-22 14:39:32 +02:00
Denis Merigoux	aab7eb54a1	Begining to add LegiFrance API connection ... Added attempt at article retrieval New system	2020-04-21 19:22:42 +02:00
Denis Merigoux	5132478f87	At last a Makefile system that works	2020-04-20 19:37:16 +02:00
Denis Merigoux	f3112ad325	Changde date from builtin to parameter	2020-04-20 19:36:59 +02:00
Denis Merigoux	d53e3158a8	Makefile fixes	2020-04-20 18:47:31 +02:00
Denis Merigoux	b12ac5b5bf	Update doc	2020-04-20 09:05:40 +02:00
Denis Merigoux	a76a2a4622	Renaming, better Makefile factorization	2020-04-20 09:02:08 +02:00
Denis Merigoux	0584afb640	Local makefiles	2020-04-20 08:35:22 +02:00
Denis Merigoux	d06404bc32	English Catala example !	2020-04-19 19:56:27 +02:00
Denis Merigoux	0977ae326e	PDF now shows file location	2020-04-19 19:04:11 +02:00
Denis Merigoux	f3c8a9241d	Added manual dependency	2020-04-19 16:30:18 +02:00
Denis Merigoux	d85de8e612	Split implem in multiple files	2020-04-19 16:30:13 +02:00
Denis Merigoux	c98c748d9d	Added text fields	2020-04-17 15:53:23 +02:00
Denis Merigoux	d8c57ec28b	More doc!	2020-04-17 15:12:11 +02:00
Denis Merigoux	72bf4d01cb	Big refactoring, better pdf build reproducibility	2020-04-17 12:29:30 +02:00