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 年之前