13 Commits

Author	SHA1	Message	Date
Jacques-Henri Jourdan	28369ea1c3	Fix sessions for nightly bench.	2023-10-22 15:49:03 +02:00
Matteo Manighetti	d31c53d53c	Move CVC4 proofs to CVC5	2023-08-28 14:31:08 +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	ecb497d98a	Merge branch 'master' into eliminate_unused_symbols	2022-06-23 07:51:51 +02:00
Claude Marche	33115df1c9	fix sessions	2022-06-22 15:39:14 +02:00
Claude Marche	8abedf035e	fix sessions	2022-06-02 17:59:27 +02:00
Jean-Christophe Filliatre	08712c15ac	micro-Python: added support for built-in function pow	2021-10-29 15:57:14 +02:00
Jean-Christophe Filliatre	d517234610	micro Python: type annotations in programs	2021-09-24 18:27:07 +02:00
Jean-Christophe Filliatre	cd46b54253	micrp Python: more types	2021-09-24 18:14:59 +02:00