Merge pull request #1164 from YosysHQ/eddie/muxcover_mux2
authorEddie Hung <eddie@fpgeh.com>
Mon, 8 Jul 2019 21:34:37 +0000 (14:34 -0700)
committerGitHub <noreply@github.com>
Mon, 8 Jul 2019 21:34:37 +0000 (14:34 -0700)
commitede1ef61c5761f1e41820f16775d9afb2b75c1c8
tree60a7e1d8c69c649504fdfda92f4ea8a4e36a6aea
parent22334fea403fb94dc2b6b583b2f681527c21883e
parentb5072256f2c6b94423adb0ac1e2aec965230afe3
Merge pull request #1164 from YosysHQ/eddie/muxcover_mux2

Add muxcover -mux2=cost option