aboutsummaryrefslogtreecommitdiffstats
path: root/passes/equiv/equiv_mark.cc
Commit message (Expand)AuthorAgeFilesLines
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
* 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-6/+6
* kernel: use more ID::*Eddie Hung2020-04-021-4/+4
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
* Added "yosys -D" featureClifford Wolf2016-04-211-1/+1
* Use mfp<> in equiv_markClifford Wolf2015-10-271-28/+4
* Added equiv_mark commandClifford Wolf2015-10-231-0/+263