Commit message (Expand) | Author | Age | |
---|---|---|---|
* | detailed runtimes + counting defined objects only | 2020-05-17 | |
* | advanced goal heuristics for missing containment and non-cont. edges | 2020-05-12 | |
* | separated must and current UP rules to support non-prop neg finds | 2020-05-11 | |
* | measurement time statistics + activation selection strategies | 2020-05-10 | |
* | If scope available, then it is maintained during generation via VS | 2018-09-14 | |
* | Migrating Additional projects | 2017-06-10 |