| commit | 73d1f2767d5866593c780bede8091f3aee81aecf | [log] [tgz] |
|---|---|---|
| author | Ian Rogers <irogers@google.com> | Fri Jun 13 18:34:21 2014 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Jun 12 05:34:11 2014 +0000 |
| tree | 22c65b5b728a27313b4efd24a0a59e2e55dcd32c | |
| parent | f08793720664025af1c45798bb30cf81575b1f79 [diff] | |
| parent | 5fb22a916dcb652fd2c2a2421de621f458177dcd [diff] |
Merge "Don't verify runtime only opcodes in the data-flow phase of verification."