Diff - 6028f5df1a7f86e73028c6a0c2b63ab16a1335d6^2..6028f5df1a7f86e73028c6a0c2b63ab16a1335d6 - third_party/yosys - Git at Google

commit: 6028f5df1a7f86e73028c6a0c2b63ab16a1335d6
[log]
author: Clifford Wolf <clifford@clifford.at>
Wed Oct 02 13:48:09 2019 +0200
committer: GitHub <noreply@github.com>
Wed Oct 02 13:48:09 2019 +0200
tree: 84e0a75011eb44e782772c64b64ef7b470257f89
parent: da347b9f7e8ce9738598931283ba98f8c98924cb [diff]
parent: a84a2d74c779b8023c0bbfc02fa4576d8c4cecca [diff]

Merge pull request #1428 from YosysHQ/clifford/fixbtor

Fix btor back-end to use "state" instead of "input" for undef init bits