Nathalie Furmento 549ac5bc36 rename WORKER_LIST into STARPU_WORKER_LIST 12 vuotta sitten
..
dummy_sched.c 549ac5bc36 rename WORKER_LIST into STARPU_WORKER_LIST 12 vuotta sitten
schedulers.sh 2fe2fd8755 sched_policy: rename parallel greedy scheduler to parallel eager 12 vuotta sitten