From: David Shah <dave@ds0.me>
Date: Thu, 12 Sep 2019 11:26:28 +0000 (+0100)
Subject: Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclock
X-Git-Tag: working-ls180~1068
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6044fff074f026676312f047cfd5a7c862ff987f;p=yosys.git

Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclock

Add equiv_opt -multiclock
---

6044fff074f026676312f047cfd5a7c862ff987f