projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36df37a) | patch
Fix stupid bug in btor back-end
authorClifford Wolf <clifford@clifford.at>
Wed, 18 Sep 2019 09:56:14 +0000 (11:56 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 18 Sep 2019 09:56:14 +0000 (11:56 +0200)
commitb88d2e5f30712f797a5c4fb2b7308494155b95d0
tree906c08ecf5e3246bb3d6ff2777790a805ca24838tree
parent36df37a734c3dd315f00edbe19b364b6f9a1a132commit | diff
Fix stupid bug in btor back-end

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