aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
* ReasonerWorkspace adds Schema Location for saving Models into XMI. FixesLibravatar OszkarSemerath2018-07-21
* Scope support for attributesLibravatar OszkarSemerath2018-07-16
* 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
* Fixing multiple true/false + bug preventing generation without PSLibravatar OszkarSemerath2018-06-25
* Fixing multiple "true" and "false" objectsLibravatar OszkarSemerath2018-06-20
* Visualisation stub removedLibravatar OszkarSemerath2018-06-20
* Visualisation example using matches during generationLibravatar OszkarSemerath2018-06-14
* Visualisation potentionally gets the patternsLibravatar OszkarSemerath2018-06-14
* Support for updated partial model representation during generationScope-PS-RefactorLibravatar OszkarSemerath2018-06-13
* Updated partial model representation handlingLibravatar OszkarSemerath2018-06-13
* type multiplicity is refined to 0Libravatar OszkarSemerath2018-06-13
* Updated partial model representationLibravatar OszkarSemerath2018-06-13
* Cleared up visualisation threadLibravatar OszkarSemerath2018-05-22
* Removed debug loggingLibravatar OszkarSemerath2018-05-22
* Improved parser performance by removing metamodel loading and validationLibravatar OszkarSemerath2018-05-22
* Missing src-gen folders are supposed to be solvedLibravatar OszkarSemerath2018-05-18
* Query parser update to current Viatra milestoneLibravatar OszkarSemerath2018-05-18
* Moved partial model management is moved to one project (+1 PM edge fix)Libravatar OszkarSemerath2018-05-14
* derived feature -> partial relation bugfixLibravatar OszkarSemerath2018-05-12
* Cleared metafilesLibravatar OszkarSemerath2018-05-12
* File extension is set to *.pngLibravatar OszkarSemerath2018-05-12
* added gitignore to generated outputsLibravatar OszkarSemerath2018-05-12
* Visualisation queueLibravatar OszkarSemerath2018-05-12
* Project updateLibravatar OszkarSemerath2018-05-12
* VSConfig updateLibravatar OszkarSemerath2018-05-12
* Example updatedLibravatar OszkarSemerath2018-05-12
* Visualiser queue startedLibravatar OszkarSemerath2018-05-12
* Run config for applicationLibravatar OszkarSemerath2018-05-10
* RenamedLibravatar OszkarSemerath2018-05-10
* Regenerated Application Configuration LanguageLibravatar OszkarSemerath2018-05-08
* Refactored to the milestone version of Viatra 2.0Libravatar OszkarSemerath2018-05-08
* Updated and fixed dependencies:Libravatar OszkarSemerath2018-05-07
* Debug for SMT scopesLibravatar OszkarSemerath2018-05-05
* Alloy file writer configurationLibravatar OszkarSemerath2018-05-05
* containment mapping fixLibravatar OszkarSemerath2018-05-05
* Removed unused projectsLibravatar OszkarSemerath2018-03-24
* example projects addedLibravatar OszkarSemerath2018-03-24
* upgraded attribute support for the graph solverLibravatar OszkarSemerath2018-03-24
* Factory for string literals.Libravatar OszkarSemerath2018-03-24
* Renaming some configuration conceptsLibravatar OszkarSemerath2018-03-24
* Rebooting Z3 solver Containment vs Inheritance still has a bugLibravatar OszkarSemerath2018-03-07
* removed unnecessary printlnLibravatar OszkarSemerath2018-03-07
* Validation for abstract dynamic typesLibravatar OszkarSemerath2018-03-07
* copyMap bugfixLibravatar OszkarSemerath2018-03-07
* Path as additional parameterLibravatar OszkarSemerath2018-03-07
* More detailed error messageLibravatar OszkarSemerath2018-03-07