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