aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers
Commit message (Expand)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