aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/canonical-cmpu.c
AgeCommit message (Expand)AuthorFilesLines
2020-11-08cmp: canonicalize unsigned (x {<,>=} C) --> (x {<=,>} C-1)Luc Van Oostenryck1-1/+0
2020-11-05cmp: add testcases for the simplification of comparesLuc Van Oostenryck1-0/+16