aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner
Commit message (Collapse)AuthorAge
* If scope available, then it is maintained during generation via VSLibravatar OszkarSemerath2018-09-14
|
* Lowered documentation level requirement for initial partial modelsLibravatar OszkarSemerath2018-08-10
| | | As handling primitive types requires more complex initialisation.
* Fixing multiple true/false + bug preventing generation without PSLibravatar OszkarSemerath2018-06-25
|
* Fixing multiple "true" and "false" objectsLibravatar OszkarSemerath2018-06-20
|
* Visualisation stub removedLibravatar OszkarSemerath2018-06-20
|
* Visualisation example using matches during generationLibravatar OszkarSemerath2018-06-14
|
* Visualisation potentionally gets the patternsLibravatar OszkarSemerath2018-06-14
|
* Updated partial model representation handlingLibravatar OszkarSemerath2018-06-13
|
* Missing src-gen folders are supposed to be solvedLibravatar OszkarSemerath2018-05-18
|
* Moved partial model management is moved to one project (+1 PM edge fix)Libravatar OszkarSemerath2018-05-14
|
* Updated and fixed dependencies:Libravatar OszkarSemerath2018-05-07
| | | | | | - All java library dependency: fixed to java 1.8 - Added Automatic-Module-Name to be compatible with java 1.9 - Added all sources explicitly to build.properties - removed .util packages generated by previous versions of Viatra
* ViatraSolver reports progress and stops at cancelLibravatar OszkarSemerath2018-03-03
|
* 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
| | | | | | | | | | | | | | DiversityDescriptor * Describes the required diversity between the solutions. * Null means that the solutions have to have different state codes only. InternalConsistencyCheckerConfiguration * A logic solver that able to check the consistency of an intermediate solution. * Null means that no solver is called. DebugConfiguration * Configuration for debugging support. SearchSpaceConstraint * Configuration for cutting search space.
* 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