Tue, 07 Sep 2010 10:05:19 +0200 |
nipkow |
expand_fun_eq -> ext_iff
|
file |
diff |
annotate
|
Fri, 13 Aug 2010 16:40:47 +0200 |
haftmann |
robustified proof
|
file |
diff |
annotate
|
Thu, 29 Jul 2010 12:28:45 +0200 |
haftmann |
intermediate operation avoids invariance problem in Scala
|
file |
diff |
annotate
|
Thu, 29 Jul 2010 09:56:59 +0200 |
haftmann |
checking Scala_imp
|
file |
diff |
annotate
|
Mon, 26 Jul 2010 11:09:45 +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
|
Mon, 19 Jul 2010 11:55:42 +0200 |
haftmann |
check code generation for Scala
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 16:45:30 +0200 |
haftmann |
avoid ambiguities; tuned
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 16:13:14 +0200 |
haftmann |
avoid export_code ... file -
|
file |
diff |
annotate
|
Tue, 13 Jul 2010 12:00:11 +0200 |
krauss |
Heap_Monad uses Monad_Syntax
|
file |
diff |
annotate
|
Mon, 12 Jul 2010 16:05:08 +0200 |
haftmann |
spelt out relational framework in a consistent way
|
file |
diff |
annotate
|
Mon, 12 Jul 2010 08:58:13 +0200 |
haftmann |
dropped superfluous [code del]s
|
file |
diff |
annotate
|
Thu, 08 Jul 2010 17:23:05 +0200 |
haftmann |
dropped ancient in-place compilation of SML; more tests
|
file |
diff |
annotate
|
Tue, 06 Jul 2010 09:21:15 +0200 |
haftmann |
refactored reference operations
|
file |
diff |
annotate
|
Mon, 05 Jul 2010 14:34:28 +0200 |
haftmann |
simplified representation of monad type
|
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
|
Mon, 01 Mar 2010 21:41:35 +0100 |
wenzelm |
eliminated hard tabs;
|
file |
diff |
annotate
|
Mon, 08 Feb 2010 14:12:50 +0100 |
haftmann |
avoid upto in generated code (is infix operator in library.ML)
|
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
|