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

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