Age | Commit message (Expand) | Author |
---|---|---|
2012-07-02 | Convert the uses of '|&' to use '2>&1 |' instead, which works on old | Chandler Carruth |
2012-06-01 | 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 |