Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [IRCE] isKnownNonNegative helper function | Sam Parker | 2018-04-12 | 1 | -1/+1 |
* | [IRCE] Enable decreasing loops of non-const bound | Sam Parker | 2018-03-27 | 1 | -0/+180 |
* | [IRCE] Enable increasing loops of variable bounds | Sam Parker | 2018-03-26 | 1 | -0/+174 |