| commit | 9c88c3d593dd4d29a24a53684eae6f86f0967f13 | [log] [tgz] |
|---|---|---|
| author | Andreas Gampe <agampe@google.com> | Wed Jan 25 21:08:56 2017 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Jan 25 21:08:57 2017 +0000 |
| tree | 37604578bcf68ade424217e77dfd5ac0b342b554 | |
| parent | c0f0781595d4037d73da2b95f188d2066a9d53d2 [diff] | |
| parent | 0a27fd0e1177c58a344e7321fcae716c94c127eb [diff] |
Merge "Preserve verification invariant after compile-time verification."