From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 10 Aug 2019 07:47:25 +0000 (+0200)
Subject: Merge pull request #1261 from YosysHQ/clifford/verific_init
X-Git-Tag: working-ls180~1152
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4f812131653ebea06e3d1c3e7599492992edb771;p=yosys.git

Merge pull request #1261 from YosysHQ/clifford/verific_init

Automatically prune init attributes in verific front-end
---

4f812131653ebea06e3d1c3e7599492992edb771