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

Samuel Thibault defd69333a generalize running model-checking tests		9 yıl önce
..
Makefile	00042d3039 Fix build from starpu with old simgrid: BUILDING_STARPU is only for the lib	9 yıl önce
platform.xml	f93028199e Add a simgrid model-checking trivial test for now	9 yıl önce
prio_list.c	00042d3039 Fix build from starpu with old simgrid: BUILDING_STARPU is only for the lib	9 yıl önce
prio_list.sh	defd69333a generalize running model-checking tests	9 yıl önce
prio_list2.c	b83f2454f2 Add copyright	9 yıl önce
starpu-mc.sh.in	defd69333a generalize running model-checking tests	9 yıl önce