| commit | 023161ec66746da03daf9de584569b453ff45689 | [log] [tgz] |
|---|---|---|
| author | Treehugger Robot <treehugger-gerrit@google.com> | Wed Oct 12 22:57:20 2016 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Oct 12 22:57:20 2016 +0000 |
| tree | d9585c36fd746e1287e5294012774a5eea4eeb04 | |
| parent | b38187c7a91ce3fd56921991715dd08a94f3ad16 [diff] | |
| parent | 7dc96932491dde6b5b58998254d5837dbcbbde03 [diff] |
Merge "Recognize XOR-based periodic induction."