github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-27 20:49:44 +00:00
Code Issues Releases Wiki Activity
Files
b3dc28cf65dcadd9038ff068be239e2f81f504f4
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