Commit graph

3 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
0e0debd529 Updates to verificationSuite cases 2018-02-28 12:22:57 +01: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