aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/fact-ior-shift.c
AgeCommit message (Expand)AuthorFilesLines
2020-11-27factorize SHIFT(x, s) OP SHIFT(y, s) into SHIFT((x OP y), s)Luc Van Oostenryck1-1/+0
2020-11-27add testscases for some factorization of distributive operationsLuc Van Oostenryck1-0/+27