OSDN Git Service

Merge "Added ability to generate last-value of linear induction. Also added utility...
authorAart Bik <ajcbik@google.com>
Thu, 15 Sep 2016 17:40:16 +0000 (17:40 +0000)
committerandroid-build-merger <android-build-merger@google.com>
Thu, 15 Sep 2016 17:40:16 +0000 (17:40 +0000)
am: 514e346dd7

Change-Id: I689c8d493d9ae741480d09ac25609541404c25e1


Trivial merge