11 Commits

Author	SHA1	Message	Date
Jacques-Henri Jourdan	28369ea1c3	Fix sessions for nightly bench.	2023-10-22 15:49:03 +02:00
BONNOT Paul	2444f6c60a	Remove axiom CompatOrderMult from Int theory of CVCx and Z3 drivers.	2023-09-07 18:05:01 +00: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
David Ewert	5f54fca95f	Add "remove_unused:dependency" to int.ComputerDivision	2022-09-21 20:15:46 +00:00
Jean-Christophe Filliatre	f95a5214f6	fixed Python example and proof session	2022-09-09 14:56:11 +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
Jean-Christophe Filliatre	c999f70d56	bench of Python/Micro-C files ... added sessions for Python examples	2021-07-08 14:45:49 +02:00