aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/trunc-not0.c
AgeCommit message (Expand)AuthorFilesLines
2021-04-19simplify TRUNC(NOT(x)) --> NOT(TRUNC(x))Luc Van Oostenryck1-1/+0
2021-04-18add testcases for simplification of casts.Luc Van Oostenryck1-0/+21