projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a2fb84f a1a0abf)
Merge pull request #2306 from YosysHQ/mwk/equiv_induct-undef
authorclairexen <claire@symbioticeda.com>
Tue, 28 Jul 2020 10:56:22 +0000 (12:56 +0200)
committerGitHub <noreply@github.com>
Tue, 28 Jul 2020 10:56:22 +0000 (12:56 +0200)
equiv_induct: Fix up assumption for $equiv cells in -undef mode.


Trivial merge