From: whitequark <whitequark@whitequark.org>
Date: Tue, 8 Dec 2020 07:32:11 +0000 (+0000)
Subject: Merge pull request #2478 from whitequark/improve-bugpoint
X-Git-Tag: working-ls180~171
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ec410c9b1934c5c06ad6f71e60f2337fabe5b055;p=yosys.git

Merge pull request #2478 from whitequark/improve-bugpoint

bugpoint: various improvements
---

ec410c9b1934c5c06ad6f71e60f2337fabe5b055