Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix PR2088. Use modulo linear equation solver to compute loop iteration | Wojciech Matyjewicz | 2008-07-20 | 1 | -1/+0 |
* | XFAIL this test. | Nick Lewycky | 2008-07-19 | 1 | -0/+1 |
* | While testing particular algorithms to compute loop iteration count the brute | Wojciech Matyjewicz | 2008-07-19 | 1 | -1/+2 |
* | Whoops -- forgot PR reference on this test. | Nick Lewycky | 2008-05-26 | 1 | -0/+1 |
* | Don't treat values as signed when looking at loop steppings in HowForToNonZero. | Nick Lewycky | 2008-05-25 | 1 | -0/+20 |