aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner
Commit message (Expand)AuthorAge
* Translated PQueryies are added to annotation.Libravatar OszkarSemerath2018-02-24
* Diverse Solution Store runs with hash code of the representationLibravatar OszkarSemerath2017-10-27
* Set thread stop signal to volatileLibravatar OszkarSemerath2017-09-27
* Bugfixing typo in generated queriesLibravatar OszkarSemerath2017-08-16
* Viatra Solver result support for primitive typesLibravatar OszkarSemerath2017-08-15
* Rearranged the solver configuration into different subsectionsLibravatar OszkarSemerath2017-07-12
* Support for generationg multiple difference models by VIATRA-SolverLibravatar OszkarSemerath2017-07-05
* Divers Generation times are added to statisticsexample scenarioLibravatar OszkarSemerath2017-06-16
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10