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