Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Renamed | 2018-05-10 | ||
| | ||||
* | Regenerated Application Configuration Language | 2018-05-08 | ||
| | ||||
* | Refactored to the milestone version of Viatra 2.0 | 2018-05-08 | ||
| | ||||
* | Updated and fixed dependencies: | 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 | 2018-05-05 | ||
| | ||||
* | Alloy file writer configuration | 2018-05-05 | ||
| | ||||
* | containment mapping fix | 2018-05-05 | ||
| | ||||
* | Removed unused projects | 2018-03-24 | ||
| | ||||
* | example projects added | 2018-03-24 | ||
| | ||||
* | upgraded attribute support for the graph solver | 2018-03-24 | ||
| | ||||
* | Factory for string literals. | 2018-03-24 | ||
| | ||||
* | Renaming some configuration concepts | 2018-03-24 | ||
| | ||||
* | Rebooting Z3 solver Containment vs Inheritance still has a bug | 2018-03-07 | ||
| | ||||
* | removed unnecessary println | 2018-03-07 | ||
| | ||||
* | Validation for abstract dynamic types | 2018-03-07 | ||
| | ||||
* | copyMap bugfix | 2018-03-07 | ||
| | ||||
* | Path as additional parameter | 2018-03-07 | ||
| | ||||
* | More detailed error message | 2018-03-07 | ||
| | ||||
* | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator | 2018-03-05 | ||
|\ | ||||
| * | Update README.md | 2018-03-05 | ||
| | | ||||
| * | Update README.md | 2018-03-05 | ||
| | | ||||
| * | moved to developer guide in wiki | 2018-03-05 | ||
| | | ||||
* | | Fixed nasty bug with creating root element | 2018-03-05 | ||
|/ | ||||
* | Default visualisation set to .svg | 2018-03-04 | ||
| | ||||
* | Statistics are appended | 2018-03-04 | ||
| | ||||
* | More explanation added to exception | 2018-03-04 | ||
| | ||||
* | derived feature referred query searcher expanded | 2018-03-04 | ||
| | ||||
* | Statistics added | 2018-03-04 | ||
| | ||||
* | Consoles | 2018-03-04 | ||
| | ||||
* | Generation is executed in a job | 2018-03-03 | ||
| | ||||
* | Alloy solver report progress and does not call solver if cancelled | 2018-03-03 | ||
| | ||||
* | ViatraSolver reports progress and stops at cancel | 2018-03-03 | ||
| | ||||
* | +SolverProcessMonitor to (optionally) report process and request cancel | 2018-03-03 | ||
| | ||||
* | separated init and clear phases in workspaces | 2018-03-03 | ||
| | ||||
* | fixed default model number overriding custom value + added visualisation | 2018-02-28 | ||
| | ||||
* | removed maven + added refresh() to filesystem | 2018-02-28 | ||
| | ||||
* | added getFile() and refresh() to workspace | 2018-02-28 | ||
| | ||||
* | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator | 2018-02-28 | ||
|\ | ||||
| * | updated graphviz dependencies | 2018-02-28 | ||
| | | ||||
* | | Grammar update | 2018-02-28 | ||
|/ | ||||
* | Viatra Solver support for tasks with no partial model | 2018-02-27 | ||
| | ||||
* | logging removed | 2018-02-25 | ||
| | ||||
* | Alloy solver use the als file for logging only | 2018-02-25 | ||
| | | | And not for parsing | |||
* | Config file: documentation -> log-level | 2018-02-25 | ||
| | ||||
* | UI generated parts | 2018-02-24 | ||
| | ||||
* | Generated models | 2018-02-24 | ||
| | ||||
* | Handler calls executor | 2018-02-24 | ||
| | ||||
* | Execution update | 2018-02-24 | ||
| | ||||
* | Application configuration update | 2018-02-24 | ||
| | ||||
* | Translated PQueryies are added to annotation. | 2018-02-24 | ||
| |