projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1dcbba1) | patch
Fixed sat handling of $eqx and $nex with unequal port widths
authorClifford Wolf <clifford@clifford.at>
Fri, 27 Dec 2013 17:11:05 +0000 (18:11 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 27 Dec 2013 17:11:05 +0000 (18:11 +0100)
commit122b3c067b87464bd362ccce96fdeb84fa476653
tree24a53d48d43098b2717808f97bc38e223fba9609tree
parent1dcbba1abf28afae846bd42f49d716892ffd685ccommit | diff
Fixed sat handling of $eqx and $nex with unequal port widths
kernel/satgen.h diff | blob | history