Merge pull request #1061 from YosysHQ/eddie/techmap_and_arith_map
authorEddie Hung <eddie@fpgeh.com>
Tue, 4 Jun 2019 03:23:37 +0000 (20:23 -0700)
committerGitHub <noreply@github.com>
Tue, 4 Jun 2019 03:23:37 +0000 (20:23 -0700)
Execute techmap and arith_map simultaneously


Trivial merge