Merge pull request #833 from YosysHQ/clifford/fix831
authorClifford Wolf <clifford@clifford.at>
Thu, 28 Feb 2019 21:40:27 +0000 (13:40 -0800)
committerGitHub <noreply@github.com>
Thu, 28 Feb 2019 21:40:27 +0000 (13:40 -0800)
commit069801e44162c3b254b6eb4587a5dd6f7b37af02
treea4f251b930565596dd94d8726486ddc3eac9f2f4
parent5e94a8a12777222c21c4dc70b16ede1de7f6ea99
parentf570aa5e1d3ac201089da2198f8e5084185fd92f
Merge pull request #833 from YosysHQ/clifford/fix831

Fix smt2 code generation for partially initialized memory words, fixe…