exa2pro/starpu-max

Автор	SHA1 Опис	Дата
Nathalie Furmento	089c051bf5 fix copyrights	7 роки тому
Nathalie Furmento	789c13d409 tests: fix copyrights	7 роки тому
Samuel Thibault	defd69333a generalize running model-checking tests	8 роки тому