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

Samuel Thibault 580d61dae1 don't enable state reduction by default, it's too costly		%!s(int64=9) %!d(string=hai) anos
..
Makefile	580d61dae1 don't enable state reduction by default, it's too costly	%!s(int64=9) %!d(string=hai) anos
platform.xml	f93028199e Add a simgrid model-checking trivial test for now	%!s(int64=9) %!d(string=hai) anos
prio_list.c	5339d76f3a Prevent random number generation from diverging, by making threads always get the same values	%!s(int64=9) %!d(string=hai) anos