exa2pro/starpu-max

Автор	SHA1 Сообщение	Дата
Samuel Thibault	7d45d0c6e6 Fix more simgrid-mc ldflags	лет назад: 4
Nathalie Furmento	9054490002 happy 2021	лет назад: 5
Samuel Thibault	e86c90f01b model-checking: add missing showfailed etc. rules	лет назад: 5
Samuel Thibault	3545b070de Move model-checking rules to its own Makefile	лет назад: 5