aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/bool-simplify.c
AgeCommit message (Expand)AuthorFilesLines
2018-06-28bool: generate plain OP_{AND,OR} instead of OP_{AND,OR}_BOOLLuc Van Oostenryck1-0/+25
2018-06-23cast: specialize integer castsLuc Van Oostenryck1-2/+2
2017-05-12fix boolean context for OP_AND_BOOL & OP_OR_BOOLLuc Van Oostenryck1-2/+6
2017-02-13simplify '(x || 1)' to '1'Luc Van Oostenryck1-0/+51