17 Commits

Author	SHA1	Message	Date
Matteo Manighetti	7ae65be566	Upgrade sessions to use Alt-Ergo 2.6.0	2025-01-14 19:48:35 +01:00
Claude Marche	2e1d53f51b	fix sessions and CE oracles	2024-11-14 14:48:30 +01:00
MARCHE Claude	4d04b4f698	add metas for unused-dependencies on sequences ... also fix split_full that was losing metas for unused dependency	2024-10-29 16:12:46 +01:00
MARCHE Claude	9161acda8e	Add metas for unused dependencies in generated axioms	2024-10-25 18:34:29 +02:00
MARCHE Claude	7e819237a6	unused dependencies on Euclidean div/mod	2024-10-23 15:10:58 +02:00
Jacques-Henri Jourdan	28369ea1c3	Fix sessions for nightly bench.	2023-10-22 15:49:03 +02:00
Claude Marche	9451890c1f	updated sessions	2023-08-24 16:29:59 +02:00
BONNOT Paul	29c71dbd51	add a meta to mark a symbol as never removed by remove_unused* ... mark some lemmas on division of real as removable if not needed	2023-06-15 15:18:48 +00:00
Claude Marche	91a8a26fde	fix obsolete sessions and one failed session	2023-02-07 12:25:21 +01:00
Jean-Christophe Filliatre	c891d2b87f	updated proof sessions	2022-09-08 16:00:29 +02:00
Claude Marche	db96723fd9	fix sessions	2022-07-07 15:49:23 +02:00
Claude Marche	33115df1c9	fix sessions	2022-06-22 15:39:14 +02:00
Jean-Christophe Filliatre	08712c15ac	micro-Python: added support for built-in function pow	2021-10-29 15:57:14 +02:00
Claude Marche	62e1037ff1	fix sessions	2021-09-03 11:59:11 +02:00
Claude Marche	c67d119b10	fix sessions	2021-07-12 13:26:40 +02:00
Quentin Garchery	2513e6205f	Fix sessions	2021-06-10 11:55:05 +00:00
Jean-Christophe Filliatre	ee19cefd75	moved micro-C/Python examples from tests/ to examples/	2021-02-05 20:01:48 +01:00