aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/dup-cond0.c
AgeCommit message (Expand)AuthorFilesLines
2018-06-16testsuite: fix missing returnLuc Van Oostenryck1-0/+1
2018-03-14optim: kill unreachable BBS after CFG simplificationLuc Van Oostenryck1-1/+0
2018-03-14optim: add some more optimization testsLuc Van Oostenryck1-0/+20