commit | c65d1f3d26a47e2fce3c3f8872e7942fec23f9b9 | [log] [tgz] |
---|---|---|
author | Aart Bik <ajcbik@google.com> | Thu Oct 29 21:00:17 2015 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Oct 29 21:00:17 2015 +0000 |
tree | 1b81ca0d711ca0561e933563aee255b516a4191f | |
parent | 5ad27592e2317b4c7932885eff702099f7cbe0f1 [diff] | |
parent | 73f1f3be46652d3f6df61b4234c366ebbf81274a [diff] |
Merge "Move loop invariant utility to more general place."