aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/trunc-seteq0.c
AgeCommit message (Expand)AuthorFilesLines
2018-08-06simplify ZEXT(SETCC(x,y), N)Luc Van Oostenryck1-1/+0
2018-08-04add testcase for linearize_logical()Luc Van Oostenryck1-0/+19