OSDN Git Service

Merge "Preserve verification invariant after compile-time verification."
authorAndreas Gampe <agampe@google.com>
Wed, 25 Jan 2017 21:08:56 +0000 (21:08 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Wed, 25 Jan 2017 21:08:57 +0000 (21:08 +0000)
commit9c88c3d593dd4d29a24a53684eae6f86f0967f13
tree37604578bcf68ade424217e77dfd5ac0b342b554
parentc0f0781595d4037d73da2b95f188d2066a9d53d2
parent0a27fd0e1177c58a344e7321fcae716c94c127eb
Merge "Preserve verification invariant after compile-time verification."