| commit | 8eeecbc50b5f6f569b4d6d1a141624f0018ffb2d | [log] [tgz] |
|---|---|---|
| author | David Brazdil <dbrazdil@google.com> | Tue Mar 31 09:39:06 2015 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Mar 31 09:39:07 2015 +0000 |
| tree | d362e568c8d0261e8a0db3b543d767a35c54a0a7 | |
| parent | e684224201233ed35e15c3df8944bd3444984edf [diff] | |
| parent | 2846b6810e196a1b25bf2d1b5cbe73dee4a2b286 [diff] |
Merge "ART: General-case negation in boolean simplifier"