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

Samuel Thibault b5d53106f7 Fix build with old simgrids		лет назад: 8
..
Makefile	bf08b7ae24 document how to play with model checker	лет назад: 8
platform.xml	f93028199e Add a simgrid model-checking trivial test for now	лет назад: 8
prio_list.c	b5d53106f7 Fix build with old simgrids	лет назад: 8
prio_list.sh.in	d8991796b2 Run model checking during make check	лет назад: 8