Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-6077 more conservative TreeMakersToConds for CSE | Adriaan Moors | 2012-07-14 | 1 | -0/+1 |
we were dropping irrefutable extractor calls (implemented for SI-4691) in common subcondition elimination, which caused bad code to be generated clean up TreeMakersToConds significantly in the process |