aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/phi-ret.c
AgeCommit message (Expand)AuthorFilesLines
2018-03-14optim: kill unreachable BBS after CFG simplificationLuc Van Oostenryck1-1/+0
2018-03-14optim: add some more optimization testsLuc Van Oostenryck1-0/+22