aboutsummaryrefslogtreecommitdiffstats
path: root/passes/equiv/equiv_make.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-4/+4
* 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-1/+1
* SpellingEddie Hung2019-08-221-2/+2
* using [i] to access individual bits of SigSpec and merging bits into a tmp Si...rafaeltp2018-10-211-11/+12
* cleaning up for PRrafaeltp2018-10-201-2/+2
* fixing code stylerafaeltp2018-10-201-1/+1
* solves #675rafaeltp2018-10-201-11/+17
* stop check_signal_in_fanout from traversing FFstklam2018-10-131-2/+2
* stop check_signal_in_fanout from traversing FFstklam2018-10-131-1/+12
* fix bug: pass by referencetklam2018-09-261-1/+1
* Fix issue #639TK Lam2018-09-261-0/+58
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
* Improve log messages in equiv_makeClifford Wolf2018-01-191-2/+2
* Added "yosys -D" featureClifford Wolf2016-04-211-1/+1
* Improved inout handling in equiv_makeClifford Wolf2015-10-211-1/+1
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-141-1/+1
* Fixed trailing whitespacesClifford Wolf2015-07-021-2/+2
* Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")Clifford Wolf2015-01-311-12/+31
* Added "equiv_make -blacklist <file> -encfile <file>"Clifford Wolf2015-01-311-4/+172
* Various equiv_* improvementsClifford Wolf2015-01-241-8/+13
* Improvements in equiv_make, equiv_inductClifford Wolf2015-01-221-0/+34
* Moved equiv stuff to passes/equiv/Clifford Wolf2015-01-221-0/+248