From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 28 Feb 2019 21:40:27 +0000 (-0800)
Subject: Merge pull request #833 from YosysHQ/clifford/fix831
X-Git-Tag: yosys-0.9~294
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=069801e44162c3b254b6eb4587a5dd6f7b37af02;p=yosys.git

Merge pull request #833 from YosysHQ/clifford/fix831

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

069801e44162c3b254b6eb4587a5dd6f7b37af02