projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6053b8) | patch
Improve BTOR2 handling of undriven wires
authorClifford Wolf <clifford@clifford.at>
Wed, 26 Jun 2019 15:42:00 +0000 (17:42 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 26 Jun 2019 15:42:00 +0000 (17:42 +0200)
commit1b49380f6bd79cb037fb36a3d06adf386968dc47
tree8e5a5a75ac0157d7c31e6746b3e86f1cfee90a06tree
parentf6053b88103bfc652dec1959f30bfb1880613f61commit | diff
Improve BTOR2 handling of undriven wires

Signed-off-by: Clifford Wolf <clifford@clifford.at>
backends/btor/btor.cc diff | blob | history