Samuel Thibault b5375e6816 Fix simgrid-MC build %!s(int64=5) %!d(string=hai) anos
..
common 719c3f62d4 update copyright holders %!s(int64=5) %!d(string=hai) anos
Makefile 340d322899 update copyright holders %!s(int64=5) %!d(string=hai) anos
barrier.sh 719c3f62d4 update copyright holders %!s(int64=5) %!d(string=hai) anos
platform.xml f93028199e Add a simgrid model-checking trivial test for now %!s(int64=8) %!d(string=hai) anos
prio_list.c 719c3f62d4 update copyright holders %!s(int64=5) %!d(string=hai) anos
prio_list.sh 719c3f62d4 update copyright holders %!s(int64=5) %!d(string=hai) anos
prio_list2.c 719c3f62d4 update copyright holders %!s(int64=5) %!d(string=hai) anos
starpu-mc.sh.in 719c3f62d4 update copyright holders %!s(int64=5) %!d(string=hai) anos
starpu_barrier.c b5375e6816 Fix simgrid-MC build %!s(int64=5) %!d(string=hai) anos
starpu_config.h 719c3f62d4 update copyright holders %!s(int64=5) %!d(string=hai) anos