aboutsummaryrefslogtreecommitdiffstats
path: root/passes/equiv/equiv_purge.cc
Commit message (Collapse)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