aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model
Commit message (Expand)AuthorAge
* complete change of real representation BigDecimal->DoubleLibravatar Aren Babikian2021-01-14
* Measurements WIPLibravatar Kristóf Marussy2019-08-14
* Solution store diversity requirement set to 1 as defaultLibravatar OszkarSemerath2019-02-17
* 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 representationLibravatar OszkarSemerath2018-06-13
* Moved partial model management is moved to one project (+1 PM edge fix)Libravatar OszkarSemerath2018-05-14
* Fixed nasty bug with creating root elementLibravatar OszkarSemerath2018-03-05
* neighbourhood calculated to fix rangeLibravatar OszkarSemerath2017-10-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 primitive types to the model codeLibravatar OszkarSemerath2017-08-15
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10