| Tue, 06 Mar 2018 17:44:19 +0100 |
wenzelm |
more balanced AFP partitioning;
|
file |
diff |
annotate
|
| Sun, 12 Nov 2017 12:41:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 16:50:26 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 16:44:25 +0100 |
wenzelm |
clarifified selection: always wrt. build_graph structure;
|
file |
diff |
annotate
|
| Sat, 14 Oct 2017 16:59:45 +0200 |
wenzelm |
partition AFP sessions according to structure, which happens to cut it roughly into equal parts;
|
file |
diff |
annotate
|
| Fri, 13 Oct 2017 13:31:56 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 12 Oct 2017 21:22:02 +0200 |
wenzelm |
entries_graph requires acyclic graph, but lazy val allows forming the AFP object nonetheless;
|
file |
diff |
annotate
|
| Tue, 10 Oct 2017 19:48:29 +0200 |
wenzelm |
cycle check with informative error;
|
file |
diff |
annotate
|
| Tue, 10 Oct 2017 19:23:03 +0200 |
wenzelm |
tuned: each session has at most one defining entry;
|
file |
diff |
annotate
|
| Mon, 09 Oct 2017 22:03:05 +0200 |
wenzelm |
tuned: less oo-non-sense;
|
file |
diff |
annotate
|
| Mon, 09 Oct 2017 21:43:27 +0200 |
wenzelm |
operations for graph display;
|
file |
diff |
annotate
|
| Mon, 09 Oct 2017 20:26:02 +0200 |
wenzelm |
dependencies of entries vs. sessions;
|
file |
diff |
annotate
|
| Mon, 09 Oct 2017 17:09:08 +0200 |
wenzelm |
some administrative support for AFP;
|
file |
diff |
annotate
|