89 Commits

Author	SHA1	Message	Date
Louis Gesbert	edd94dcc0e	Rename directories to match the names of the libraries they contain	2021-02-12 17:26:39 +01:00
Denis Merigoux	f2c4303f53	Update website assets make rules	2021-02-04 11:17:45 +01:00
Denis Merigoux	f685c9302f	Added test suite for compiled code	2021-02-03 10:53:21 +01:00
Denis Merigoux	b3c8b49a3b	Fixed typo	2021-02-01 22:42:58 +01:00
Denis Merigoux	c212a1e2f8	Fixed makefile	2021-02-01 20:24:50 +01:00
Denis Merigoux	5c5dbc542f	Js version of Allocations familiales	2021-02-01 20:09:16 +01:00
Denis Merigoux	aed578d6df	Dox fix	2021-01-30 18:00:49 +01:00
Denis Merigoux	647320d4aa	Benchmark, randomness of inputs, bugs fixed	2021-01-30 17:54:05 +01:00
Denis Merigoux	313ca065f4	Benchmarked the result on allocations familiales, it is fast enough	2021-01-28 23:46:39 +01:00
Denis Merigoux	617d19df24	Improved OCaml backend, made dev loop	2021-01-28 18:30:01 +01:00
Denis Merigoux	a9d415b7b9	Added map visitors to surface AST	2021-01-20 16:27:39 +01:00
Denis Merigoux	a6338c3a9c	Typos	2021-01-16 18:06:22 +01:00
Denis Merigoux	852a6412eb	Changed odate to calendarLib	2021-01-14 13:04:15 +01:00
Denis Merigoux	8a2bf4e389	Better trace	2021-01-09 21:03:32 +01:00
Denis Merigoux	06803e4170	Fixed makefile and dune_porject	2021-01-05 14:35:04 +01:00
Denis Merigoux	f966fc87d0	Added web-compatible version of the Catala interpreter	2020-12-26 17:37:45 +01:00
James Barnes	f7bd47c38d	Adapt general makefile for dual language tutorials	2020-12-24 11:37:11 +01:00
Denis Merigoux	dbfd990f95	Makefile tweaks	2020-12-21 18:26:01 +01:00
Denis Merigoux	293438ea38	Missing JS stubs	2020-12-21 18:15:53 +01:00
Denis Merigoux	73c19df068	Added the js_of_ocaml to the deps	2020-12-21 16:06:01 +01:00
Denis Merigoux	606b148c74	Lots of documentation	2020-12-21 16:02:00 +01:00
Denis Merigoux	e33ea8d55c	Finished documentation	2020-12-14 18:09:38 +01:00
Denis Merigoux	8f8d322400	Fixed makefile wrangling	2020-12-10 18:21:48 +01:00
Denis Merigoux	ebf14f6121	Added assertions, starting to execute section132	2020-12-10 18:11:43 +01:00
Denis Merigoux	902c3f8d7d	Added date and durations handling	2020-12-10 11:35:56 +01:00
Denis Merigoux	be563a24f6	Defined operators for dec and money	2020-12-09 14:51:22 +01:00
Denis Merigoux	0e7943b8f7	Fix makefile	2020-11-23 09:33:07 +01:00
Denis Merigoux	4c66a09895	Added bindlib as a dependency	2020-11-22 21:04:29 +01:00
Denis Merigoux	32800d3011	Added unionfind as a dependencu	2020-11-22 21:00:14 +01:00
Denis Merigoux	1d0517d5b8	Remove mentions to LegiFrance Catala	2020-10-04 13:02:50 +02:00
Denis Merigoux	cdfa9038cf	Literate programming AST now tree-shaped	2020-10-04 01:25:37 +02:00
Denis Merigoux	0cda3ba819	Big renaming	2020-09-12 17:03:42 +02:00
Denis Merigoux	144b1e7d0d	Added VSCode syntax highlighting!	2020-08-18 23:16:27 +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	df25d5d94d	Automated test suite!	2020-08-07 17:37:28 +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	15c1df9fa7	Add ocamlgraph dependency in the Makefile	2020-08-03 16:41:51 +02:00
jemsab	f2a33977eb	Set directory for code_general_impots	2020-07-11 16:22:05 +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	09d0aeeb57	Makefile should now build examples	2020-05-26 11:38:52 +02:00
Denis Merigoux	7018e2ab1d	Transformed dummy example into real english example	2020-05-25 19:07:55 +02:00
Denis Merigoux	962109be36	Added doc generation to website assets	2020-05-23 17:39:16 +02:00
Denis Merigoux	cd9957b8c4	Add interface and doc to api.ml	2020-05-22 23:02:48 +02:00
Denis Merigoux	1ade06a8f9	Added beginning of tutorial	2020-05-17 18:53:54 +02:00
Denis Merigoux	f3aabf5287	Field -> Scope	2020-05-14 21:19:46 +02:00
Denis Merigoux	c03f2c27f5	More README	2020-05-13 14:53:53 +02:00
Denis Merigoux	ad14eb532d	Fixed git submodule init dependency	2020-05-13 14:37:09 +02:00
Denis Merigoux	de3ddfe829	Added git submodule initialization as a dependency of pygments	2020-05-13 14:20:15 +02:00
Denis Merigoux	4f91e74cb5	Improved makefiles and doc	2020-05-13 14:17:41 +02:00
Denis Merigoux	e75b67ba99	Merge pull request #6 from kaepora/patch-1 ... Add missing dependency	2020-05-13 14:10:21 +02:00