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