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

Samuel Thibault b83f2454f2 Add copyright		il y a 9 ans
..
Makefile	bf08b7ae24 document how to play with model checker	il y a 9 ans
platform.xml	f93028199e Add a simgrid model-checking trivial test for now	il y a 9 ans
prio_list.c	d56020e400 Allow to use several lists to check that the model-checker discovers that's independent	il y a 9 ans
prio_list.sh.in	d8991796b2 Run model checking during make check	il y a 9 ans
prio_list2.c	b83f2454f2 Add copyright	il y a 9 ans