1809 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Denis Merigoux	d301e0f434	Remove markdown in github for Catala files ... because it does not work?	2022-02-16 14:17:40 +01:00
Denis Merigoux	40542ea012	Update .gitattributes	2022-02-16 14:16:20 +01:00
Emile Rolley	bbf4b540eb	test(clerk): add 'tests' for clerk	2022-02-15 20:46:33 +01:00
Emile Rolley	e58c6c52b6	Merge branch 'master' into refactor-clerk-w-ninja	2022-02-15 20:36:15 +01:00
Emile Rolley	a9f949ffc9	refactor(clerk): add ninja support for remaining catala backends ... TODO: * Refactoring * Manage scope + output backends	2022-02-15 20:32:17 +01:00
Denis Merigoux	9fcc79a66f	Fix bug for encoding verification conditions from Dcalc, coming from #189	2022-02-15 17:58:18 +01:00
Denis Merigoux	19ac231cd1	Progression avec Lilya	2022-02-15 16:05:19 +01:00
Denis Merigoux	48f064ccea	Adapt translation to new i/o invariants, bug discovered	2022-02-15 11:38:56 +01:00
Denis Merigoux	cab4e5c17e	Merge branch 'master' into alain_default-option	2022-02-15 10:20:53 +01:00
Denis Merigoux	6fbff03690	Merge pull request #197 from CatalaLang/pretty_printing_scalc_lcalc ... Pretty-printing: improve Lcalc, create Scalc	2022-02-14 18:29:51 +01:00
Denis Merigoux	21c73edfc9	Link to modules in the docs	2022-02-14 18:27:29 +01:00
Denis Merigoux	1cec4b0721	Pretty-printer for scalc	2022-02-14 18:22:26 +01:00
Denis Merigoux	b25f64c3ae	Improve printing	2022-02-14 17:01:34 +01:00
Denis Merigoux	ccd90bcbf6	Display nice finish message when ending	2022-02-14 14:43:38 +01:00
Denis Merigoux	33228692b3	Correct assets	2022-02-14 14:23:16 +01:00
Emile Rolley	9f9b12578b	refactor(clerk): print a result message when tests succeed	2022-02-14 14:00:40 +01:00
Denis Merigoux	69a7465339	Merge branch 'master' into alain_default-option	2022-02-14 12:09:11 +01:00
Denis Merigoux	9a718c6ced	Format comments	2022-02-14 12:07:35 +01:00
Denis Merigoux	f2dd642041	Restore Dcalc backend for clerk as it does not seem to produce bugs anymore?	2022-02-14 12:03:35 +01:00
Denis Merigoux	cf8557a7aa	Merge branch 'master' into emile_ninja	2022-02-14 11:56:34 +01:00
Emile Rolley	4fe85a6b05	refactor(clerk): add support to reset output with ninja ... - removes unit testing setup for Ninja_utils as it's not useful right now.	2022-02-14 11:49:48 +01:00
Denis Merigoux	8e1a1ccb63	Merge pull request #196 from CatalaLang/fixup-cmdliner ... fix nix build by manually upgrading cmdliner	2022-02-14 11:37:30 +01:00
Alain	9970b48308	fix nix build by manually upgrading cmdliner	2022-02-14 11:26:59 +01:00
Denis Merigoux	4812830a25	Merge pull request #189 from CatalaLang/io-qualifiers-112-part-2 ... Implementation of scope variable visibility qualifiers	2022-02-14 10:40:02 +01:00
Denis Merigoux	a9f5495cf1	More comments for I/O	2022-02-14 10:29:17 +01:00
Denis Merigoux	a56d9f674a	visibility -> io	2022-02-14 10:17:41 +01:00
Denis Merigoux	d704998f81	Update READMEs	2022-02-13 23:40:23 +01:00
Alain	80fa3110eb	documentation + finished translating cut to hoist + copyright inside the compile_without_exceptions	2022-02-12 08:08:13 +01:00
Emile Rolley	5417a64556	fix(clerk): add the Catala command to the build output name	2022-02-11 16:24:32 +01:00
Alain	77051cadba	fmt	2022-02-11 11:40:24 +01:00
Alain	cf28a58342	cut --> hoist ... binded representation few doc	2022-02-11 11:38:18 +01:00
Alain	8834034094	disable beta-reduction	2022-02-11 09:39:01 +01:00
Denis Merigoux	e1dc36f1b1	Merge branch 'master' into io-qualifiers-112-part-2	2022-02-10 22:59:37 +01:00
Denis Merigoux	b6d9d7cf5f	Update Cmdliner with breaking changes	2022-02-10 22:57:07 +01:00
Denis Merigoux	33ad13760d	Merge branch 'master' into allocations_logement	2022-02-10 16:52:26 +01:00
Denis Merigoux	5004929a51	Fix #193 -- authored with @R1kM ... Moved no model generation flag Fixed bug for VC generation in the IfThenElse case	2022-02-10 16:49:01 +01:00
Denis Merigoux	c13e35fd85	Beginning of reglementary part	2022-02-10 16:26:32 +01:00
Denis Merigoux	a6eecf5a8a	File shuffling	2022-02-10 15:06:18 +01:00
Denis Merigoux	4850cdc8ac	Added end of legislative part	2022-02-10 15:04:55 +01:00
Denis Merigoux	edf0a9002b	Merge branch 'master' into allocations_logement	2022-02-10 14:00:45 +01:00
Emile Rolley	760930942c	docs(clerk): add comments to ninja_utils.ml	2022-02-10 12:24:35 +01:00
Emile Rolley	d9d8987160	refactor(clerk): add support to some Catala backends through ninja ... + supported backends: Interpret, Scopelang, Dcalc, Proof, Typecheck + some minor refactoring of clerk.ml	2022-02-10 12:05:20 +01:00
Denis Merigoux	a140614069	Bring IO down in Scopelang AST	2022-02-10 10:09:58 +01:00
Denis Merigoux	d401b3424c	Fixed verification conditions generation	2022-02-10 10:05:14 +01:00
Denis Merigoux	2a3e622750	Tutorial on context variables	2022-02-09 18:54:58 +01:00
Denis Merigoux	9bb858b79b	Added input/output/internal description in tutorial	2022-02-09 18:06:03 +01:00
Denis Merigoux	bddf077b05	Syntax cheat sheet	2022-02-09 17:33:58 +01:00
Denis Merigoux	e4be116ded	Add negative tests	2022-02-09 17:22:04 +01:00
Denis Merigoux	36bc25a3ce	Update assets	2022-02-09 16:09:28 +01:00
Denis Merigoux	a8733e6a61	Fix tests [skip ci]	2022-02-09 15:56:57 +01:00