github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-25 03:46:21 +00:00
Code Issues Releases Wiki Activity
Files
1de5d98ae2baa23aeddecbb5bda6ef12d46785ac
YosysHQ.yosys/backends/btor/btor.cc
Jannis Harder 014cb531aa Merge pull request #4645 from georgerennie/george/btor_undef_array_init 
write_btor: only initialize array with const value when it is fully def
2024-11-11 16:18:57 +01:00

44 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink