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

Samuel Thibault d56020e400 Allow to use several lists to check that the model-checker discovers that's independent		лет назад: 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	d56020e400 Allow to use several lists to check that the model-checker discovers that's independent	лет назад: 9
prio_list.sh.in	d8991796b2 Run model checking during make check	лет назад: 9