github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-05-05 07:35:21 +00:00
Code Issues Releases Wiki Activity
Files
c1921b45619fbca4cbcafe3cd9cfdc0fe29e251c
YosysHQ.yosys/backends/btor/btor.cc
Clifford Wolf a84a2d74c7 Fix btor back-end to use "state" instead of "input" for undef init bits 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-10-02 12:48:04 +02:00

34 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink