Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | | Config language WIP | 2020-05-19 | ||
|/ / | ||||
* | | Merge branch 'master' of github.com:viatra/VIATRA-Generator | 2020-05-10 | ||
|\ \ | ||||
| * | | Adjust PLEDEG Java Case Study file | 2020-05-09 | ||
| | | | ||||
| * | | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator | 2020-05-09 | ||
| |\ \ | ||||
| | * | | Finish UML2GML visualization (formerly UML2TGF) | 2020-05-09 | ||
| | | | | ||||
| | * | | Implement UML Instance 2 GML visualization mapping | 2020-05-09 | ||
| | | | | ||||
| * | | | case study fix | 2020-05-09 | ||
| |/ / | ||||
| * | | Adjust FamilyTree Case Study | 2020-05-08 | ||
| | | | ||||
* | | | Update solver language grammar | 2020-05-08 | ||
|/ / | | | | | | | First version, still needs TokenSource and Linker to work. | |||
* | | Rebuild with Eclipse 2020-03 | 2020-05-07 | ||
| | | ||||
* | | Adjustments to FamilyTree and Pledge Case studies | 2020-05-06 | ||
| | | ||||
* | | Rename pledge case study file | 2020-04-28 | ||
| | | ||||
* | | Able to run Pledge Case Study | 2020-04-28 | ||
| | | ||||
* | | rename Pledge Case Studies and add familyTree case study | 2020-04-27 | ||
| | | ||||
* | | Add PLEDGE case study files | 2020-04-26 | ||
|/ | ||||
* | ViatraSolver as default | 2018-11-07 | ||
| | ||||
* | Ecore gen test | 2018-11-07 | ||
| | ||||
* | Example standalone runs | 2018-10-08 | ||
| | ||||
* | Removed PQuery from API, IQuerySpecification is used instead | 2018-01-23 | ||
| | ||||
* | Test and measurement runners | 2017-10-27 | ||
| | ||||
* | Runners | 2017-10-17 | ||
| | ||||
* | measurement and mutant coverage | 2017-10-16 | ||
| | ||||
* | Research paper measurement configuration updates | 2017-09-27 | ||
| | ||||
* | Alloy Examples | 2017-08-20 | ||
| | ||||
* | Bugfixing typo in generated queries | 2017-08-16 | ||
| | ||||
* | runners with new type scopes | 2017-08-16 | ||
| | ||||
* | The test runners now ignore every folder beginning with "output*" | 2017-07-12 | ||
| | | | Those folders are used for generated models. | |||
* | Corrected the configuration in the test runners. | 2017-07-12 | ||
| | ||||
* | Pattern coverage measuring program. | 2017-07-05 | ||
| | ||||
* | Example configuration for running measurements. | 2017-07-05 | ||
| | ||||
* | Divers Generation times are added to statisticsexample scenario | 2017-06-16 | ||
| | ||||
* | Migrating Additional projects | 2017-06-10 | ||
| | ||||
* | Initial commit, migrating from SVN | 2017-06-10 | ||