aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/cutpoint.cc
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #2173 from whitequark/use-cxx11-final-overridewhitequark2020-06-191-2/+2
|\
| * Use C++11 final/override keywords.whitequark2020-06-181-2/+2
* | cutpoint: Improve efficiency by iterating over module ports instead of module...Alberto Gonzalez2020-06-181-9/+10
|/
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-1/+1
* Fixed the help summary line for a few commandsacw12512019-06-191-1/+1
* Add "cutpoint -undef"Clifford Wolf2019-03-261-10/+14
* Add "cutpoint" passClifford Wolf2019-03-251-0/+164