From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 20 Nov 2019 12:49:27 +0000 (+0100)
Subject: Merge pull request #1507 from YosysHQ/clifford/verificfixes
X-Git-Tag: working-ls180~955
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0ac330bb81946081a3ab9ae45ef5aa7122dcb786;p=yosys.git

Merge pull request #1507 from YosysHQ/clifford/verificfixes

Some fixes in our Verific integration
---

0ac330bb81946081a3ab9ae45ef5aa7122dcb786