aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/canonical-not.c
AgeCommit message (Expand)AuthorFilesLines
2020-11-22not: add testcases for canonicalization & simplification of negationsLuc Van Oostenryck1-0/+9