Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Reject uses of unnamed_addr in declarations. | Rafael Espindola | 2011-01-13 | 1 | -0/+26 |
* | First step in fixing PR8927: | Rafael Espindola | 2011-01-08 | 1 | -0/+20 |
* | Remove a memory leak from VerifierTest. | Jeffrey Yasskin | 2010-03-13 | 1 | -3/+4 |
* | Teach the verifier to check the condition on a branch and ensure that it has | Nick Lewycky | 2010-02-15 | 1 | -0/+44 |