aboutsummaryrefslogtreecommitdiffstats
path: root/passes/equiv/equiv_purge.cc
Commit message (Expand)AuthorAgeFilesLines
* Added "yosys -D" featureClifford Wolf2016-04-211-1/+1
* equiv_purge bugfix, using SigChunk in Yosys namespaceClifford Wolf2015-10-241-2/+3
* Added equiv_mark commandClifford Wolf2015-10-231-1/+1
* Added equiv_purgeClifford Wolf2015-10-221-0/+209