summaryrefslogtreecommitdiff
path: root/passes/sat/miter.cc
Commit message (Expand)AuthorAge
* Added "miter -equiv -flatten"Clifford Wolf2014-07-20
* added log_header to miter and expose pass, show cell type for exposed portsJohann Glaser2014-05-28
* Added miter -make_outcmpClifford Wolf2014-02-06
* Fixed a bug in miter commandClifford Wolf2014-02-01
* Added miter commandClifford Wolf2014-02-01