Merge pull request #1753 from YosysHQ/dave/abc9-speedup
authorDavid Shah <dave@ds0.me>
Tue, 10 Mar 2020 13:51:59 +0000 (13:51 +0000)
committerGitHub <noreply@github.com>
Tue, 10 Mar 2020 13:51:59 +0000 (13:51 +0000)
Add ScriptPass::run_nocheck and use for abc9


Trivial merge