aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/canonical-abs.c
AgeCommit message (Expand)AuthorFilesLines
2021-01-26cmps: canonicalize SEL(x > 0, a, -a) --> SEL(x >= 0, a, -a)Luc Van Oostenryck1-1/+0
2021-01-26cmps: add testcases for simplification of signed comparesLuc Van Oostenryck1-0/+12