projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9fd2ddb 84f978b)
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)
async2sync to be called by equiv_opt only when -async2sync given


Trivial merge