| commit | b8f6d7c3360180174276bab7618760724500d148 | [log] [tgz] |
|---|---|---|
| author | Aart Bik <ajcbik@google.com> | Thu Oct 29 21:06:17 2015 +0000 |
| committer | android-build-merger <android-build-merger@google.com> | Thu Oct 29 21:06:17 2015 +0000 |
| tree | 1b81ca0d711ca0561e933563aee255b516a4191f | |
| parent | f080d1cc9101813bb15d47f9775e32c86868e462 [diff] | |
| parent | c65d1f3d26a47e2fce3c3f8872e7942fec23f9b9 [diff] |
Merge "Move loop invariant utility to more general place." am: c65d1f3d26 * commit 'c65d1f3d26a47e2fce3c3f8872e7942fec23f9b9': Move loop invariant utility to more general place.