Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Convert the uses of '|&' to use '2>&1 |' instead, which works on old | Chandler Carruth | 2012-07-02 |
* | Use dominates(Instruction, Use) in the verifier. | Rafael Espindola | 2012-06-01 |
* | Add some tests checking that the verifier rejects cases where a definition | Rafael Espindola | 2012-06-01 |