Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [MustExecute] Improve MustExecute to correctly handle loop nest | Xing Xue | 2019-05-27 | 1 | -5/+3 |
* | [MustExecute] Fix algorithmic bug in isGuaranteedToExecute. PR38514 | Max Kazantsev | 2018-08-17 | 1 | -0/+37 |
* | [MustExecute] Shwo the effect of using full loop info variant | Philip Reames | 2018-03-20 | 1 | -1/+6 |
* | [MustExecute] Add simplest possible test for LoopSafetyOnfo | Philip Reames | 2018-03-20 | 1 | -0/+26 |
* | [MustExecute] Use the annotation style printer | Philip Reames | 2018-03-20 | 1 | -21/+28 |
* | Add an analysis printer for must execute reasoning | Philip Reames | 2018-03-20 | 1 | -0/+80 |