Age | Commit message (Expand) | Author |
---|---|---|
2017-10-02 | Move the stripping of invalid debug info from the Verifier to AutoUpgrade. | Adrian Prantl |
2017-09-24 | [Verifier] Stop accepting broken DIGlobalVariable(s). | Davide Italiano |
2017-08-30 | Canonicalize the representation of empty an expression in DIGlobalVariableExp... | Adrian Prantl |
2017-08-17 | [Verifier] Avoid visiting DIGlobalVariables twice. | Davide Italiano |
2017-08-16 | [Verifier] Reject globals without a type associated. | Davide Italiano |