Merge pull request #1433 from YosysHQ/eddie/equiv_opt_async2sync
authorEddie Hung <eddie@fpgeh.com>
Tue, 8 Oct 2019 17:53:44 +0000 (10:53 -0700)
committerGitHub <noreply@github.com>
Tue, 8 Oct 2019 17:53:44 +0000 (10:53 -0700)
commit4c89a4e642c8618a0e18270d338e48599834d923
tree9cdc0a26a98880fd9f0f90e21db269d074901471
parent9fd2ddb14c0f7c40f6ed01a5db61cb6b327d877f
parent84f978bdc20494167a6a2c5f654b96c4f565a5e0
Merge pull request #1433 from YosysHQ/eddie/equiv_opt_async2sync

async2sync to be called by equiv_opt only when -async2sync given