From: Eddie Hung Date: Mon, 8 Jul 2019 21:34:37 +0000 (-0700) Subject: Merge pull request #1164 from YosysHQ/eddie/muxcover_mux2 X-Git-Tag: working-ls180~1221^2 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ede1ef61c5761f1e41820f16775d9afb2b75c1c8;p=yosys.git Merge pull request #1164 from YosysHQ/eddie/muxcover_mux2 Add muxcover -mux2=cost option --- ede1ef61c5761f1e41820f16775d9afb2b75c1c8