Pedro Gonnet
authored
use dynamic unlock pointers, i.e. the unlock_tasks array in each task is just a pointer to a pool of pointers in the scheduler. this pool needs to be sorted whenever tasks are added.
| Name | Last commit | Last update |
|---|---|---|
| doc | ||
| examples | ||
| m4 | ||
| src | ||
| tests | ||
| theory | ||
| .gitignore | ||
| AUTHORS | ||
| COPYING | ||
| ChangeLog | ||
| INSTALL.swift | ||
| Makefile.am | ||
| NEWS | ||
| README | ||
| autogen.sh | ||
| configure.ac |