summaryrefslogtreecommitdiff
path: root/passes/equiv/equiv_purge.cc
Commit message (Expand)AuthorAge
* equiv_purge bugfix, using SigChunk in Yosys namespaceClifford Wolf2015-10-24
* Added equiv_mark commandClifford Wolf2015-10-23
* Added equiv_purgeClifford Wolf2015-10-22