aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic
Commit message (Collapse)AuthorAge
* Refactored to the milestone version of Viatra 2.0Libravatar OszkarSemerath2018-05-08
|
* 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
* upgraded attribute support for the graph solverLibravatar OszkarSemerath2018-03-24
|
* Translated PQueryies are added to annotation.Libravatar OszkarSemerath2018-02-24
|
* Removed PQuery from API, IQuerySpecification is used insteadLibravatar OszkarSemerath2018-01-23
|
* If a query is not supported query exception.Libravatar OszkarSemerath2017-09-27
|
* Transitive closure supportLibravatar OszkarSemerath2017-08-16
|
* Fixed a typo Libravatar Mayer Krisztián Gábor2017-08-08
| | | allNetativeVariablesAreSatisfied -> allNegativeVariablesAreSatisfied
* Added a try-catch to detect if a query cannot be translated (because,Libravatar OszkarSemerath2017-07-05
| | | for example, a referred class is not translated to the logic problem).
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10