OSDN Git Service

Merge "Added ability to generate last-value of linear induction. Also added utility...
authorTreehugger Robot <treehugger-gerrit@google.com>
Thu, 15 Sep 2016 17:34:22 +0000 (17:34 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Thu, 15 Sep 2016 17:34:23 +0000 (17:34 +0000)

Trivial merge