aboutsummaryrefslogtreecommitdiffstats
path: root/passes/equiv/equiv_purge.cc
Commit message (Expand)AuthorAgeFilesLines
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
* use the new isPublic() in a few placesN. Engelhardt2020-09-141-2/+2
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-2/+2
* kernel: use more ID::*Eddie Hung2020-04-021-5/+5
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
* Squelch trailing whitespaceLarry Doolittle2017-04-121-1/+1
* Improved equiv_purge log outputClifford Wolf2016-11-291-1/+1
* 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