aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/cmps-minmax.c
AgeCommit message (Expand)AuthorFilesLines
2021-03-10change testing of signed compares against SMIN or SMAXLuc Van Oostenryck1-4/+4
2021-01-26cmps: simplify signed compares with SMIN or SMAXLuc Van Oostenryck1-1/+0
2021-01-26cmps: add testcases for simplification of signed comparesLuc Van Oostenryck1-0/+17