| commit | 55d152c98730f3037be205bf50755005a126463f | [log] [tgz] |
|---|---|---|
| author | David Brazdil <dbrazdil@google.com> | Fri Feb 05 17:25:10 2016 +0000 |
| committer | android-build-merger <android-build-merger@google.com> | Fri Feb 05 17:25:10 2016 +0000 |
| tree | d68b5ac84e699ace5ffb55f1285b841215c6061e | |
| parent | 24e3aa136a6a82fdfe4e231484ac56d9106de12f [diff] | |
| parent | 49772e2c6b36107f0eadbd6c80092c789dced81a [diff] |
Merge "Extend De Morgan factorisation to `HBooleanNot`." am: 0f638c6468 am: 49772e2c6b * commit '49772e2c6b36107f0eadbd6c80092c789dced81a': Extend De Morgan factorisation to `HBooleanNot`.