332 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Denis Merigoux	1c8c50fec4	Merge pull request #21 from jemsab/typo ... Fix typo	2020-07-06 12:02:34 +02:00
jemsab	42ea1bc1a4	Fix typo	2020-07-03 22:23:58 +02:00
jemsab	acb0de5de9	Set directory for code_general_impots	2020-07-03 22:15:54 +02:00
jemsab	cc6d48cb26	Implement example article for French Tax Code (Code général des Impôts)	2020-07-03 20:30:17 +02:00
Denis Merigoux	c51840019e	Add surface syntax for struct literals ... Closes #16	2020-06-30 23:15:14 +02:00
Nicolas Chataing	cfa7ae9585	Merge pull request #19 from CatalaLang/scopes ... Rework of the syntax trees to match the formalization	2020-06-22 19:19:50 +02:00
Nicolas Chataing	2e20f5d28e	Remove parameter from scope definitions	2020-06-22 19:05:36 +02:00
Nicolas Chataing	13b295b309	Corrected bug	2020-06-22 16:27:35 +02:00
Nicolas Chataing	aaa9eea427	Rework of the syntax trees	2020-06-22 16:16:55 +02:00
Denis Merigoux	2c90fe6a64	Notes of meeting	2020-06-11 18:17:18 +02:00
Denis Merigoux	0d2412bedd	Another typo	2020-06-11 16:02:09 +02:00
Denis Merigoux	1cb6055e8b	Typo	2020-06-11 16:00:08 +02:00
Denis Merigoux	1d506e1594	Added scopes test to see things more clearly	2020-06-11 15:58:54 +02:00
Nicolas Chataing	2d60c4a4d5	Merge pull request #18 from CatalaLang/bool_literals ... Add boolean literals parsing	2020-06-09 19:04:47 +02:00
Nicolas Chataing	0f84f6b137	Reorganize tests folder	2020-06-09 18:57:13 +02:00
Nicolas Chataing	f8c8c51fdf	Add boolean literals parsing	2020-06-09 17:13:25 +02:00
Denis Merigoux	cfd5a8924f	Get scope context conditions right	2020-06-07 13:45:26 +02:00
Denis Merigoux	0d0e4459f7	Added condition context parameters	2020-06-07 13:28:13 +02:00
Denis Merigoux	03b019f102	More readmes	2020-06-02 10:26:30 +02:00
Denis Merigoux	4f8ec8191e	Implemented section 1015 under Catala	2020-05-28 15:04:24 +02:00
Denis Merigoux	4daca51ee3	Updated README	2020-05-26 15:58:41 +02:00
Denis Merigoux	9307737b90	Setuptools	2020-05-26 15:52:11 +02:00
Denis Merigoux	f1fa143f6e	Python3-dev	2020-05-26 15:48:05 +02:00
Denis Merigoux	f50badef33	Yaml syntax	2020-05-26 15:45:00 +02:00
Denis Merigoux	85c2d2eb8a	Retry CI	2020-05-26 15:38:32 +02:00
Denis Merigoux	9492724ec4	Leave CI debugging for later	2020-05-26 14:53:53 +02:00
Denis Merigoux	e4af1b7baf	Install virtualenv via pip on CI	2020-05-26 14:31:54 +02:00
Denis Merigoux	4c3e1ec367	Opam environment before building	2020-05-26 12:37:01 +02:00
Denis Merigoux	4410b693f9	Attempt to cache dependencies	2020-05-26 12:02:49 +02:00
Denis Merigoux	09d0aeeb57	Makefile should now build examples	2020-05-26 11:38:52 +02:00
Nicolas Chataing	9fe51225f8	Merge pull request #3 from CatalaLang/ir ... Rework of the desugared ast and lambda reprentation	2020-05-26 11:30:35 +02:00
Nicolas Chataing	44d95bce19	Merge branch 'master' into ir	2020-05-26 11:11:10 +02:00
Denis Merigoux	13545740e8	Bump OCaml version	2020-05-26 10:41:21 +02:00
Nicolas Chataing	7c34522d9f	add better default logic representation to the lambda calculus	2020-05-26 10:12:58 +02:00
Nicolas Chataing	6a3351a5da	Desagared ast modification	2020-05-26 10:02:53 +02:00
Nicolas Chataing	b6479399df	Merge files from master	2020-05-26 09:58:16 +02:00
Denis Merigoux	fc238aafb7	Use rsync for correct results	2020-05-25 19:13:09 +02:00
Denis Merigoux	7018e2ab1d	Transformed dummy example into real english example	2020-05-25 19:07:55 +02:00
Denis Merigoux	2ee5bc49fa	Doc for pos and errors	2020-05-25 17:48:02 +02:00
Denis Merigoux	962109be36	Added doc generation to website assets	2020-05-23 17:39:16 +02:00
Denis Merigoux	9e6c1cc9ee	Documented legifrance_catala	2020-05-23 17:35:40 +02:00
Denis Merigoux	ca6fd2173f	Finished cleanly isolating the API module	2020-05-22 23:33:40 +02:00
Denis Merigoux	cd9957b8c4	Add interface and doc to api.ml	2020-05-22 23:02:48 +02:00
Denis Merigoux	5c64b330e8	Only look into src directory	2020-05-22 19:58:01 +02:00
Denis Merigoux	8d6978a610	Added scope inclusion condition in scope decl	2020-05-19 14:30:52 +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	9fa20a160f	Correct month	2020-05-17 19:21:20 +02:00
Denis Merigoux	e071fbd40f	Copy the right file	2020-05-17 19:13:50 +02:00