From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 29 Sep 2019 08:36:25 +0000 (+0200)
Subject: Merge pull request #1411 from aman-goel/YosysHQ-master
X-Git-Tag: working-ls180~1041
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=178c67ea226b093cdbe101a69cb83cc8800aa702;p=yosys.git

Merge pull request #1411 from aman-goel/YosysHQ-master

Corrects BTOR2 backend
---

178c67ea226b093cdbe101a69cb83cc8800aa702