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

Samuel Thibault e15ca34bbb Add --enable-simgrid-mc to selectively enable the model checker		лет назад: 9
..
Makefile	bf08b7ae24 document how to play with model checker	лет назад: 9
platform.xml	f93028199e Add a simgrid model-checking trivial test for now	лет назад: 9
prio_list.c	e15ca34bbb Add --enable-simgrid-mc to selectively enable the model checker	лет назад: 9
prio_list.sh.in	d8991796b2 Run model checking during make check	лет назад: 9