projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: dd67e8c a39505e)
Merge pull request #1412 from YosysHQ/eddie/equiv_opt_async2sync
authorClifford Wolf <clifford@clifford.at>
Mon, 30 Sep 2019 15:04:21 +0000 (17:04 +0200)
committerGitHub <noreply@github.com>
Mon, 30 Sep 2019 15:04:21 +0000 (17:04 +0200)
equiv_opt to call async2sync when not -multiclock like SymbiYosys


Trivial merge