Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | fix node type distance measure | 2020-11-05 | |
| | |||
* | fix merging issue | 2020-11-04 | |
|\ | |||
| * | merge with current master, comment numerical solver related logging | 2020-11-04 | |
| |\ | |||
| | * | Optimizing generator with linear objective functions | 2020-11-02 | |
| | | | |||
| | * | Must unit propagation | 2020-08-28 | |
| | | | |||
| | * | MoDeS3 unit propagation WIP | 2020-08-06 | |
| | | | |||
| | * | Merge branch 'kris' | 2020-06-25 | |
| | |\ | |||
| | | * | Scope unsat benchmarks | 2020-05-07 | |
| | | | | |||
| | | * | Remove empty src directories from build path | 2019-10-29 | |
| | | | | |||
| | | * | Remove MDEOptimiser dependency | 2019-10-29 | |
| | | | | |||
| | | * | Measurements WIP | 2019-08-22 | |
| | | | | |||
| | | * | Measurements WIP | 2019-08-15 | |
| | | | | |||
| | | * | Measurements WIP | 2019-08-14 | |
| | | | | |||
| | | * | Fix enum literal support for FAM | 2019-08-02 | |
| | | | | |||
| | | * | Trying to run generator in measurement environment | 2019-08-01 | |
| | | | | |||
| | | * | Ensure that experiment runner code compiles | 2019-08-01 | |
| | | | | |||
| | | * | Clean up CPS and Satellite domains | 2019-08-01 | |
| | | | | |||
| | | * | Try fix statecode bug | 2019-06-15 | |
| | | | | | | | | | | | | | | | | Modified graph width calculation to not depend on order of nodes | ||
| | | * | Bump MDEOptimizer version | 2019-06-09 | |
| | | | | | | | | | | | | | | | | https://github.com/mde-optimiser/mde_optimiser/issues/49 | ||
| | | * | 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 | |
| | | | | |||
| * | | | add realistic solver | 2020-11-03 | |
| |/ / | |||
| * | | 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 | |
| |/ | |||
* | | changes in settings of measurements | 2019-08-20 | |
| | | |||
* | | comment out constraint for Synchronizations | 2019-08-13 | |
| | | |||
* | | REALMET: first impl of n'hood visualis. minor bug with adding outgng 0s. | 2019-05-19 | |
|/ | |||
* | 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 | |
| |