| commit | 0f638c64686c03256c949051331b0838c9888a2a | [log] [tgz] |
|---|---|---|
| author | David Brazdil <dbrazdil@google.com> | Fri Feb 05 16:07:44 2016 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Feb 05 16:07:44 2016 +0000 |
| tree | 3124ad705f249a98bce4bf7f678e420a1732163e | |
| parent | 11aa3f5c5efd5ce8e761dfd76378a91d9f8dc42b [diff] | |
| parent | 9f98025ba5541641cfa9abb7b9cf30332d91fad1 [diff] |
Merge "Extend De Morgan factorisation to `HBooleanNot`."