summaryrefslogtreecommitdiff
path: root/passes/equiv/equiv_purge.cc
Commit message (Expand)AuthorAge
* New upstream version 0.7+20180830git0b7a184Ruben Undheim2018-08-30
* Squashed commit of the following:Ruben Undheim2016-09-23
* equiv_purge bugfix, using SigChunk in Yosys namespaceClifford Wolf2015-10-24
* Added equiv_mark commandClifford Wolf2015-10-23
* Added equiv_purgeClifford Wolf2015-10-22