From: Claire Wolf Date: Wed, 29 Jan 2020 14:27:11 +0000 (+0100) Subject: Merge pull request #1662 from YosysHQ/dave/opt-reduce-move-check X-Git-Tag: working-ls180~834 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4d0118d0c12d1f0f1604714ca10a49644a8ebee5;p=yosys.git Merge pull request #1662 from YosysHQ/dave/opt-reduce-move-check opt_reduce: Call check() per run rather than per optimised cell --- 4d0118d0c12d1f0f1604714ca10a49644a8ebee5