| commit | 49772e2c6b36107f0eadbd6c80092c789dced81a | [log] [tgz] |
|---|---|---|
| author | David Brazdil <dbrazdil@google.com> | Fri Feb 05 16:11:11 2016 +0000 |
| committer | android-build-merger <android-build-merger@google.com> | Fri Feb 05 16:11:11 2016 +0000 |
| tree | 3124ad705f249a98bce4bf7f678e420a1732163e | |
| parent | d28f78b21970817d76ee3066e4fd65e142c247db [diff] | |
| parent | 0f638c64686c03256c949051331b0838c9888a2a [diff] |
Merge "Extend De Morgan factorisation to `HBooleanNot`." am: 0f638c6468 * commit '0f638c64686c03256c949051331b0838c9888a2a': Extend De Morgan factorisation to `HBooleanNot`.