| 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
|