aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/select-select-true-false1.c
AgeCommit message (Expand)AuthorFilesLines
2020-11-07select: simplify SEL(SEL(x, C, 0), y, z) --> SEL(x, y, z) and its dualLuc Van Oostenryck1-1/+0
2020-11-07select: add some testcases for select simplificationLuc Van Oostenryck1-0/+14