| Tue, 30 Jul 2013 12:07:14 +0200 |
wenzelm |
pro-forma Execution.reset, despite lack of final join/commit;
|
file |
diff |
annotate
|
| Tue, 30 Jul 2013 11:38:43 +0200 |
wenzelm |
de-assign execs that were not registered as running yet -- observe change of perspective more thoroughly;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2013 18:59:58 +0200 |
wenzelm |
keep memo_exec execution running, which is important to cancel goal forks eventually;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2013 13:00:36 +0200 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Mon, 15 Jul 2013 10:25:35 +0200 |
wenzelm |
more careful termination of removed execs, leaving running execs undisturbed;
|
file |
diff |
annotate
|
| Fri, 12 Jul 2013 12:17:03 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 12 Jul 2013 12:04:16 +0200 |
wenzelm |
clarified execution: maintain running execs only, check "stable" separately via memo (again);
|
file |
diff |
annotate
|
| Fri, 12 Jul 2013 11:28:03 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 12 Jul 2013 11:07:02 +0200 |
wenzelm |
clarified module name;
|
file |
diff |
annotate
| base
|