Sun, 07 Mar 2010 12:47:02 +0100 |
wenzelm |
separate structure Typedecl;
|
file |
diff |
annotate
|
Sun, 07 Mar 2010 12:19:47 +0100 |
wenzelm |
modernized structure Object_Logic;
|
file |
diff |
annotate
|
Fri, 26 Feb 2010 23:07:27 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 26 Feb 2010 23:05:47 +0100 |
wenzelm |
use simplified Syntax.escape;
|
file |
diff |
annotate
|
Thu, 25 Feb 2010 09:16:16 +0100 |
boehmes |
use mixfix syntax for Boogie types
|
file |
diff |
annotate
|
Sun, 14 Feb 2010 17:46:28 +0100 |
boehmes |
optionally localize assertion labels (based on user-defined offsets) to reduce the effort of label adaptions after changes to the source program
|
file |
diff |
annotate
|
Fri, 22 Jan 2010 16:33:44 +0100 |
boehmes |
drop underscores at end of names coming from Boogie
|
file |
diff |
annotate
|
Wed, 23 Dec 2009 17:35:56 +0100 |
boehmes |
merged verification condition structure and term representation in one datatype,
|
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
|
Mon, 07 Dec 2009 09:12:16 +0100 |
boehmes |
verbose output of loaded data makes a clear distinction between new and already existing data (types, constants, axioms)
|
file |
diff |
annotate
|
Wed, 25 Nov 2009 12:28:29 +0100 |
boehmes |
respect "unique" attribute: generate distinctness axioms
|
file |
diff |
annotate
|
Fri, 13 Nov 2009 15:06:19 +0100 |
boehmes |
corrected translation of integer operators,
|
file |
diff |
annotate
|
Fri, 06 Nov 2009 21:53:20 +0100 |
boehmes |
made SML/NJ happy
|
file |
diff |
annotate
|
Fri, 06 Nov 2009 09:27:20 +0100 |
boehmes |
tuned
|
file |
diff |
annotate
|
Thu, 05 Nov 2009 14:48:40 +0100 |
boehmes |
shorter names for variables and verification conditions,
|
file |
diff |
annotate
|
Tue, 03 Nov 2009 23:44:16 +0100 |
boehmes |
proper and unique case names for the split_vc method,
|
file |
diff |
annotate
|
Tue, 03 Nov 2009 17:54:24 +0100 |
boehmes |
added HOL-Boogie
|
file |
diff |
annotate
|