| Tue, 20 Aug 2013 11:39:53 +0200 |
krauss |
renamed theory Mrec to Legacy_Mrec, no longer included by default
|
file |
diff |
annotate
|
| Fri, 28 Dec 2012 10:25:59 +0100 |
haftmann |
code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
|
file |
diff |
annotate
|
| Mon, 13 Sep 2010 14:54:05 +0200 |
haftmann |
added Imperative HOL overview
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 09:56:59 +0200 |
haftmann |
checking Scala_imp
|
file |
diff |
annotate
|
| Mon, 26 Jul 2010 11:10:57 +0200 |
haftmann |
reactivated Scala check
|
file |
diff |
annotate
|
| Sat, 24 Jul 2010 18:08:43 +0200 |
haftmann |
temporarily deactivating check for Scala
|
file |
diff |
annotate
|
| Fri, 16 Jul 2010 15:28:22 +0200 |
haftmann |
first roughly working version of Imperative HOL for Scala
|
file |
diff |
annotate
|
| Wed, 14 Jul 2010 17:15:58 +0200 |
haftmann |
repaired some implementations of imperative operations
|
file |
diff |
annotate
|
| Wed, 14 Jul 2010 16:45:30 +0200 |
haftmann |
part of pervasive test
|
file |
diff |
annotate
|
| Wed, 14 Jul 2010 16:13:14 +0200 |
haftmann |
avoid export_code ... file -
|
file |
diff |
annotate
|
| Mon, 12 Jul 2010 16:05:08 +0200 |
haftmann |
spelt out relational framework in a consistent way
|
file |
diff |
annotate
|
| Thu, 08 Apr 2010 08:17:27 +0200 |
bulwahn |
added imperative SAT checker; improved headers of example files; adopted IsaMakefile
|
file |
diff |
annotate
|
| Thu, 10 Dec 2009 11:58:26 +0100 |
bulwahn |
added Imperative_HOL examples; added tail-recursive combinator for monadic heap functions; adopted code generation of references; added lemmas
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 14:53:58 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Tue, 24 Mar 2009 09:15:51 +0100 |
haftmann |
added Imperative_HOL_ex
|
file |
diff |
annotate
|