From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 16 Dec 2018 14:54:26 +0000 (+0100)
Subject: Merge pull request #724 from whitequark/equiv_opt
X-Git-Tag: yosys-0.9~378
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2a681909dff173f63659d7c882137e53ad768ce8;p=yosys.git

Merge pull request #724 from whitequark/equiv_opt

equiv_opt: new command, for verifying optimization passes
---

2a681909dff173f63659d7c882137e53ad768ce8