Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [IRCE] Relax restriction on collected range checks | Max Kazantsev | 2018-04-09 | 1 | -6/+6 |
* | [New PM][IRCE] port of Inductive Range Check Elimination pass to the new pass... | Fedor Sergeev | 2018-03-15 | 1 | -0/+1 |
* | [IRCE] Smart range intersection | Max Kazantsev | 2017-11-20 | 1 | -3/+18 |
* | [IRCE] Fix intersection between signed and unsigned ranges | Max Kazantsev | 2017-10-25 | 1 | -6/+232 |
* | [IRCE] Temporarily disable unsigned latch conditions by default | Max Kazantsev | 2017-10-04 | 1 | -0/+45 |