tree 84e0a75011eb44e782772c64b64ef7b470257f89
parent da347b9f7e8ce9738598931283ba98f8c98924cb
parent a84a2d74c779b8023c0bbfc02fa4576d8c4cecca
author Clifford Wolf <clifford@clifford.at> 1570016889 +0200
committer GitHub <noreply@github.com> 1570016889 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJdlI55CRBK7hj4Ov3rIwAAdHIIAFQuXHdTTP4q9oW+8IKTE5xC
 I6B5c/RhpqSqsngxUrz0NeDQx8P9Yvc0/3kuCjtXCvfwBPSZjhOrUcYf1Zn5QAlE
 txB/M0J3Fvapb0CcYUXv2YhxXWv/7U8PMSotO6VVKbEzAKpu123nJaqPx5y1d56Z
 x/yRBBmC3UGlrLfgZHGM/dhWjHDohYvt73G416VoXHyre/tG0gBSOiItehTF3N0Y
 qznKHHWKl3jvLowr/eBg1f31i++TbRxE6LmCuyGOUQb+CQlPUnLFh0hU1mv+CO4O
 JVcr8NMZv64mURyX2kEft4yEl4dgtRmKIMCB+oBTWDoLcVSUl2JpNj+paLWGTQE=
 =pNVp
 -----END PGP SIGNATURE-----
 

Merge pull request #1428 from YosysHQ/clifford/fixbtor

Fix btor back-end to use "state" instead of "input" for undef init bits