Samuel Thibault 96c1322d4f Allow to set CFLAGS/LDFLAGS to point to MC version of simgrid il y a 6 ans
..
common 089c051bf5 fix copyrights il y a 8 ans
Makefile 96c1322d4f Allow to set CFLAGS/LDFLAGS to point to MC version of simgrid il y a 6 ans
barrier.sh 089c051bf5 fix copyrights il y a 8 ans
platform.xml f93028199e Add a simgrid model-checking trivial test for now il y a 9 ans
prio_list.c 789c13d409 tests: fix copyrights il y a 8 ans
prio_list.sh 089c051bf5 fix copyrights il y a 8 ans
prio_list2.c 089c051bf5 fix copyrights il y a 8 ans
starpu-mc.sh.in 089c051bf5 fix copyrights il y a 8 ans
starpu_barrier.c 7139c90b28 Fix build with starpu_debug enabled il y a 6 ans
starpu_config.h 089c051bf5 fix copyrights il y a 8 ans