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

Samuel Thibault 6383fe8b36 Test a reasonably large case		пре 8 година
..
Makefile	580d61dae1 don't enable state reduction by default, it's too costly	пре 8 година
platform.xml	f93028199e Add a simgrid model-checking trivial test for now	пре 8 година
prio_list.c	6383fe8b36 Test a reasonably large case	пре 8 година
prio_list.sh.in	d8991796b2 Run model checking during make check	пре 8 година