Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Updated partial model representation | OszkarSemerath | 2018-06-13 |
| | |||
* | Cleared up visualisation thread | OszkarSemerath | 2018-05-22 |
| | |||
* | Removed debug logging | OszkarSemerath | 2018-05-22 |
| | |||
* | Improved parser performance by removing metamodel loading and validation | OszkarSemerath | 2018-05-22 |
| | | | It significantly improves the performance | ||
* | Missing src-gen folders are supposed to be solved | OszkarSemerath | 2018-05-18 |
| | |||
* | Query parser update to current Viatra milestone | OszkarSemerath | 2018-05-18 |
| | |||
* | Moved partial model management is moved to one project (+1 PM edge fix) | OszkarSemerath | 2018-05-14 |
| | |||
* | derived feature -> partial relation bugfix | OszkarSemerath | 2018-05-12 |
| | |||
* | Cleared metafiles | OszkarSemerath | 2018-05-12 |
| | |||
* | File extension is set to *.png | OszkarSemerath | 2018-05-12 |
| | |||
* | added gitignore to generated outputs | OszkarSemerath | 2018-05-12 |
| | |||
* | Visualisation queue | OszkarSemerath | 2018-05-12 |
| | |||
* | Project update | OszkarSemerath | 2018-05-12 |
| | |||
* | VSConfig update | OszkarSemerath | 2018-05-12 |
| | |||
* | Example updated | OszkarSemerath | 2018-05-12 |
| | |||
* | Visualiser queue started | OszkarSemerath | 2018-05-12 |
| | |||
* | Run config for application | OszkarSemerath | 2018-05-10 |
| | |||
* | Renamed | OszkarSemerath | 2018-05-10 |
| | |||
* | Regenerated Application Configuration Language | OszkarSemerath | 2018-05-08 |
| | |||
* | Refactored to the milestone version of Viatra 2.0 | OszkarSemerath | 2018-05-08 |
| | |||
* | Updated and fixed dependencies: | OszkarSemerath | 2018-05-07 |
| | | | | | | - All java library dependency: fixed to java 1.8 - Added Automatic-Module-Name to be compatible with java 1.9 - Added all sources explicitly to build.properties - removed .util packages generated by previous versions of Viatra | ||
* | Debug for SMT scopes | OszkarSemerath | 2018-05-05 |
| | |||
* | Alloy file writer configuration | OszkarSemerath | 2018-05-05 |
| | |||
* | containment mapping fix | OszkarSemerath | 2018-05-05 |
| | |||
* | Removed unused projects | OszkarSemerath | 2018-03-24 |
| | |||
* | example projects added | OszkarSemerath | 2018-03-24 |
| | |||
* | upgraded attribute support for the graph solver | OszkarSemerath | 2018-03-24 |
| | |||
* | Factory for string literals. | OszkarSemerath | 2018-03-24 |
| | |||
* | Renaming some configuration concepts | OszkarSemerath | 2018-03-24 |
| | |||
* | Rebooting Z3 solver Containment vs Inheritance still has a bug | OszkarSemerath | 2018-03-07 |
| | |||
* | removed unnecessary println | OszkarSemerath | 2018-03-07 |
| | |||
* | Validation for abstract dynamic types | OszkarSemerath | 2018-03-07 |
| | |||
* | copyMap bugfix | OszkarSemerath | 2018-03-07 |
| | |||
* | Path as additional parameter | OszkarSemerath | 2018-03-07 |
| | |||
* | More detailed error message | OszkarSemerath | 2018-03-07 |
| | |||
* | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator | OszkarSemerath | 2018-03-05 |
|\ | |||
| * | Update README.md | Oszkár Semeráth | 2018-03-05 |
| | | |||
| * | Update README.md | Oszkár Semeráth | 2018-03-05 |
| | | |||
| * | moved to developer guide in wiki | Oszkár Semeráth | 2018-03-05 |
| | | |||
* | | Fixed nasty bug with creating root element | OszkarSemerath | 2018-03-05 |
|/ | |||
* | Default visualisation set to .svg | OszkarSemerath | 2018-03-04 |
| | |||
* | Statistics are appended | OszkarSemerath | 2018-03-04 |
| | |||
* | More explanation added to exception | OszkarSemerath | 2018-03-04 |
| | |||
* | derived feature referred query searcher expanded | OszkarSemerath | 2018-03-04 |
| | |||
* | Statistics added | OszkarSemerath | 2018-03-04 |
| | |||
* | Consoles | OszkarSemerath | 2018-03-04 |
| | |||
* | Generation is executed in a job | OszkarSemerath | 2018-03-03 |
| | |||
* | Alloy solver report progress and does not call solver if cancelled | OszkarSemerath | 2018-03-03 |
| | |||
* | ViatraSolver reports progress and stops at cancel | OszkarSemerath | 2018-03-03 |
| | |||
* | +SolverProcessMonitor to (optionally) report process and request cancel | OszkarSemerath | 2018-03-03 |
| |