github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-05-03 06:40:15 +00:00
Code Issues Releases Wiki Activity
Files
ef07a313b4122b9ceb233ed7dd4733db97272577
YosysHQ.yosys/backends/btor/btor.cc
Clifford Wolf 1b49380f6b Improve BTOR2 handling of undriven wires 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-06-26 17:42:00 +02:00

33 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink