aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/canonical-cmpe-minmax.c
AgeCommit message (Expand)AuthorFilesLines
2021-01-26cmps: canonicalize SMIN/SMAX +- 1 --> EQ/NELuc Van Oostenryck1-1/+0
2021-01-26cmps: add testcases for simplification of signed comparesLuc Van Oostenryck1-0/+17