| Thu, 23 Aug 2012 15:06:15 +0200 |
wenzelm |
turned 'boogie_open' into thy_load command, without any declarations of 'uses';
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 09:02:58 -0700 |
huffman |
avoid using legacy theorem names
|
file |
diff |
annotate
|
| Wed, 17 Nov 2010 09:22:23 +0100 |
boehmes |
require the b2i file ending in the boogie_open command (for consistency with the theory header)
|
file |
diff |
annotate
|
| Mon, 15 Nov 2010 00:20:36 +0100 |
boehmes |
formal dependency on b2i files
|
file |
diff |
annotate
|
| Fri, 12 Nov 2010 15:56:08 +0100 |
boehmes |
let the theory formally depend on the Boogie output
|
file |
diff |
annotate
|
| Tue, 23 Feb 2010 15:20:19 +0100 |
boehmes |
separated narrowing timeouts for intermediate and final steps
|
file |
diff |
annotate
|
| Wed, 23 Dec 2009 17:36:26 +0100 |
boehmes |
updated example
|
file |
diff |
annotate
|
| Mon, 14 Dec 2009 21:27:59 +0100 |
boehmes |
replaced blast by metis (blast hangs with polyml-5.2)
|
file |
diff |
annotate
|
| Fri, 11 Dec 2009 15:35:29 +0100 |
boehmes |
make assertion labels unique already when loading a verification condition,
|
file |
diff |
annotate
|