Nathalie Furmento f5fe5ad465 StarPU: Use character _ instead of - in filenames 15 lat temu
..
gnuplot_sched.sh 0806fc8876 Add missing license headers (yes, trips can be annoying) 16 lat temu
prio.r f5fe5ad465 StarPU: Use character _ instead of - in filenames 15 lat temu
sched.r f5fe5ad465 StarPU: Use character _ instead of - in filenames 15 lat temu
sched.sh 0eb83b50b2 Prefix variable names SCHED, CALIBRATE, PREFETCH, and LOGFILENAME with STARPU_ 15 lat temu
sched_one_gpu.sh f5fe5ad465 StarPU: Use character _ instead of - in filenames 15 lat temu