16 Commits

Author	SHA1	Message	Date
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
Claude Marche	22c68ef4fe	update sessions	2022-05-24 11:34:40 +02:00
Nightly Build	9e5eb47599	Vc: keep sp_if's splittable (and update sessions)	2022-05-02 18:29:28 +02:00
Claude Marche	e7efe033be	fix sessions	2021-10-30 11:11:24 +02:00
Claude Marche	62e1037ff1	fix sessions	2021-09-03 11:59:11 +02:00
Claude Marche	62d925e898	fix sessions	2021-06-25 10:26:57 +02:00
Jean-Christophe Filliatre	4a7b0a9c13	fixed queue_two_lists refinement	2020-03-13 17:00:37 +01:00
Guillaume Melquiond	dada254134	Update sessions.	2020-02-11 23:47:40 +01:00
Cláudio Belo Lourenço	a931ddb5a5	Sessions updated. ... In most cases the proof in CVC4 takes one step more than before due to the why3 string built-in type. In a few cases the proof was updated.	2019-10-29 22:37:11 +01:00
Sylvain Dailler	336a478250	Update session, ce-bench and coq files for "VC" -> "vc" in goal name	2019-10-11 21:01:43 +02:00
Sylvain Dailler	32d7cfe8de	Rerun all sessions to update the file formats ... This also updates some of the "VC name" to "name'VC" that were never updated.	2019-09-24 17:58:31 +02:00
Jean-Christophe Filliatre	d8061602fa	queue_two_lists is indeed an implementation of queue.Queue	2019-06-05 18:01:49 +02:00
zapashcanon	d84b9cc975	add new example: implementation of queue.Queue	2019-06-05 17:52:22 +02:00