Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Measurements WIP | Kristóf Marussy | 2019-08-15 |
| | |||
* | Measurements WIP | Kristóf Marussy | 2019-08-14 |
| | |||
* | Fix enum literal support for FAM | Kristóf Marussy | 2019-08-02 |
| | |||
* | Trying to run generator in measurement environment | Kristóf Marussy | 2019-08-01 |
| | |||
* | Ensure that experiment runner code compiles | Kristóf Marussy | 2019-08-01 |
| | |||
* | Clean up CPS and Satellite domains | Kristóf Marussy | 2019-08-01 |
| | |||
* | Try fix statecode bug | Kristóf Marussy | 2019-06-15 |
| | | | | Modified graph width calculation to not depend on order of nodes | ||
* | Bump MDEOptimizer version | Kristóf Marussy | 2019-06-09 |
| | | | | https://github.com/mde-optimiser/mde_optimiser/issues/49 | ||
* | Simplify satellite metamodel further | Kristóf Marussy | 2019-06-09 |
| | |||
* | Trying to simplify Satellite case study | Kristóf Marussy | 2019-06-08 |
| | |||
* | MDEOptimiser tuning for CPS | Kristóf Marussy | 2019-05-25 |
| | |||
* | MDEOptimiser implementation of CPS benchmark | Kristóf Marussy | 2019-05-22 |
| | |||
* | VIATRA DSE and COIN-OR CBC implementations of CPS case study | Kristóf Marussy | 2019-05-21 |
| | |||
* | Model generator for CPS case study | Kristóf Marussy | 2019-05-17 |
| | | | | Added extra constraint for redundancy in CPS deployments | ||
* | Formalize CPS case study for optimization | Kristóf Marussy | 2019-05-15 |
| | |||
* | Do not use derived features in satellite case study vql | Kristóf Marussy | 2019-05-07 |
| | |||
* | Revert "Try to restructure satellite case study" | Kristóf Marussy | 2019-05-07 |
| | | | | This reverts commit 9b83e33c055660f6de218d1b672f67734675f1f6. | ||
* | Try to restructure satellite case study | Kristóf Marussy | 2019-05-07 |
| | |||
* | Trying to implement spacecraft case study | Kristóf Marussy | 2019-05-06 |
| | |||
* | Metrics for satellite case study | Kristóf Marussy | 2019-05-04 |
| | |||
* | Satellite constellation case study WIP | Kristóf Marussy | 2019-04-15 |
| | |||
* | Build with Eclipse 2018.12, generated files change | Kristóf Marussy | 2019-02-19 |
| | |||
* | Query parser update to current Viatra milestone | OszkarSemerath | 2018-05-18 |
| | |||
* | added gitignore to generated outputs | OszkarSemerath | 2018-05-12 |
| | |||
* | Project update | OszkarSemerath | 2018-05-12 |
| | |||
* | VSConfig update | OszkarSemerath | 2018-05-12 |
| | |||
* | Example updated | OszkarSemerath | 2018-05-12 |
| | |||
* | Removed unused projects | OszkarSemerath | 2018-03-24 |
| | |||
* | example projects added | OszkarSemerath | 2018-03-24 |
| | |||
* | Added a set of mutated queries to yakindu | OszkarSemerath | 2017-10-27 |
| | |||
* | Alloy Examples | OszkarSemerath | 2017-08-20 |
| | |||
* | Added progress and basic statstic report to the yakindu model | OszkarSemerath | 2017-07-05 |
| | | | translator. | ||
* | Bug with outgoing transitions in yakindu example. | OszkarSemerath | 2017-07-05 |
| | |||
* | Model translator and sanitiser from original yakindu files to simplified | OszkarSemerath | 2017-06-21 |
| | | | | | metamodel. Added a sample Main function. | ||
* | generated code for the newly added types | OszkarSemerath | 2017-06-21 |
| | |||
* | Added missing types: exit state, final state and choice | OszkarSemerath | 2017-06-21 |
| | |||
* | Divers Generation times are added to statisticsexample scenario | OszkarSemerath | 2017-06-16 |
| | |||
* | Migrating Additional projects | OszkarSemerath | 2017-06-10 |