aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
* 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
* Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar OszkarSemerath2018-02-28
|\
| * updated graphviz dependenciesLibravatar Oszkár Semeráth2018-02-28
* | Grammar updateLibravatar OszkarSemerath2018-02-28
|/
* Viatra Solver support for tasks with no partial modelLibravatar OszkarSemerath2018-02-27
* logging removedLibravatar OszkarSemerath2018-02-25
* Alloy solver use the als file for logging onlyLibravatar OszkarSemerath2018-02-25
* Config file: documentation -> log-levelLibravatar OszkarSemerath2018-02-25
* UI generated partsLibravatar OszkarSemerath2018-02-24
* Generated modelsLibravatar OszkarSemerath2018-02-24
* Handler calls executor Libravatar OszkarSemerath2018-02-24
* Execution updateLibravatar OszkarSemerath2018-02-24
* Application configuration updateLibravatar OszkarSemerath2018-02-24
* Translated PQueryies are added to annotation.Libravatar OszkarSemerath2018-02-24
* Project workspace folder structure generation patchLibravatar OszkarSemerath2018-02-24
* Documentation level is in the config interfaceLibravatar OszkarSemerath2018-02-24
* Documentation level for AlloyLibravatar OszkarSemerath2018-02-24
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 08:46:29 +0000