aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/supercover.cc
Commit message (Expand)AuthorAgeFilesLines
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
* Improvements in "supercover" passClifford Wolf2019-02-271-2/+18
* Add "supercover" skeletonClifford Wolf2019-02-271-0/+76