OSDN Git Service

Merge "Recognize XOR-based periodic induction."
authorTreehugger Robot <treehugger-gerrit@google.com>
Wed, 12 Oct 2016 22:57:20 +0000 (22:57 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Wed, 12 Oct 2016 22:57:20 +0000 (22:57 +0000)
commit023161ec66746da03daf9de584569b453ff45689
treed9585c36fd746e1287e5294012774a5eea4eeb04
parentb38187c7a91ce3fd56921991715dd08a94f3ad16
parent7dc96932491dde6b5b58998254d5837dbcbbde03
Merge "Recognize XOR-based periodic induction."