1236 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Denis Merigoux	e2981c4ffc	Pin ocamlformat version	2022-01-13 12:20:53 +01:00
Louis Gesbert	0e1500f8f0	An attempt to simplify deps install and CI ... from the docs, the setup-ocaml@v2 github action should already handle caching...	2022-01-13 12:15:39 +01:00
Denis Merigoux	d48f0e4421	Merge pull request #177 from CatalaLang/clerk ... Clerk, a build system for Catala	2022-01-11 13:13:47 +01:00
Denis Merigoux	fa8803e297	Bad quoting for catala compiler options	2022-01-11 13:05:04 +01:00
Denis Merigoux	b2a5551961	Test folders, nice doc and messages	2022-01-11 12:51:34 +01:00
Denis Merigoux	7fc37f9af8	Added controls for Dcalc and Scopelang	2022-01-11 11:25:41 +01:00
Denis Merigoux	a963a01f60	Unit tests for examples now use clerk	2022-01-11 10:42:12 +01:00
Denis Merigoux	7a00d166f9	Update documentation for unit tests	2022-01-10 18:45:02 +01:00
Denis Merigoux	56e4adb3f7	Merge branch 'master' into clerk	2022-01-10 18:36:49 +01:00
Denis Merigoux	f8dc1494f0	Autoformatting	2022-01-10 18:36:14 +01:00
Denis Merigoux	0f54f1d2ac	Ability to reset tests	2022-01-10 18:35:41 +01:00
Denis Merigoux	2b6e7c8b98	Working prototype of clerk, the new build system for Catala	2022-01-10 17:57:58 +01:00
Denis Merigoux	fcde859d46	Merge pull request #176 from AltGr/fix-color-fmt ... Fix console formatting with colors	2022-01-10 17:46:56 +01:00
Louis Gesbert	8d059b420e	Fix console formatting with colors ... closes #174	2022-01-10 15:56:55 +01:00
Denis Merigoux	43c15177ad	Better language stats	2022-01-10 10:13:25 +01:00
Denis Merigoux	df4754b10b	Formatted asset	2022-01-10 09:33:58 +01:00
Denis Merigoux	7cac55cc0b	Updating assets and relaxing version constraints in Makefile	2022-01-05 17:38:49 +01:00
Denis Merigoux	0c17837770	Merge pull request #171 from CatalaLang/implement_170 ... Allow exceptions to a group of rules	2022-01-05 16:13:39 +01:00
Denis Merigoux	909e539cdc	Fixed all bugs	2022-01-05 15:57:18 +01:00
Denis Merigoux	82c09ee455	Fixed a bug [skip ci]	2022-01-05 15:37:34 +01:00
Denis Merigoux	3752328671	Code working but needs debugging [skip ci]	2022-01-05 10:42:46 +01:00
Denis Merigoux	9733f39653	Refactoring done except Desugared_to_scope.def_map_to_tree [skip ci]	2022-01-05 09:14:43 +01:00
Denis Merigoux	f6825668dd	Propagate labels in desugaring, not building desugared/ yet [skip-ci]	2022-01-04 18:19:15 +01:00
Denis Merigoux	e9d54e120d	Changed label scoping from scope to scope definition key [skip ci]	2022-01-03 18:39:59 +01:00
Denis Merigoux	3f41156282	Motivaing example [skip-ci]	2022-01-03 11:18:35 +01:00
Denis Merigoux	cacf605a64	Merge pull request #169 from EmileRolley/fix-odoc-gen ... Fix(build/doc): remove warnings due to .ml* files	2022-01-02 17:26:24 +01:00
Emile Rolley	397b0e1d7c	fix(build/doc): remove warnings due to .ml* files	2022-01-02 14:53:51 +01:00
Denis Merigoux	84b9e06352	Merge pull request #168 from EmileRolley/fix-pdf-build ... Fix: escape special LaTex characters	2022-01-01 17:40:55 +01:00
Emile Rolley	16f796ea19	doc(examples): add link to the website and a remark about pygmentize	2021-12-31 21:12:27 +01:00
Emile Rolley	7a62147283	fix(latex): render properly the '^' and fix the french babel usage	2021-12-31 20:50:03 +01:00
Emile Rolley	5a06d33d2d	fix(latex): escape '#' inside latex outputs + refactor pre_latexify	2021-12-31 19:47:55 +01:00
alain	98e5a9c2e2	Merge pull request #164 from CatalaLang/more_structure_in_dcalc ... Bring more structure to Dcalc	2021-12-13 14:27:29 +01:00
Denis Merigoux	9f0929b86d	Fix the final bug!	2021-12-10 17:55:24 +01:00
Denis Merigoux	f16ebf8b8b	Removed optimizations, just one weird bug missing [skip ci]	2021-12-10 17:23:14 +01:00
Denis Merigoux	e8a95db9ed	Trying to box everything but optimizations complaining	2021-12-10 16:54:51 +01:00
Denis Merigoux	00a998462a	Implementation OK, now on to debugging Bindlib [skip ci]	2021-12-10 16:30:36 +01:00
Denis Merigoux	50400c445d	Few progress	2021-12-09 23:29:49 +01:00
Denis Merigoux	c456a62cb3	Builds but with empty stubs [skip ci]	2021-12-09 22:59:39 +01:00
Denis Merigoux	3a21bec4b1	Scopelang to dcalc done [skip ci]	2021-12-09 18:42:36 +01:00
Denis Merigoux	fcf7c31279	Progress on Scopelang -> Dcalc [skip ci]	2021-12-09 13:54:10 +01:00
Denis Merigoux	d9f21e9e66	Progress	2021-12-09 11:58:42 +01:00
Denis Merigoux	6099d1e4ad	Beginning to bring more structure to Dcalc	2021-12-08 23:56:03 +01:00
Denis Merigoux	2732a87ca1	Fix CLI doc	2021-12-02 09:19:35 +01:00
Denis Merigoux	520ef75626	Merge pull request #160 from jakeisnt/add-menhirLib-dep ... add menhirLib to Nix dependencies	2021-11-29 14:03:13 +01:00
Denis Merigoux	38a0c1a5c2	Merge pull request #163 from EmileRolley/docs-readme-refont ... Docs: comestic changes for the README	2021-11-29 14:02:14 +01:00
EmileRolley	e34cec592f	docs(README): comestic changes	2021-11-29 12:33:56 +01:00
Alain	2fb80a6f8a	add CI check to nix-unstable ... rename check build-nix to build-nix-21.05	2021-11-29 11:38:01 +01:00
Alain	e09db29aa4	add a check to whenever menhirLib exists ... If it does, it add menhirLib as a dependency. Else, ignore it.	2021-11-29 11:24:03 +01:00
Denis Merigoux	82865c48da	Fix #162	2021-11-29 10:36:33 +01:00
Denis Merigoux	095198f5ac	Fix #161	2021-11-29 10:33:43 +01:00