aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/supercover.cc
Commit message (Expand)AuthorAgeFilesLines
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
* 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