aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/simplify-not-add-cte.c
AgeCommit message (Expand)AuthorFilesLines
2020-10-24unop: simplify ~(x + C) --> ~C - xLuc Van Oostenryck1-1/+0
2020-10-23unop: add testcases for unop simplificationsLuc Van Oostenryck1-0/+12