aboutsummaryrefslogtreecommitdiffstats
path: root/passes/equiv/equiv_struct.cc
Commit message (Expand)AuthorAgeFilesLines
* Added "yosys -D" featureClifford Wolf2016-04-211-1/+1
* Added "equiv_struct -fwonly"Clifford Wolf2016-01-081-5/+17
* Bugfixes in equiv_structClifford Wolf2016-01-081-2/+9
* Added "equiv_struct -maxiter <N>"Clifford Wolf2016-01-061-4/+16
* Improvements in equiv_structClifford Wolf2015-10-251-17/+62
* Major refactoring of equiv_structClifford Wolf2015-10-251-93/+165
* equiv_struct now creates equiv_merged attributesClifford Wolf2015-10-251-0/+3
* Improvements in equiv_structClifford Wolf2015-10-241-1/+22
* Also merge $equiv cells in equiv_structClifford Wolf2015-10-231-0/+1
* Improvements in equiv_structClifford Wolf2015-10-231-11/+18
* Added equiv_struct commandClifford Wolf2015-10-211-0/+187