Please enable JavaScript in your browser!
Почетна
Преглед
Помоћ
Пријавите се
exa2pro
/
starpu-max
Прати
19
Волим
0
Креирај огранак
0
Датотеке
Дискусије
0
Захтеви за спајање
0
Вики
Дрво:
e15ca34bbb
Гране
Ознаке
fpga
ft_checkpoint
papi_starpu
starpu-max
/
tests
/
model-checking
Samuel Thibault
e15ca34bbb
Add --enable-simgrid-mc to selectively enable the model checker
пре 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
e15ca34bbb
Add --enable-simgrid-mc to selectively enable the model checker
пре 9 година
prio_list.sh.in
d8991796b2
Run model checking during make check
пре 9 година