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

Samuel Thibault 00042d3039 Fix build from starpu with old simgrid: BUILDING_STARPU is only for the lib		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.in	d8991796b2 Run model checking during make check	9 yıl önce
prio_list2.c	b83f2454f2 Add copyright	9 yıl önce