| .. |
|
Makefile
|
00042d3039
Fix build from starpu with old simgrid: BUILDING_STARPU is only for the lib
|
%!s(int64=8) %!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
|
c1b913a2b2
Try to redruce on the state of an empty list
|
%!s(int64=8) %!d(string=hai) anos |
|
prio_list.sh
|
defd69333a
generalize running model-checking tests
|
%!s(int64=8) %!d(string=hai) anos |
|
prio_list2.c
|
05bfe97196
clearer macro names, add iterations
|
%!s(int64=8) %!d(string=hai) anos |
|
starpu-mc.sh.in
|
defd69333a
generalize running model-checking tests
|
%!s(int64=8) %!d(string=hai) anos |
Samuel Thibault
c1b913a2b2
Try to redruce on the state of an empty list