aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers
Commit message (Collapse)AuthorAge
...
* Alloy implementation of multiple model generationLibravatar OszkarSemerath2017-07-02
|
* 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