aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
* Abstract supertype cardinality countcardinality-counterLibravatar LilianaBohus2018-05-22
* Initial implementation of cardinality calculatorLibravatar Lili2018-05-15
* 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
* Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar OszkarSemerath2018-03-05
|\
| * Update README.mdLibravatar Oszkár Semeráth2018-03-05
| * Update README.mdLibravatar Oszkár Semeráth2018-03-05
| * moved to developer guide in wikiLibravatar Oszkár Semeráth2018-03-05
* | Fixed nasty bug with creating root elementLibravatar OszkarSemerath2018-03-05
|/
* Default visualisation set to .svgLibravatar OszkarSemerath2018-03-04
* Statistics are appendedLibravatar OszkarSemerath2018-03-04
* More explanation added to exceptionLibravatar OszkarSemerath2018-03-04
* derived feature referred query searcher expandedLibravatar OszkarSemerath2018-03-04
* Statistics addedLibravatar OszkarSemerath2018-03-04
* ConsolesLibravatar OszkarSemerath2018-03-04
* Generation is executed in a jobLibravatar OszkarSemerath2018-03-03
* Alloy solver report progress and does not call solver if cancelledLibravatar OszkarSemerath2018-03-03
* ViatraSolver reports progress and stops at cancelLibravatar OszkarSemerath2018-03-03
* +SolverProcessMonitor to (optionally) report process and request cancelLibravatar OszkarSemerath2018-03-03
* separated init and clear phases in workspacesLibravatar OszkarSemerath2018-03-03
* fixed default model number overriding custom value + added visualisation Libravatar OszkarSemerath2018-02-28
* removed maven + added refresh() to filesystemLibravatar OszkarSemerath2018-02-28
* added getFile() and refresh() to workspaceLibravatar OszkarSemerath2018-02-28
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-25 12:33:45 +0000