From: David Shah <dave@ds0.me>
Date: Tue, 10 Mar 2020 13:51:59 +0000 (+0000)
Subject: Merge pull request #1753 from YosysHQ/dave/abc9-speedup
X-Git-Tag: working-ls180~765
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f2550d45ff53c5d430d3be172e6266240db22e6d;p=yosys.git

Merge pull request #1753 from YosysHQ/dave/abc9-speedup

Add ScriptPass::run_nocheck and use for abc9
---

f2550d45ff53c5d430d3be172e6266240db22e6d