OSDN Git Service

Merge "Recognize XOR-based periodic induction."
authorAart Bik <ajcbik@google.com>
Wed, 12 Oct 2016 23:04:39 +0000 (23:04 +0000)
committerandroid-build-merger <android-build-merger@google.com>
Wed, 12 Oct 2016 23:04:39 +0000 (23:04 +0000)
commit7169ef7abef280b12ac1cd5bac6c91db209e628b
treed9585c36fd746e1287e5294012774a5eea4eeb04
parent03cd3d719c565ffebd089bd073cb5ff0e97585d0
parent023161ec66746da03daf9de584569b453ff45689
Merge "Recognize XOR-based periodic induction."
am: 023161ec66

Change-Id: Ib3779df3c48d6757b6e53e2c5e12eb0c6e8ca176