369 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Nicolas Chataing	f356fd9a1e	Rework defaut calculus	2020-11-01 09:31:36 +01:00
Nicolas Chataing	9e19b38cb4	Include catala formalisation	2020-10-13 14:59:41 +02:00
Denis Merigoux	40a4f901d1	Removed Menhir warnings!	2020-10-05 23:45:17 +02:00
Denis Merigoux	899679b86c	Much better syntax error messages	2020-10-05 00:39:29 +02:00
Denis Merigoux	ce3829fc77	All error messages complete	2020-10-04 23:52:55 +02:00
Denis Merigoux	e110fec399	More error messages	2020-10-04 16:49:45 +02:00
Denis Merigoux	1d0517d5b8	Remove mentions to LegiFrance Catala	2020-10-04 13:02:50 +02:00
Denis Merigoux	780c173b25	Add some error messages	2020-10-04 01:52:58 +02:00
Denis Merigoux	cdfa9038cf	Literate programming AST now tree-shaped	2020-10-04 01:25:37 +02:00
Denis Merigoux	5aa596c0a8	Merge pull request #27 from CatalaLang/dev ... Backend refactoring	2020-09-13 19:02:01 +02:00
Denis Merigoux	3291d108ec	Bugfixing	2020-09-13 18:48:35 +02:00
Denis Merigoux	f014c589ca	Completely rewrote interpreter, builds	2020-09-13 18:15:57 +02:00
Denis Merigoux	e7dfa41d1a	Refactoring up to typechecker, building up to interpretation	2020-09-13 01:05:06 +02:00
Denis Merigoux	7ba05c5633	Refactoring done up to desugaring	2020-09-13 00:33:56 +02:00
Denis Merigoux	67fb8df484	Beginning to refactor the UID system	2020-09-12 20:22:47 +02:00
Denis Merigoux	0cda3ba819	Big renaming	2020-09-12 17:03:42 +02:00
Nicolas Chataing	0c45c47097	Merge pull request #26 from CatalaLang/func ... Functions revisited	2020-08-23 20:57:51 +02:00
Denis Merigoux	709ba34ea0	Update apt for CI	2020-08-18 23:53:09 +02:00
Denis Merigoux	144b1e7d0d	Added VSCode syntax highlighting!	2020-08-18 23:16:27 +02:00
Nicolas Chataing	6acf49b6fe	Rewrite merge_var_redefs function	2020-08-09 23:50:00 +02:00
Nicolas Chataing	26e68e6f7a	Merge from master	2020-08-09 23:21:13 +02:00
Nicolas Chataing	78c7b653ec	Correct function handling	2020-08-09 23:01:42 +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
Denis Merigoux	c97f9f4104	Fixed workflow	2020-08-08 18:34:27 +02:00
Denis Merigoux	0f43975182	Cleaned lexing code and rationalized non-verbose syntax	2020-08-08 18:32:44 +02:00
Denis Merigoux	df25d5d94d	Automated test suite!	2020-08-07 17:37:28 +02:00
Nicolas Chataing	22062434e4	Add EDefault to terms, and replace default_term by term in the scope language	2020-08-07 15:56:32 +02:00
Denis Merigoux	03a7827dda	Better error handling	2020-08-07 15:29:52 +02:00
Denis Merigoux	1b0da2404e	Blue for spans!	2020-08-07 12:56:34 +02:00
Denis Merigoux	fd681078aa	Restructured error handling	2020-08-07 12:51:51 +02:00
Denis Merigoux	351f1f4cc1	Improved error messages	2020-08-07 10:57:57 +02:00
Nicolas Chataing	80eac0d406	Merge pull request #25 from CatalaLang/func ... Add function support	2020-08-06 21:04:30 +02:00
Nicolas Chataing	70c6a833e2	Add function test	2020-08-06 20:59:25 +02:00
Nicolas Chataing	785685a9f7	Add function support	2020-08-06 20:57:19 +02:00
Nicolas Chataing	f801a164e6	Add option to execute scope; the command 'catala run -s S' executes scope S	2020-08-06 15:44:51 +02:00
Nicolas Chataing	67cedd7e4b	[WIP] Add function to the language	2020-08-06 15:18:40 +02:00
Denis Merigoux	d162bbc9f0	Merge pull request #23 from jemsab/cgi-total-rule ... Cgi total rule	2020-08-06 09:50:02 +02:00
jemsab	4d53dc2f9a	Harmonize spelling of accented words	2020-08-05 20:54:35 +02:00
Nicolas Chataing	5b7314d830	Merge branch 'master' of github.com:CatalaLang/catala into master	2020-08-05 14:39:06 +02:00
Nicolas Chataing	e5fa84c55f	Fix subscope merge back	2020-08-05 14:38:03 +02:00
Denis Merigoux	77c88e87f0	Error in doc comment	2020-08-05 12:24:07 +02:00
Nicolas Chataing	974769c013	Fix bug in the interpreter	2020-08-05 11:06:20 +02:00
Denis Merigoux	00286605dc	Merge pull request #22 from CatalaLang/proto ... Prototype implementation featuring only the core default calculus and scope language	2020-08-04 15:02:49 +02:00
Nicolas Chataing	90e2442729	Migrate printing code into debug.ml	2020-08-04 13:25:48 +02:00
Nicolas Chataing	d93bdd2fca	Show text for conflict errors	2020-08-04 12:53:43 +02:00
Nicolas Chataing	02813cf4ba	Add position lookup for uids	2020-08-04 12:44:56 +02:00
Nicolas Chataing	623abf1a4e	Change ~= to |= for the programmative style	2020-08-04 12:38:49 +02:00
Nicolas Chataing	32527855f0	Clean language options	2020-08-04 12:29:25 +02:00
Nicolas Chataing	60aa306a3f	Code cleanup	2020-08-04 12:16:28 +02:00
Nicolas Chataing	a576682fac	Change printing to show idents instead of uids	2020-08-04 10:54:17 +02:00