| .. |
|
common
|
0c4fcd28fc
Add barrier modelchecker test
|
vor 8 Jahren |
|
Makefile
|
b050e3b665
clean prio_list2 too
|
vor 8 Jahren |
|
barrier.sh
|
0c4fcd28fc
Add barrier modelchecker test
|
vor 8 Jahren |
|
platform.xml
|
f93028199e
Add a simgrid model-checking trivial test for now
|
vor 8 Jahren |
|
prio_list.c
|
d825aa2667
Add macro _STARPU_MALLOC_CAST when checking prio_list
|
vor 8 Jahren |
|
prio_list.sh
|
defd69333a
generalize running model-checking tests
|
vor 8 Jahren |
|
prio_list2.c
|
05bfe97196
clearer macro names, add iterations
|
vor 8 Jahren |
|
starpu-mc.sh.in
|
defd69333a
generalize running model-checking tests
|
vor 8 Jahren |
|
starpu_barrier.c
|
741d1e0516
correctly define _GNU_SOURCE
|
vor 8 Jahren |
|
starpu_config.h
|
0c4fcd28fc
Add barrier modelchecker test
|
vor 8 Jahren |
Corentin Salingue
d825aa2667
Add macro _STARPU_MALLOC_CAST when checking prio_list