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