2011-01-15 | Rafael Espindola | Allow unnamed_addr on declarations. | blob | commitdiff | raw |
2011-01-13 | Rafael Espindola | Reject uses of unnamed_addr in declarations. | blob | commitdiff | raw | diff to current |
2011-01-08 | Rafael Espindola | First step in fixing PR8927: | blob | commitdiff | raw | diff to current |
2010-03-13 | Jeffrey Yasskin | Remove a memory leak from VerifierTest. | blob | commitdiff | raw | diff to current |
2010-02-15 | Nick Lewycky | Teach the verifier to check the condition on a branch... | blob | commitdiff | raw | diff to current |