2 commits

Author	SHA1	Message	Date
Henrik Rusche	4b4be75c2b	Upgrade copyright notices & banner in source code	2018-06-01 18:11:37 +02:00
Vuko Vukcevic	1e8dd2ecb1	Validation suite update: ... Distinguishing between validation and verification cases: small changes in the directory structure	2017-04-27 15:00:44 +02:00