Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge branch 'kris' | Kristóf Marussy | 2020-06-25 |
|\ | |||
| * | Measurements WIP | Kristóf Marussy | 2019-08-14 |
| | | |||
| * | Objective POC implementation | Kristóf Marussy | 2019-04-08 |
| | | |||
| * | Infrastructure for objective functions | Kristóf Marussy | 2019-04-07 |
| | | |||
* | | TransformationExecutionTime + weights can be controlled from config | Oszkar Semerath | 2020-05-17 |
| | | |||
* | | detailed runtimes + counting defined objects only | Oszkar Semerath | 2020-05-17 |
| | | |||
* | | advanced goal heuristics for missing containment and non-cont. edges | Oszkar Semerath | 2020-05-12 |
| | | |||
* | | separated must and current UP rules to support non-prop neg finds | Oszkar Semerath | 2020-05-11 |
| | | |||
* | | measurement time statistics + activation selection strategies | Oszkar Semerath | 2020-05-10 |
|/ | |||
* | If scope available, then it is maintained during generation via VS | OszkarSemerath | 2018-09-14 |
| | |||
* | Migrating Additional projects | OszkarSemerath | 2017-06-10 |