aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model
Commit message (Expand)AuthorAge
* Bug fixed in transitive closure expression builderLibravatar Oszkar Semerath2019-08-30
* 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
* Removed unnecessary loggingLibravatar OszkarSemerath2019-02-17
* Logic structure builder fix for string buildingLibravatar OszkarSemerath2018-11-07
* Progress monitor fixLibravatar OszkarSemerath2018-09-14
* ReasonerWorkspace adds Schema Location for saving Models into XMI. FixesLibravatar OszkarSemerath2018-07-21
* Support for building float, double and BigDecimal literalsLibravatar OszkarSemerath2018-07-15
* cleanup imported packageLibravatar OszkarSemerath2018-07-15
* Added scope validation as a service of the solver interfaceLibravatar OszkarSemerath2018-07-15
* Additional packages for standalone runtime environmentLibravatar OszkarSemerath2018-07-06
* Added support for running application in plain java.Libravatar OszkarSemerath2018-07-05
* type multiplicity is refined to 0Libravatar OszkarSemerath2018-06-13
* Cleared metafilesLibravatar OszkarSemerath2018-05-12
* Refactored to the milestone version of Viatra 2.0Libravatar OszkarSemerath2018-05-08
* Updated and fixed dependencies:Libravatar OszkarSemerath2018-05-07
* Factory for string literals.Libravatar OszkarSemerath2018-03-24
* copyMap bugfixLibravatar OszkarSemerath2018-03-07
* Statistics are appendedLibravatar OszkarSemerath2018-03-04
* ConsolesLibravatar OszkarSemerath2018-03-04
* +SolverProcessMonitor to (optionally) report process and request cancelLibravatar OszkarSemerath2018-03-03
* separated init and clear phases in workspacesLibravatar OszkarSemerath2018-03-03
* added getFile() and refresh() to workspaceLibravatar OszkarSemerath2018-02-28
* Project workspace folder structure generation patchLibravatar OszkarSemerath2018-02-24
* Documentation level is in the config interfaceLibravatar OszkarSemerath2018-02-24
* :lipstick:Libravatar OszkarSemerath2017-09-27
* Printing string statistics do not add linebreaksLibravatar OszkarSemerath2017-09-27
* Listing all files in folder.Libravatar OszkarSemerath2017-09-27
* Transitive closureLibravatar OszkarSemerath2017-08-16
* Adding transitive closure to the logic languageLibravatar OszkarSemerath2017-08-16
* Added known primitives to the scopeLibravatar OszkarSemerath2017-08-15
* Added support for string attributes when mapping metamodelsLibravatar OszkarSemerath2017-08-15
* Primitive elements in the partial interpretationLibravatar OszkarSemerath2017-08-15
* Generated code for the modified logic modelLibravatar 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.1) at 2024-06-03 16:58:09 +0000