| 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 |

