1793 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Denis Merigoux	916d43ae74	Refactor impayé code, otherwise some variables are undefined	2022-03-21 11:50:01 +01:00
Denis Merigoux	add0b4e16e	Refactoring and typechecking	2022-03-21 11:19:57 +01:00
lIlIlIlIIIIlIIIllIIlIllIIllIII	6be8d66324	arretés 3 et 4 et 6 et 9	2022-03-18 12:01:31 +01:00
lIlIlIlIIIIlIIIllIIlIllIIllIII	98d82f7a7e	Progress, with definition of tabular form using pattern matching	2022-03-18 11:45:06 +01:00
lIlIlIlIIIIlIIIllIIlIllIIllIII	f178ac5f08	Progress, with definition of tabular form using only exceptions/labels	2022-03-18 11:37:33 +01:00
Lilya Slimani	ccba78744a	Articles Arrêté 27 septembre 2012	2022-03-18 11:36:18 +01:00
Lilya Slimani	6c1fb233f0	Article 8 décret 27 septembre 2019	2022-03-18 11:02:19 +01:00
Denis Merigoux	01bbf1230e	Merge branch 'master' into allocations_logement	2022-03-17 17:55:47 +01:00
Denis Merigoux	f2307b88d3	Merge pull request #234 from CatalaLang/select_scope_proof ... Select a single scope for the proof mode	2022-03-17 17:55:36 +01:00
Denis Merigoux	6722cf9647	Fix bug	2022-03-17 17:52:26 +01:00
Denis Merigoux	a7bdc0a114	Add condition for focusing the proof mode on a single scope	2022-03-17 17:44:24 +01:00
Denis Merigoux	bc8bec7ca7	Remove duplicate code due to Catala code factoring	2022-03-17 14:12:34 +01:00
Denis Merigoux	5ba63d15b1	Correct low and high rounding	2022-03-17 13:31:47 +01:00
Denis Merigoux	7872e8dac3	Typo in lexer	2022-03-17 13:23:07 +01:00
Denis Merigoux	e717353ed7	Implement rounding	2022-03-17 13:22:16 +01:00
Denis Merigoux	bb33d05c4a	Typo in lexer	2022-03-17 13:22:07 +01:00
Denis Merigoux	8f68e2b262	Merge branch 'master' into allocations_logement	2022-03-17 13:15:24 +01:00
Denis Merigoux	52680bdca7	Merge pull request #233 from CatalaLang/rounding_builtin ... Adding a money rounding builtin to Catala	2022-03-17 13:15:01 +01:00
Denis Merigoux	a3e9dfa534	Fix wrong round definitions in runtime	2022-03-17 13:09:57 +01:00
Denis Merigoux	80dea233d7	Merge pull request #232 from isovector/patch-1 ... Fix typos in English tutorial	2022-03-17 12:37:16 +01:00
Denis Merigoux	f312c6bc6a	Documentation in syntax cheat sheet	2022-03-17 12:35:03 +01:00
Denis Merigoux	cdac6de9fe	Implement the round money builtin	2022-03-17 12:30:14 +01:00
Denis Merigoux	66244946c5	Merge branch 'master' into allocations_logement	2022-03-17 11:43:20 +01:00
Sandy Maguire	8bc3a87376	Fix typos in English tutorial	2022-03-16 18:07:19 -07:00
lIlIlIlIIIIlIIIllIIlIllIIllIII	84d336b49d	repairing tests	2022-03-16 14:54:38 +01:00
lIlIlIlIIIIlIIIllIIlIllIIllIII	fcfe683c50	added two tests with lilya & alain ... fixed typechecking	2022-03-16 14:47:05 +01:00
Denis Merigoux	5663c616fd	Merge pull request #230 from CatalaLang/afromher_z3_2 ... [Z3encoding] Extend support for enumerations	2022-03-16 12:22:51 +01:00
lIlIlIlIIIIlIIIllIIlIllIIllIII	b8d65f9f29	pair programming with alain & lilya	2022-03-16 12:22:32 +01:00
Denis Merigoux	9b35cfcf7d	Merge branch 'master' into afromher_z3_2	2022-03-16 12:18:01 +01:00
Denis Merigoux	c47ce263b5	Merge pull request #228 from CatalaLang/afromher_z3 ... [Z3encoding] Basic support for arrays	2022-03-16 12:17:31 +01:00
Denis Merigoux	041d47bf06	Merge pull request #229 from CatalaLang/fix_just_logging ... Fix logging operator location for default justifications	2022-03-16 12:05:02 +01:00
Aymeric Fromherz	cb36b9d72f	[Z3backend] Bad unit tests for EInj node	2022-03-16 12:04:31 +01:00
Aymeric Fromherz	d758170cde	[Z3backend] Good unit tests for EInj node	2022-03-16 12:03:24 +01:00
Aymeric Fromherz	97c0211bdc	[Z3encoding] Support for unit literal	2022-03-16 12:01:21 +01:00
Denis Merigoux	bba5e3afea	Only print logging in Scopelang if debug	2022-03-16 12:00:36 +01:00
Aymeric Fromherz	b00d270df7	[Z3backend] Add support for EInj nodes	2022-03-16 12:00:19 +01:00
Denis Merigoux	c59451751b	Fix logging operator location for default justifications	2022-03-16 11:44:34 +01:00
Aymeric Fromherz	e3f3704be9	comment typo	2022-03-16 11:35:13 +01:00
Aymeric Fromherz	148afda523	Counterexamples generation for arrays	2022-03-16 11:28:03 +01:00
Aymeric Fromherz	bb57abf750	Negative tests for array length encoding	2022-03-16 11:23:36 +01:00
Aymeric Fromherz	123541dc34	Add positive test for array length	2022-03-16 11:21:54 +01:00
Aymeric Fromherz	fb6c18763f	Fix encoding of hypotheses into Z3	2022-03-16 11:20:20 +01:00
lIlIlIlIIIIlIIIllIIlIllIIllIII	1f0518a241	fixing typos	2022-03-16 10:42:35 +01:00
Denis Merigoux	c936e7b6ed	Reshuffle code, make it work, correct a few yes/no inversion bugs	2022-03-15 19:47:41 +01:00
Aymeric Fromherz	f6ad6bbd2f	Encode that an array length is always positive	2022-03-15 18:52:02 +01:00
Denis Merigoux	3780af59f5	Merge branch 'master' into allocations_logement	2022-03-15 18:44:49 +01:00
Aymeric Fromherz	fb924c50e5	Encode the length of arrays into Z3	2022-03-15 18:43:11 +01:00
Denis Merigoux	f3cf8ae3e4	Merge pull request #227 from CatalaLang/afromher_z3 ... Proof platform: Better error message when Z3 encoding not supported, and extend GetYear support	2022-03-15 18:14:50 +01:00
Aymeric Fromherz	4b1ace2739	[Z3Backend] Support GetYear equality comparison	2022-03-15 18:09:56 +01:00
Aymeric Fromherz	d760d883a6	[Z3encoding] Print variable name when encoding is not supported	2022-03-15 18:09:33 +01:00