435 Commits

Author	SHA1	Message	Date
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	75c2a24b98	Changed position formatting	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	081e60d2c6	Restore tests due to restored optimizations for default terms	2023-04-21 14:55:56 +02:00
Denis Merigoux	22b24a8634	Fusion of all optimizations done correctly	2023-04-21 12:32:09 +02:00
Denis Merigoux	f9a6644da3	Cleanliness and aesthetics	2023-04-18 15:45:30 +02:00
Denis Merigoux	4a1efcaa12	Restore tests and update assets	2023-04-18 14:46:25 +02:00
Denis Merigoux	0ec75ad589	Merge branch 'master' into adelaett-withoutexceptionsfix	2023-04-18 14:37:02 +02:00
Denis Merigoux	c5ba3e72fe	Restore CI	2023-04-18 09:59:24 +02:00
Denis Merigoux	ecccb5fb91	Last changes	2023-04-18 09:59:24 +02:00
adelaett	5d1f293fa0	finished looking at all tests	2023-04-14 18:27:20 +02:00
adelaett	70679b529b	adding some messages in new test files	2023-04-14 18:24:09 +02:00
adelaett	5e46253140	removed one remaning debuging print, and updating all the tests	2023-04-14 17:59:08 +02:00
adelaett	bc6e149618	same	2023-04-14 17:35:28 +02:00
adelaett	6f7d3422a4	more tests	2023-04-14 17:03:15 +02:00
adelaett	f3a5cbc5a8	test_typing err6 better error message	2023-04-14 16:37:27 +02:00
adelaett	a11ec6020e	commit not passing test about closure conversion	2023-04-14 16:34:37 +02:00
adelaett	e5d518af69	more fixing	2023-04-14 16:28:37 +02:00
adelaett	5f3584c94d	fixing more tests	2023-04-14 16:25:22 +02:00
adelaett	91805bfa43	fixing tests	2023-04-14 16:22:39 +02:00
adelaett	a9809b69a9	Merge branch 'master' into adelaett-withoutexceptionsfix	2023-04-14 11:19:58 +02:00
Louis Gesbert	e19e4af12d	Vastly improve the printer ... * fix lots of Format boxes * add parens based on precedence in the printer * fix interaction of Format and the colored line debug tags	2023-04-13 18:15:22 +02:00
adelaett	43c1fd9b7e	adding tests	2023-04-12 11:38:12 +02:00
alain	ec40de83fc	Merge branch 'master' into adelaett-withoutexceptionsfix	2023-04-06 13:57:22 +02:00
Denis Merigoux	ad02a0959d	Merge branch 'master' into aides_logement_outre_mer	2023-04-03 14:12:10 +02:00
Denis Merigoux	d147238088	Apply suggestions by @altgr	2023-04-03 13:42:14 +02:00
Denis Merigoux	e80143b3ca	Last linting pass and update tests	2023-03-31 17:56:45 +02:00
Denis Merigoux	5673708f36	Update assets	2023-03-31 15:34:51 +02:00
Denis Merigoux	3d86a12261	Update error messages	2023-03-31 14:01:04 +02:00
Denis Merigoux	04629f58cd	Merge branch 'master' into aides_logement_outre_mer	2023-03-30 15:14:06 +02:00
adelaett	6dee3874cc	Merge branch 'master' into adelaett-withoutexceptionsfix	2023-03-30 10:50:32 +02:00
Aymeric Fromherz	b85a199daa	Add support for let .. in constructions in Z3 backend (#434)	2023-03-29 06:41:40 +09:00
Aymeric Fromherz	8780a48312	Correct test invocations	2023-03-28 22:51:03 +09:00
Aymeric Fromherz	d0ef61219f	Add expected outputs for tests	2023-03-28 13:03:44 +09:00
Aymeric Fromherz	8fdd39d15a	Add negative test for let_in	2023-03-28 13:01:41 +09:00
Aymeric Fromherz	71ebd3a2c7	Test for Z3 let_in	2023-03-28 12:49:14 +09:00
Denis Merigoux	b801cccd15	Update tests	2023-03-21 13:32:38 +01:00
Denis Merigoux	aa8ab3be3d	Merge branch 'master' into c_backend	2023-03-21 12:14:10 +01:00
Denis Merigoux	b2d02f4b0f	Fixed all tests	2023-03-17 18:44:19 +01:00
Denis Merigoux	7f705beb07	Merge branch 'master' into aides_logement_outre_mer	2023-03-17 17:52:10 +01:00
Raphaël Monat	d5cd5b206a	Show conflicting date rounding mode declarations when they happen	2023-03-16 18:51:01 +01:00
Raphaël Monat	8981b21edb	Add test for date rounding option conflict	2023-03-16 17:20:14 +01:00
Raphaël Monat	5cf6bdffb8	Add tests for date rounding option	2023-03-16 17:20:13 +01:00
Denis Merigoux	74df4ee988	Merge branch 'master' into aides_logement_outre_mer	2023-03-14 14:10:09 +01:00
Louis Gesbert	6388a4b79f	Improved some error messages (cyclic defs, def positions)	2023-03-08 15:27:48 +01:00
Denis Merigoux	bfc827296c	Merge branch 'master' into aides_logement_outre_mer	2023-03-06 14:09:51 +01:00
Louis Gesbert	97e0cfca6f	Improvements on function arguments refactoring ... - simplify naming in the french law examples - make messages yet more precise on function arguments mismatch	2023-03-02 19:11:21 +01:00
Louis Gesbert	fc5910e093	Fix multi-argument scopedefs, improve error message positions ... This adds a few positions to the parser, and tweaks some others, vastly improving the reporting of some errors (inconsistent functions definitions, but also exceptions cycles, etc.)	2023-02-28 15:53:50 +01:00