aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/bool-context-fp.c
AgeCommit message (Expand)AuthorFilesLines
2018-06-28bool: generate plain OP_{AND,OR} instead of OP_{AND,OR}_BOOLLuc Van Oostenryck1-4/+4
2018-06-28bool: fix missing boolean context for floatsLuc Van Oostenryck1-0/+48
2018-01-08add OP_SETFVALLuc Van Oostenryck1-0/+47