aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic
Commit message (Expand)AuthorAge
* measurement setup is ready for serverLibravatar Aren Babikian2021-02-07
* Fix bug for ignored-attributes + better logic problem creationLibravatar Aren Babikian2021-01-24
* Issue where blocker is not between source and targetLibravatar Aren Babikian2021-01-22
* implement ignored attribute values as a config optionLibravatar Aren Babikian2021-01-22
* complete change of real representation BigDecimal->DoubleLibravatar Aren Babikian2021-01-14
* Polyhedron solver SAT fix and initial scope filteringLibravatar Kristóf Marussy2019-10-29
* some missing string support bugs in partial interpretation are fixedLibravatar OszkarSemerath2018-11-07
* Added support for SHORT type as integerLibravatar OszkarSemerath2018-08-28
* Scope support for attributesLibravatar OszkarSemerath2018-07-16
* Fixing multiple "true" and "false" objectsLibravatar OszkarSemerath2018-06-20
* Updated partial model representation handlingLibravatar OszkarSemerath2018-06-13
* Moved partial model management is moved to one project (+1 PM edge fix)Libravatar OszkarSemerath2018-05-14
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 09:58:45 +0000