exa2pro/starpu-max: porting work to Maxeler DFE @ 950d26917842d7f32ea5135daa5ebd7e4c1c5e65

Samuel Thibault defd69333a generalize running model-checking tests		пре 9 година
..
Makefile	00042d3039 Fix build from starpu with old simgrid: BUILDING_STARPU is only for the lib	пре 9 година
platform.xml	f93028199e Add a simgrid model-checking trivial test for now	пре 9 година
prio_list.c	00042d3039 Fix build from starpu with old simgrid: BUILDING_STARPU is only for the lib	пре 9 година
prio_list.sh	defd69333a generalize running model-checking tests	пре 9 година
prio_list2.c	b83f2454f2 Add copyright	пре 9 година
starpu-mc.sh.in	defd69333a generalize running model-checking tests	пре 9 година