From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 23 Mar 2019 15:02:01 +0000 (+0100)
Subject: Merge pull request #893 from YosysHQ/clifford/btormeminit
X-Git-Tag: yosys-0.9~225
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2cf71e2a7b053505ed80ad18c0e506c5f090b595;p=yosys.git

Merge pull request #893 from YosysHQ/clifford/btormeminit

Memory init support in write_btor
---

2cf71e2a7b053505ed80ad18c0e506c5f090b595