aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers
Commit message (Collapse)AuthorAge
* Divers Generation times are added to statisticsexample scenarioLibravatar OszkarSemerath2017-06-16
|
* Instruction to install alloy addedLibravatar OszkarSemerath2017-06-10
|
* Added generated artefacts for the alloy parserLibravatar OszkarSemerath2017-06-10
|
* Added generated Xtext artefactsLibravatar OszkarSemerath2017-06-10
|
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10