summaryrefslogtreecommitdiff
path: root/passes/equiv/equiv_miter.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
* Fixed trailing whitespacesClifford Wolf2015-07-02
* Added "equiv_make -blacklist <file> -encfile <file>"Clifford Wolf2015-01-31
* Fixed bug in equiv_miterClifford Wolf2015-01-28
* Added equiv_miterClifford Wolf2015-01-25