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

Samuel Thibault e15ca34bbb Add --enable-simgrid-mc to selectively enable the model checker		9 yıl önce
..
Makefile	bf08b7ae24 document how to play with model checker	9 yıl önce
platform.xml	f93028199e Add a simgrid model-checking trivial test for now	9 yıl önce
prio_list.c	e15ca34bbb Add --enable-simgrid-mc to selectively enable the model checker	9 yıl önce
prio_list.sh.in	d8991796b2 Run model checking during make check	9 yıl önce