From: Eddie Hung Date: Tue, 8 Oct 2019 17:53:44 +0000 (-0700) Subject: Merge pull request #1433 from YosysHQ/eddie/equiv_opt_async2sync X-Git-Tag: working-ls180~1001 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4c89a4e642c8618a0e18270d338e48599834d923;p=yosys.git Merge pull request #1433 from YosysHQ/eddie/equiv_opt_async2sync async2sync to be called by equiv_opt only when -async2sync given --- 4c89a4e642c8618a0e18270d338e48599834d923