| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2020-11-22 | not: simplify ((x cmp y) {&,|,^} (x !cmp y)) --> {0,1,1} | Luc Van Oostenryck | 1 | -1/+0 | |
| Simplify bitwise operations on a compare and its complement into 0 (for &) or 1 for (| and ^). Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | |||||
| 2020-11-22 | not: add testcases for canonicalization & simplification of negations | Luc Van Oostenryck | 1 | -0/+12 | |
| Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | |||||
