3421 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Louis Gesbert	3e7a2a34ab	More printer improvements	2023-05-02 11:49:09 +02:00
Louis Gesbert	cec52d47de	Printer: flatten "else if"	2023-05-02 11:49:09 +02:00
Louis Gesbert	8a2b50289e	Printer: add some missing boxes	2023-05-02 11:49:09 +02:00
Denis Merigoux	9c1b51b1a1	Fix(plugins/json_schema): don't translate the TUnit type into "null" anymore (#461)	2023-05-02 10:59:39 +02:00
Denis Merigoux	c6bafe8896	Update assets and tests	2023-05-02 10:58:45 +02:00
adelaett	ce5b76f85c	Update lock files	2023-05-01 00:26:55 +00:00
Denis Merigoux	3bc5b188ea	french_law.js on git compiled with dev profile	2023-04-28 14:49:45 +02:00
Denis Merigoux	8d7666ee92	Interleave assertions with rules from desugared to scopelang	2023-04-28 14:15:43 +02:00
Emile Rolley	8128c47fa4	assets(french_law): udpate the french_law.js lib	2023-04-28 13:41:53 +02:00
Emile Rolley	def003af8d	fix(plugins/json_schema): don't translate the TUnit type into "null" anymore	2023-04-28 13:41:25 +02:00
Denis Merigoux	d70886431d	Fix false positive found by proof mode with an assertion clearly stating the impossible situations	2023-04-28 10:39:19 +02:00
Denis Merigoux	e6bccd716d	Fix a Catala program bug thanks to Proof mode!	2023-04-27 18:03:27 +02:00
Denis Merigoux	a954942fd9	Bug in the law found with proof mode?	2023-04-27 16:58:40 +02:00
Denis Merigoux	7788bf9e73	Error message when two same states	2023-04-27 15:37:11 +02:00
Denis Merigoux	41d74bc673	Correctly hide function body on the trace	2023-04-27 15:07:04 +02:00
Denis Merigoux	9b056f3ca1	Update assets and fix errors after rebase	2023-04-27 12:18:50 +02:00
Denis Merigoux	14dd879cc5	Restore tests, update assets	2023-04-27 12:14:27 +02:00
Denis Merigoux	e920529fad	Fix with informations by @JusBanuls	2023-04-27 12:14:16 +02:00
Denis Merigoux	9b06bb66db	Fix tests and restore CI	2023-04-27 12:14:16 +02:00
Denis Merigoux	1b35d6f064	Update allocations_familiales to correct legislative wording	2023-04-27 12:13:50 +02:00
Denis Merigoux	3e61bd633c	Update BMAF	2023-04-27 12:13:50 +02:00
Denis Merigoux	26078d2882	Plus d'informations	2023-04-27 12:13:50 +02:00
Denis Merigoux	7451516ba2	Beginning to incorporate remarks by DHUP	2023-04-27 12:13:50 +02:00
Denis Merigoux	ada8e4941a	Delete variable EVERYWHERE	2023-04-27 12:13:50 +02:00
Denis Merigoux	e7f56b4310	Removed useless variable	2023-04-27 12:13:19 +02:00
Denis Merigoux	40af4d3a46	Disable optimization that was messing with the Proof backend	2023-04-27 12:13:18 +02:00
Denis Merigoux	7517894f77	Restore positions in test	2023-04-27 12:10:47 +02:00
Denis Merigoux	28577c7a5e	Fix tests with @JusBanuls	2023-04-27 12:10:47 +02:00
Denis Merigoux	25d6178d42	Add training lines	2023-04-27 12:10:47 +02:00
JusBanuls	537acd320d	Ajouts de plusieurs tests et correction de bugs	2023-04-27 12:10:14 +02:00
Denis Merigoux	4f7564b079	Improve editor parsable errors	2023-04-27 12:09:22 +02:00
Denis Merigoux	75c2a24b98	Changed position formatting	2023-04-27 12:09:22 +02:00
Denis Merigoux	fcb5561b24	Coded message format adapted to editors	2023-04-27 12:09:22 +02:00
Denis Merigoux	ea4d6dcafe	Fixes by Justine	2023-04-27 12:09:22 +02:00
Denis Merigoux	19b33eaa96	Add lint and fix bugs related	2023-04-27 12:09:22 +02:00
Denis Merigoux	2d34fe7f27	Added a test related to #449	2023-04-27 12:09:22 +02:00
Denis Merigoux	b2beec0bcc	Fixing #444 and #445	2023-04-27 12:09:22 +02:00
Denis Merigoux	dd3965c639	Fix typo	2023-04-27 12:08:00 +02:00
Denis Merigoux	3f1ed227d5	Fix small heading issues	2023-04-27 12:08:00 +02:00
JusBanuls	891ebbddff	Ajout d'un test AL locatif pour Saint-Pierre-et-Miquelon	2023-04-27 12:08:00 +02:00
Denis Merigoux	0338418a6f	Allow use of if_then_else beyond booleans in proof backend (#460)	2023-04-24 17:33:15 +02:00
Louis Gesbert	6263832722	Fix without exceptions (#412)	2023-04-24 16:44:33 +02:00
Louis Gesbert	49bd5b1915	Cleanup type of Expr.make_app	2023-04-24 15:14:54 +02:00
Louis Gesbert	d7d8bab9b8	Printer: rainbow parens (rewritten)	2023-04-24 14:56:19 +02:00
adelaett	ba6fb5d405	fix documentation	2023-04-24 14:00:12 +02:00
Aymeric Fromherz	c6e478c9dd	[Proof Backend] Use Z3's native encoding for ite	2023-04-24 12:11:55 +02:00
adelaett	c983099e59	Update lock files	2023-04-24 00:23:18 +00:00
Denis Merigoux	eb7be3581a	Update assets	2023-04-21 14:59:02 +02:00
Denis Merigoux	081e60d2c6	Restore tests due to restored optimizations for default terms	2023-04-21 14:55:56 +02:00
Denis Merigoux	32ee2a0c72	Various small fixes to resolve conversations	2023-04-21 14:54:07 +02:00