| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2018-08-22 | add testcase for (((x & M') | (y & M'')) & M) | Luc Van Oostenryck | 1 | -0/+18 | |
| There is a potential problem when the second side of the OR is simplified away. Add 2 testcases to catch possible regressions here. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | |||||
