Fri, 10 Oct 2008 06:45:53 +0200 |
haftmann |
`code func` now just `code`
|
file |
diff |
annotate
|
Sat, 06 Sep 2008 14:02:36 +0200 |
haftmann |
dropped "run" marker in monad syntax
|
file |
diff |
annotate
|
Tue, 29 Jul 2008 14:20:22 +0200 |
haftmann |
Haskell now living in the RealWorld
|
file |
diff |
annotate
|
Mon, 21 Jul 2008 15:26:24 +0200 |
haftmann |
fixed code generator setup
|
file |
diff |
annotate
|
Sat, 19 Jul 2008 19:27:13 +0200 |
bulwahn |
added verification framework for the HeapMonad and quicksort as example for this framework
|
file |
diff |
annotate
|
Tue, 15 Jul 2008 09:30:39 +0200 |
haftmann |
dropped map; fixed swap
|
file |
diff |
annotate
|
Sun, 27 Apr 2008 17:13:01 +0200 |
haftmann |
corrected ML semantics
|
file |
diff |
annotate
|
Wed, 23 Apr 2008 19:36:18 +0200 |
haftmann |
fixed proof
|
file |
diff |
annotate
|
Fri, 18 Apr 2008 09:44:16 +0200 |
haftmann |
improved definition of upd
|
file |
diff |
annotate
|
Thu, 28 Feb 2008 16:50:52 +0100 |
haftmann |
added code generator setup
|
file |
diff |
annotate
|
Wed, 27 Feb 2008 21:41:08 +0100 |
haftmann |
added theories for imperative HOL
|
file |
diff |
annotate
|