aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage
Commit message (Expand)AuthorAge
* some missing string support bugs in partial interpretation are fixedLibravatar OszkarSemerath2018-11-07
* Scope initialisation is defaultLibravatar OszkarSemerath2018-09-14
* Added support for SHORT type as integerLibravatar OszkarSemerath2018-08-28
* Scope support for attributesLibravatar OszkarSemerath2018-07-16
* Fixing multiple true/false + bug preventing generation without PSLibravatar OszkarSemerath2018-06-25
* Fixing multiple "true" and "false" objectsLibravatar OszkarSemerath2018-06-20
* Updated partial model representation handlingLibravatar OszkarSemerath2018-06-13
* Updated partial model representationLibravatar OszkarSemerath2018-06-13
* Moved partial model management is moved to one project (+1 PM edge fix)Libravatar OszkarSemerath2018-05-14
* 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
* Fixed nasty bug with creating root elementLibravatar OszkarSemerath2018-03-05
* neighbourhood calculated to fix rangeLibravatar OszkarSemerath2017-10-27
* Representation included trace by accidentLibravatar OszkarSemerath2017-10-27
* Simple visualiser that prints the size of the intermediate solution.Libravatar OszkarSemerath2017-08-27
* Primitive types added to the logic problem only if neededLibravatar OszkarSemerath2017-08-27
* Added separate symbolic objects to all primitive objectsLibravatar OszkarSemerath2017-08-16
* Added known primitives to the scopeLibravatar OszkarSemerath2017-08-15
* Partial interpretation from initial instance modelLibravatar OszkarSemerath2017-08-15
* Literals from the problem are added to the initial set of primitiveLibravatar OszkarSemerath2017-08-15
* Partial interpretation initialiser with primitive typesLibravatar OszkarSemerath2017-08-15
* Primitive elements in the partial interpretationLibravatar OszkarSemerath2017-08-15
* Added primitive types to the model codeLibravatar OszkarSemerath2017-08-15
* Adding visualisation support for partial interpretations.Libravatar OszkarSemerath2017-07-12
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 12:57:03 +0000