aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/supercover.cc
Commit message (Collapse)AuthorAgeFilesLines
* Improvements in "supercover" passClifford Wolf2019-02-271-2/+18
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "supercover" skeletonClifford Wolf2019-02-271-0/+76
Signed-off-by: Clifford Wolf <clifford@clifford.at>