aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/cmpe-or0.c
AgeCommit message (Expand)AuthorFilesLines
2021-03-10simplify (x | M) {==,!=} CLuc Van Oostenryck1-1/+0
2021-03-10add testcases for constant compares against AND/ORLuc Van Oostenryck1-0/+11