aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/bool-int-bool.c
AgeCommit message (Expand)AuthorFilesLines
2018-06-28bool: simplify ZEXT in bool -> int -> boolLuc Van Oostenryck1-0/+12