| Thu, 15 Feb 2018 12:11:00 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Fri, 12 Jan 2018 14:08:53 +0100 |
wenzelm |
isabelle update_cartouches -c;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Sat, 19 Dec 2015 11:05:04 +0100 |
haftmann |
abandoned attempt to unify sublocale and interpretation into global theories
|
file |
diff |
annotate
|
| Sat, 14 Nov 2015 08:45:52 +0100 |
haftmann |
coalesce permanent_interpretation.ML with interpretation.ML
|
file |
diff |
annotate
|
| Tue, 15 Sep 2015 17:09:13 +0200 |
nipkow |
goali -> i
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 22:08:47 +0100 |
haftmann |
offical tool
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 22:05:05 +0100 |
haftmann |
aggiornamento for "interpretation with definitions": operate uniformly on theory and locale level under the brand of "permanent interpretation"
|
file |
diff |
annotate
|
| Fri, 17 May 2013 08:19:52 +0200 |
nipkow |
replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
|
file |
diff |
annotate
|
| Thu, 16 May 2013 02:13:23 +0200 |
nipkow |
finally: acom with pointwise access and update of annotations
|
file |
diff |
annotate
|
| Sun, 07 Apr 2013 15:08:34 +0200 |
nipkow |
cleaned
|
file |
diff |
annotate
|
| Sun, 07 Apr 2013 10:06:37 +0200 |
nipkow |
cleaned
|
file |
diff |
annotate
|
| Thu, 04 Apr 2013 08:10:20 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Mon, 11 Mar 2013 12:27:31 +0100 |
nipkow |
more factorisation of Step & Co
|
file |
diff |
annotate
|
| Sun, 10 Mar 2013 18:29:10 +0100 |
nipkow |
factored out Step
|
file |
diff |
annotate
|
| Wed, 13 Feb 2013 09:04:47 +0100 |
nipkow |
tuned names
|
file |
diff |
annotate
|
| Thu, 27 Sep 2012 10:43:40 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Fri, 21 Sep 2012 03:41:10 +0200 |
nipkow |
conected CS to big-step
|
file |
diff |
annotate
|
| Sun, 16 Sep 2012 13:12:55 +0200 |
nipkow |
got rid of ad-hoc lift function
|
file |
diff |
annotate
|
| Thu, 13 Sep 2012 10:28:48 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Mon, 03 Sep 2012 15:41:06 +0200 |
nipkow |
added annotations after condition in if and while
|
file |
diff |
annotate
|
| Fri, 10 Aug 2012 17:17:05 +0200 |
nipkow |
Improved complete lattice formalisation - no more index set.
|
file |
diff |
annotate
|
| Sat, 28 Apr 2012 07:38:22 +0200 |
nipkow |
renamed Semi to Seq
|
file |
diff |
annotate
|
| Thu, 26 Jan 2012 09:52:47 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Wed, 04 Jan 2012 13:58:06 +0100 |
nipkow |
generalised type
|
file |
diff |
annotate
|
| Mon, 02 Jan 2012 11:54:21 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Mon, 02 Jan 2012 11:33:50 +0100 |
nipkow |
removed unnecessary lemmas
|
file |
diff |
annotate
|
| Sun, 01 Jan 2012 16:32:53 +0100 |
nipkow |
tuned argument order
|
file |
diff |
annotate
|
| Tue, 20 Dec 2011 10:42:33 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Fri, 16 Dec 2011 12:00:59 +0100 |
nipkow |
improved indexed complete lattice
|
file |
diff |
annotate
|
| Thu, 15 Dec 2011 09:13:23 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Sun, 27 Nov 2011 13:31:52 +0100 |
nipkow |
simplified Collecting1 and renamed: step -> step', step_cs -> step
|
file |
diff |
annotate
|
| Thu, 24 Nov 2011 19:58:37 +0100 |
nipkow |
Abstract interpretation is now based uniformly on annotated programs,
|
file |
diff |
annotate
|