aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder
Commit message (Expand)AuthorAge
* +SolverProcessMonitor to (optionally) report process and request cancelLibravatar OszkarSemerath2018-03-03
* Documentation level is in the config interfaceLibravatar OszkarSemerath2018-02-24
* Transitive closureLibravatar OszkarSemerath2017-08-16
* Added known primitives to the scopeLibravatar OszkarSemerath2017-08-15
* Added support for string attributes when mapping metamodelsLibravatar OszkarSemerath2017-08-15
* Type scope cleanupLibravatar OszkarSemerath2017-08-15
* Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar OszkarSemerath2017-08-08
|\
| * Modified LogicSolver to support the use of integer, string and realLibravatar Mayer Krisztián Gábor2017-08-08
* | Support for double and string attributesLibravatar OszkarSemerath2017-08-08
|/
* added String to the logic problem, and representations returns the setLibravatar OszkarSemerath2017-08-07
* When there is a definition to a declaration in the logic problem, theLibravatar OszkarSemerath2017-07-05
* Multiple model with interpretationsLibravatar OszkarSemerath2017-07-02
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 12:20:21 +0000