aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/bool-simplify2.c
AgeCommit message (Expand)AuthorFilesLines
2018-07-28simplify 'x != 0' or 'x == 1' to 'x'Luc Van Oostenryck1-33/+17
2018-06-28bool: generate plain OP_{AND,OR} instead of OP_{AND,OR}_BOOLLuc Van Oostenryck1-24/+24
2018-06-28bool: simplify ZEXT in bool -> int -> boolLuc Van Oostenryck1-33/+17
2018-06-28bool: add testcase for bool simplificationLuc Van Oostenryck1-0/+247