aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic
Commit message (Expand)AuthorAge
* Get a different solutionAttribute-SolverLibravatar anqili4262020-05-06
* Added FakeIntegerElementLibravatar anqili4262020-04-26
* Added new testLibravatar anqili4262020-04-22
* Added measurementsLibravatar anqili4262020-04-15
* Added test methods with running time measurementLibravatar anqili4262020-04-15
* Added logic to get a solutionLibravatar anqili4262020-04-15
* Updated logic that creates a numeric problem using matchesLibravatar anqili4262020-04-08
* Added logic to create a numeric problem instance with pattern matchesLibravatar anqili4262020-04-07
* Added logic to form numeric problem templatesLibravatar anqili4262020-03-31
* Added call to form numeric problem templatesLibravatar anqili4262020-03-31
* parsing count, min, max, check and eval v1Libravatar Oszkar Semerath2019-07-15
* ParseUtil hijacked original vql parser and caused errors - fix by kris7tLibravatar OszkarSemerath2019-03-19
* Removed unnecessary loggingLibravatar OszkarSemerath2019-02-17
* Update error message for untranslated types in ViatraLibravatar OszkarSemerath2018-10-11
* updated support for java typesLibravatar OszkarSemerath2018-09-14
* Updated type provider to support java native typesLibravatar OszkarSemerath2018-08-10
* Scope support for attributesLibravatar OszkarSemerath2018-07-16
* Cleared metafilesLibravatar OszkarSemerath2018-05-12
* Refactored to the milestone version of Viatra 2.0Libravatar OszkarSemerath2018-05-08
* Updated and fixed dependencies:Libravatar OszkarSemerath2018-05-07
* 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
* Added a try-catch to detect if a query cannot be translated (because,Libravatar OszkarSemerath2017-07-05
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10