Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Application puts hyperlinks of the generated files to the console | OszkarSemerath | 2018-08-10 | |
| | ||||
* | Updated type provider to support java native types | OszkarSemerath | 2018-08-10 | |
| | ||||
* | Lowered documentation level requirement for initial partial models | OszkarSemerath | 2018-08-10 | |
| | | | As handling primitive types requires more complex initialisation. | |||
* | Fixing indexing symbolic prototype objects as untyped EObjects | OszkarSemerath | 2018-08-10 | |
| | ||||
* | ReasonerWorkspace adds Schema Location for saving Models into XMI. Fixes | OszkarSemerath | 2018-07-21 | |
| | | | | | | | | #16 Therefore models can be opened using **Sample Reflective Ecore Model Editor** even if the metamodel is reachable. close | |||
* | Scope support for attributes | OszkarSemerath | 2018-07-16 | |
| | ||||
* | Support for building float, double and BigDecimal literals | OszkarSemerath | 2018-07-15 | |
| | ||||
* | cleanup imported package | OszkarSemerath | 2018-07-15 | |
| | ||||
* | Added scope validation as a service of the solver interface | OszkarSemerath | 2018-07-15 | |
| | ||||
* | Additional packages for standalone runtime environment | OszkarSemerath | 2018-07-06 | |
| | ||||
* | Added support for running application in plain java. | OszkarSemerath | 2018-07-05 | |
| | | | | (However, I might added several unnecessary dependencies to the visualisation package.) | |||
* | Fixing multiple true/false + bug preventing generation without PS | OszkarSemerath | 2018-06-25 | |
| | ||||
* | Fixing multiple "true" and "false" objects | OszkarSemerath | 2018-06-20 | |
| | ||||
* | Visualisation stub removed | OszkarSemerath | 2018-06-20 | |
| | ||||
* | Visualisation example using matches during generation | OszkarSemerath | 2018-06-14 | |
| | ||||
* | Visualisation potentionally gets the patterns | OszkarSemerath | 2018-06-14 | |
| | ||||
* | Support for updated partial model representation during generationScope-PS-Refactor | OszkarSemerath | 2018-06-13 | |
| | ||||
* | Updated partial model representation handling | OszkarSemerath | 2018-06-13 | |
| | ||||
* | type multiplicity is refined to 0 | OszkarSemerath | 2018-06-13 | |
| | ||||
* | 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 | |
| |