| .. |
|
common
|
089c051bf5
fix copyrights
|
8 lat temu |
|
Makefile
|
96c1322d4f
Allow to set CFLAGS/LDFLAGS to point to MC version of simgrid
|
6 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
|
789c13d409
tests: fix copyrights
|
8 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
|
7139c90b28
Fix build with starpu_debug enabled
|
6 lat temu |
|
starpu_config.h
|
089c051bf5
fix copyrights
|
8 lat temu |
Samuel Thibault
96c1322d4f
Allow to set CFLAGS/LDFLAGS to point to MC version of simgrid