63 Commits

Author	SHA1	Message	Date
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	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