OSDN Git Service

Merge "ART: General-case negation in boolean simplifier"
authorDavid Brazdil <dbrazdil@google.com>
Tue, 31 Mar 2015 09:39:06 +0000 (09:39 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Tue, 31 Mar 2015 09:39:07 +0000 (09:39 +0000)
commit8eeecbc50b5f6f569b4d6d1a141624f0018ffb2d
treed362e568c8d0261e8a0db3b543d767a35c54a0a7
parente684224201233ed35e15c3df8944bd3444984edf
parent2846b6810e196a1b25bf2d1b5cbe73dee4a2b286
Merge "ART: General-case negation in boolean simplifier"