exa2pro/starpu-max

Автор	SHA1 Опис	Дата
Nathalie Furmento	5e6a2a33ea fixes for unused attributes and other minor warnings	8 роки тому
Nathalie Furmento	741d1e0516 correctly define _GNU_SOURCE	8 роки тому
Samuel Thibault	0c4fcd28fc Add barrier modelchecker test	9 роки тому