Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added uniform expression analysis, and started using it to do less predication. | 2012-03-23 | |
* | Do not generate equality candidates for variables that are not in the mod set. | 2012-03-22 | |
* | Race checking assertions are now added as invariants and pre/post conditions ... | 2012-03-05 |