| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
added a few tricky examples with tuples; added alternative introduction rules for some constants; corrected mode analysis with negation; improved fetching of definitions
|
file |
diff |
annotate
|
| Wed, 23 Sep 2009 16:20:13 +0200 |
bulwahn |
added first version of quickcheck based on the predicate compiler; added a few quickcheck examples
|
file |
diff |
annotate
|
| Wed, 23 Sep 2009 16:20:12 +0200 |
bulwahn |
added first prototype of the extended predicate compiler
|
file |
diff |
annotate
|
| Wed, 23 Sep 2009 16:20:12 +0200 |
bulwahn |
moved predicate compiler to Tools
|
file |
diff |
annotate
|
| Mon, 10 Aug 2009 10:25:00 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Thu, 30 Jul 2009 13:52:18 +0200 |
haftmann |
cleaned up
|
file |
diff |
annotate
|
| Tue, 04 Aug 2009 08:34:56 +0200 |
bulwahn |
improved use of context with cases rule in predicate compiler; predicate compiler based on Main for faster debugging
|
file |
diff |
annotate
|
| Tue, 04 Aug 2009 08:34:56 +0200 |
bulwahn |
imported patch generic compilation of predicate compiler with different monads
|
file |
diff |
annotate
|
| Thu, 21 May 2009 19:15:22 +0200 |
haftmann |
using precompiled Predicate.map
|
file |
diff |
annotate
|
| Wed, 20 May 2009 22:24:07 +0200 |
haftmann |
experimental values command
|
file |
diff |
annotate
|
| Wed, 13 May 2009 18:48:17 +0200 |
haftmann |
tuned construction of term_of instances
|
file |
diff |
annotate
|
| Tue, 12 May 2009 21:17:47 +0200 |
haftmann |
split Predicate_Compile examples into separate theory
|
file |
diff |
annotate
|
| Tue, 12 May 2009 17:09:36 +0200 |
haftmann |
examples using code_pred
|
file |
diff |
annotate
|
| Mon, 11 May 2009 20:09:03 +0200 |
haftmann |
fixed merge accident
|
file |
diff |
annotate
|
| Mon, 11 May 2009 17:20:52 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Mon, 11 May 2009 09:39:53 +0200 |
bulwahn |
fixed code_pred command
|
file |
diff |
annotate
|
| Mon, 11 May 2009 09:18:42 +0200 |
bulwahn |
Added pred_code command
|
file |
diff |
annotate
|
| Fri, 24 Apr 2009 17:45:16 +0200 |
haftmann |
some experiements towards user interface for predicate compiler
|
file |
diff |
annotate
|
| Mon, 20 Apr 2009 09:32:09 +0200 |
haftmann |
yield is now a static ML function
|
file |
diff |
annotate
|
| Tue, 31 Mar 2009 11:11:36 +0200 |
haftmann |
generalized pull to anamorph
|
file |
diff |
annotate
|
| Tue, 31 Mar 2009 11:04:05 +0200 |
haftmann |
ML snippets for experimental evaluation
|
file |
diff |
annotate
|
| Sun, 08 Mar 2009 15:25:28 +0100 |
haftmann |
added predicate compiler, as formally checked prototype, not as user package
|
file |
diff |
annotate
|