aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model
Commit message (Expand)AuthorAge
* complete change of real representation BigDecimal->DoubleLibravatar Aren Babikian2021-01-14
* parsing count, min, max, check and eval v1Libravatar Oszkar Semerath2019-07-15
* aggregated partial substitution + builderLibravatar Oszkar Semerath2019-07-09
* Added aggregate expressions to logic language on the model levelLibravatar OszkarSemerath2019-05-04
* type multiplicity is refined to 0Libravatar OszkarSemerath2018-06-13
* :lipstick:Libravatar OszkarSemerath2017-09-27
* Transitive closureLibravatar OszkarSemerath2017-08-16
* Adding transitive closure to the logic languageLibravatar OszkarSemerath2017-08-16
* Support for double and string attributesLibravatar OszkarSemerath2017-08-08
* added String to the logic problem, and representations returns the setLibravatar OszkarSemerath2017-08-07
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10