Age | Commit message (Expand) | Author |
---|---|---|
2018-08-17 | [MustExecute] Fix algorithmic bug in isGuaranteedToExecute. PR38514 | Max Kazantsev |
2018-08-10 | [NFC] Add tests that demonstrate that MustExecute is fundamentally broken | Max Kazantsev |
2018-05-18 | [LICM] Extend the MustExecute scope | Serguei Katkov |
2018-03-20 | [MustExecute] Shwo the effect of using full loop info variant | Philip Reames |
2018-03-20 | [MustExecute] Add simplest possible test for LoopSafetyOnfo | Philip Reames |
2018-03-20 | [MustExecute] Use the annotation style printer | Philip Reames |
2018-03-20 | Add an analysis printer for must execute reasoning | Philip Reames |