aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/reassoc-op-op1.c
AgeCommit message (Expand)AuthorFilesLines
2020-10-20reassoc: simplify (x # C) # K --> x # eval(C # K)Luc Van Oostenryck1-1/+0
2020-10-20add testcases about OP_ADD & OP_SUB simplificationsLuc Van Oostenryck1-0/+15