aboutsummaryrefslogtreecommitdiffstats
path: root/Tests
Commit message (Collapse)AuthorAge
* Alloy ExamplesLibravatar OszkarSemerath2017-08-20
|
* Bugfixing typo in generated queriesLibravatar OszkarSemerath2017-08-16
|
* runners with new type scopesLibravatar OszkarSemerath2017-08-16
|
* The test runners now ignore every folder beginning with "output*"Libravatar OszkarSemerath2017-07-12
| | | Those folders are used for generated models.
* Corrected the configuration in the test runners.Libravatar OszkarSemerath2017-07-12
|
* Pattern coverage measuring program.Libravatar OszkarSemerath2017-07-05
|
* Example configuration for running measurements.Libravatar OszkarSemerath2017-07-05
|
* Divers Generation times are added to statisticsexample scenarioLibravatar OszkarSemerath2017-06-16
|
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
|
* Initial commit, migrating from SVNLibravatar OszkarSemerath2017-06-10