From: Eddie Hung Date: Thu, 23 May 2019 20:37:53 +0000 (-0700) Subject: Merge remote-tracking branch 'origin/eddie/opt_rmdff' into xc7mux X-Git-Tag: working-ls180~1208^2~284 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=68359bcd6f1ded0dffa12f0d1e2288e433fd83e7;p=yosys.git Merge remote-tracking branch 'origin/eddie/opt_rmdff' into xc7mux --- 68359bcd6f1ded0dffa12f0d1e2288e433fd83e7