aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend
Commit message (Expand)AuthorAge
* complete change of real representation BigDecimal->DoubleLibravatar Aren Babikian2021-01-14
* Optimizing generator with linear objective functionsLibravatar Kristóf Marussy2020-11-02
* Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
|\
| * Measurements WIPLibravatar Kristóf Marussy2019-08-22
* | Fix numeric-solver-at-endLibravatar Kristóf Marussy2020-05-20
* | Fix attribute export to xmiLibravatar Kristóf Marussy2020-05-20
|/
* Fix boolean element mapping handling in logic structures for VSLibravatar OszkarSemerath2018-11-07
* Updated partial model representation handlingLibravatar OszkarSemerath2018-06-13
* Bugfixing typo in generated queriesLibravatar OszkarSemerath2017-08-16
* Viatra Solver result support for primitive typesLibravatar OszkarSemerath2017-08-15
* Support for generationg multiple difference models by VIATRA-SolverLibravatar OszkarSemerath2017-07-05
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-06-03 23:09:47 +0000