Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | Simplify satellite metamodel further | 2019-06-09 | ||
| | | ||||
| * | Trying to simplify Satellite case study | 2019-06-08 | ||
| | | ||||
| * | MDEOptimiser tuning for CPS | 2019-05-25 | ||
| | | ||||
| * | MDEOptimiser implementation of CPS benchmark | 2019-05-22 | ||
| | | ||||
| * | VIATRA DSE and COIN-OR CBC implementations of CPS case study | 2019-05-21 | ||
| | | ||||
| * | Model generator for CPS case study | 2019-05-17 | ||
| | | | | | | | | Added extra constraint for redundancy in CPS deployments | |||
| * | Formalize CPS case study for optimization | 2019-05-15 | ||
| | | ||||
| * | Do not use derived features in satellite case study vql | 2019-05-07 | ||
| | | ||||
| * | Revert "Try to restructure satellite case study" | 2019-05-07 | ||
| | | | | | | | | This reverts commit 9b83e33c055660f6de218d1b672f67734675f1f6. | |||
| * | Try to restructure satellite case study | 2019-05-07 | ||
| | | ||||
| * | Trying to implement spacecraft case study | 2019-05-06 | ||
| | | ||||
| * | Metrics for satellite case study | 2019-05-04 | ||
| | | ||||
| * | Satellite constellation case study WIP | 2019-04-15 | ||
| | | ||||
| * | Build with Eclipse 2018.12, generated files change | 2019-02-19 | ||
| | | ||||
* | | Merge remote-tracking branch 'upstream/master' | 2020-05-19 | ||
|\ \ | ||||
| * | | Satelite case study update for Models-Attribute paper | 2020-05-11 | ||
|/ / | ||||
* | | Add satellite case study | 2020-05-10 | ||
| | | ||||
* | | Rebuild with Eclipse 2020-03 | 2020-05-07 | ||
|/ | ||||
* | Query parser update to current Viatra milestone | 2018-05-18 | ||
| | ||||
* | added gitignore to generated outputs | 2018-05-12 | ||
| | ||||
* | Project update | 2018-05-12 | ||
| | ||||
* | VSConfig update | 2018-05-12 | ||
| | ||||
* | Example updated | 2018-05-12 | ||
| | ||||
* | Removed unused projects | 2018-03-24 | ||
| | ||||
* | example projects added | 2018-03-24 | ||
| | ||||
* | Added a set of mutated queries to yakindu | 2017-10-27 | ||
| | ||||
* | Alloy Examples | 2017-08-20 | ||
| | ||||
* | Added progress and basic statstic report to the yakindu model | 2017-07-05 | ||
| | | | translator. | |||
* | Bug with outgoing transitions in yakindu example. | 2017-07-05 | ||
| | ||||
* | Model translator and sanitiser from original yakindu files to simplified | 2017-06-21 | ||
| | | | | | metamodel. Added a sample Main function. | |||
* | generated code for the newly added types | 2017-06-21 | ||
| | ||||
* | Added missing types: exit state, final state and choice | 2017-06-21 | ||
| | ||||
* | Divers Generation times are added to statisticsexample scenario | 2017-06-16 | ||
| | ||||
* | Migrating Additional projects | 2017-06-10 | ||