| Fri, 24 Apr 2009 08:24:54 +0200 |
haftmann |
generic postprocessing scheme for term evaluations
|
file |
diff |
annotate
|
| Fri, 17 Apr 2009 14:29:56 +0200 |
haftmann |
re-engineering of evaluation conversions
|
file |
diff |
annotate
|
| Fri, 17 Apr 2009 08:34:54 +0200 |
haftmann |
diagnostic commands now in code_thingol; tuned code of funny continuations
|
file |
diff |
annotate
|
| Mon, 06 Apr 2009 08:24:55 +0200 |
haftmann |
tuned whitespace
|
file |
diff |
annotate
|
| Sat, 28 Mar 2009 18:17:21 +0100 |
haftmann |
second attempt for code_deps command
|
file |
diff |
annotate
|
| Mon, 02 Mar 2009 16:58:39 +0100 |
haftmann |
reduced confusion code_funcgr vs. code_wellsorted
|
file |
diff |
annotate
|
| Wed, 25 Feb 2009 07:42:11 +0100 |
haftmann |
robustified
|
file |
diff |
annotate
|
| Mon, 23 Feb 2009 21:34:14 +0100 |
haftmann |
repaired order of variable node allocation
|
file |
diff |
annotate
|
| Mon, 23 Feb 2009 08:19:25 +0100 |
haftmann |
use canonical subalgebra projection
|
file |
diff |
annotate
|
| Sun, 22 Feb 2009 18:02:21 +0100 |
haftmann |
clarified status of variables in evaluation terms; tuned header
|
file |
diff |
annotate
|
| Sun, 22 Feb 2009 17:32:55 +0100 |
haftmann |
more liberality needed
|
file |
diff |
annotate
|
| Sun, 22 Feb 2009 16:48:11 +0100 |
haftmann |
simplified evaluation
|
file |
diff |
annotate
|
| Sun, 22 Feb 2009 10:22:30 +0100 |
haftmann |
first attempt to solve evaluation bootstrap problem
|
file |
diff |
annotate
|
| Fri, 20 Feb 2009 21:29:24 +0100 |
haftmann |
also consider superclasses properly
|
file |
diff |
annotate
|
| Fri, 20 Feb 2009 18:29:11 +0100 |
haftmann |
consequent use of term `code equation`
|
file |
diff |
annotate
|
| Fri, 20 Feb 2009 10:14:32 +0100 |
haftmann |
tuned and incremental version of wellsorting algorithm
|
file |
diff |
annotate
|