exa2pro/starpu-max

Автор	SHA1 Опис	Дата
Samuel Thibault	7d45d0c6e6 Fix more simgrid-mc ldflags	5 роки тому
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 роки тому