| .. |
|
common
|
089c051bf5
fix copyrights
|
8 lat temu |
|
Makefile
|
96c1322d4f
Allow to set CFLAGS/LDFLAGS to point to MC version of simgrid
|
7 lat temu |
|
barrier.sh
|
089c051bf5
fix copyrights
|
8 lat temu |
|
platform.xml
|
f93028199e
Add a simgrid model-checking trivial test for now
|
9 lat temu |
|
prio_list.c
|
c82055acf0
Use S4U's sg_cfg_*
|
7 lat temu |
|
prio_list.sh
|
089c051bf5
fix copyrights
|
8 lat temu |
|
prio_list2.c
|
089c051bf5
fix copyrights
|
8 lat temu |
|
starpu-mc.sh.in
|
089c051bf5
fix copyrights
|
8 lat temu |
|
starpu_barrier.c
|
c82055acf0
Use S4U's sg_cfg_*
|
7 lat temu |
|
starpu_config.h
|
089c051bf5
fix copyrights
|
8 lat temu |
Samuel Thibault
c82055acf0
Use S4U's sg_cfg_*