From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 14 Nov 2019 10:52:41 +0000 (+0100)
Subject: Merge branch 'label-bads-btor' of https://github.com/makaimann/yosys into makaimann... 
X-Git-Tag: working-ls180~966^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=89834b98f7715b131193f8283f09d665b9290eff;p=yosys.git

Merge branch 'label-bads-btor' of https://github.com/makaimann/yosys into makaimann-label-bads-btor
---

89834b98f7715b131193f8283f09d665b9290eff