Merge pull request #1682 from YosysHQ/eddie/opt_after_techmap
authorEddie Hung <eddie@fpgeh.com>
Thu, 6 Feb 2020 04:21:40 +0000 (20:21 -0800)
committerGitHub <noreply@github.com>
Thu, 6 Feb 2020 04:21:40 +0000 (20:21 -0800)
synth_*: call 'opt -fast' after 'techmap'


Trivial merge