| Wed, 15 Jul 2020 16:10:43 +0200 | wenzelm | clarified user counters: expose tasks to external monitor; | file | diff | annotate |
| Fri, 06 Jul 2018 16:29:47 +0200 | wenzelm | just one global lock for group status: avoid proliferation of mutexes, condvars; | file | diff | annotate |
| Sat, 02 Jun 2018 21:59:11 +0200 | wenzelm | record active execution task and depend on it -- avoid new executions bumping into old ones; | file | diff | annotate |
| Wed, 09 May 2018 19:53:37 +0200 | wenzelm | record total number of tasks; | file | diff | annotate |