| Thu, 01 Oct 2009 16:27:13 +0200 | wenzelm | added Task_Queue.depend (again) -- light-weight version for transitive graph; | file | diff | annotate |
| Wed, 30 Sep 2009 22:20:58 +0200 | wenzelm | eliminated redundant bindings; | file | diff | annotate |
| Tue, 28 Jul 2009 14:54:53 +0200 | wenzelm | group status: Synchronized.var; | file | diff | annotate |
| Tue, 28 Jul 2009 14:43:46 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 28 Jul 2009 14:35:27 +0200 | wenzelm | Task_Queue.dequeue: explicit thread; | file | diff | annotate |
| Mon, 27 Jul 2009 15:06:33 +0200 | wenzelm | dequeue_towards: always return active tasks; | file | diff | annotate |
| Mon, 27 Jul 2009 13:32:23 +0200 | wenzelm | removed unused low-level interrupts; | file | diff | annotate |
| Mon, 27 Jul 2009 12:24:27 +0200 | wenzelm | tuned signature; | file | diff | annotate |