From: Clifford Wolf Date: Mon, 29 Apr 2019 11:54:26 +0000 (+0200) Subject: Merge pull request #960 from YosysHQ/eddie/equiv_opt_undef X-Git-Tag: yosys-0.9~142^2~14 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=314ff1e4ca00ef8024bbb0d2f031efd78b01f9a1;p=yosys.git Merge pull request #960 from YosysHQ/eddie/equiv_opt_undef Add -undef option to equiv_opt, passed to equiv_induct --- 314ff1e4ca00ef8024bbb0d2f031efd78b01f9a1