| commit | 579bd1d0f5ee1ad1f8488ffa2bc0866cecbe87e5 | [log] [tgz] |
|---|---|---|
| author | Aart Bik <ajcbik@google.com> | Wed Oct 12 23:11:41 2016 +0000 |
| committer | android-build-merger <android-build-merger@google.com> | Wed Oct 12 23:11:41 2016 +0000 |
| tree | d9585c36fd746e1287e5294012774a5eea4eeb04 | |
| parent | e22e2ecc493cf269b8e4c2cdddb4dc7d38c59d52 [diff] | |
| parent | 7169ef7abef280b12ac1cd5bac6c91db209e628b [diff] |
Merge "Recognize XOR-based periodic induction." am: 023161ec66 am: 7169ef7abe Change-Id: I0d708d59b95b0cc1df80e6f9ae77f5b8fc6edcb4