github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-25 20:02:10 +00:00
Code Issues Releases Wiki Activity
Files
2badaa9adbf3fa976ac7e9d967e7d098de429bed
YosysHQ.yosys/backends/btor/btor.cc
Clifford Wolf cd44826d50 Use cell name for btor bad state props when it is a public name 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-11-14 11:57:38 +01:00

34 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink