| Fri, 25 Jan 2008 14:53:55 +0100 |
haftmann |
clarified setup of method "normalization"
|
file |
diff |
annotate
|
| Tue, 15 Jan 2008 16:19:19 +0100 |
haftmann |
explicit code lemma for implication
|
file |
diff |
annotate
|
| Thu, 10 Jan 2008 19:09:21 +0100 |
berghofe |
New interface for test data generators.
|
file |
diff |
annotate
|
| Tue, 08 Jan 2008 11:37:37 +0100 |
haftmann |
normalization conversion
|
file |
diff |
annotate
|
| Tue, 08 Jan 2008 10:24:34 +0100 |
berghofe |
imp_conv_disj is now declared as a "code unfold" lemma to avoid that
|
file |
diff |
annotate
|
| Wed, 05 Dec 2007 14:15:45 +0100 |
haftmann |
simplified infrastructure for code generator operational equality
|
file |
diff |
annotate
|
| Thu, 04 Oct 2007 19:54:44 +0200 |
haftmann |
certificates for code generator case expressions
|
file |
diff |
annotate
|
| Thu, 04 Oct 2007 19:41:49 +0200 |
haftmann |
clarified relationship of code generator conversions and evaluations
|
file |
diff |
annotate
|
| Tue, 28 Aug 2007 18:26:48 +0200 |
berghofe |
Smaller size and fewer iterations for quickcheck.
|
file |
diff |
annotate
|
| Thu, 16 Aug 2007 11:45:06 +0200 |
haftmann |
fixed codegen setup
|
file |
diff |
annotate
|
| Wed, 15 Aug 2007 09:02:11 +0200 |
haftmann |
added Code_Setup
|
file |
diff |
annotate
|