From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 8 Jun 2019 09:31:19 +0000 (+0200)
Subject: Merge pull request #1078 from YosysHQ/eddie/muxcover_costs
X-Git-Tag: yosys-0.9~77
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5a5cbf64584ddad8d37a1b60887fb0b354800f61;p=yosys.git

Merge pull request #1078 from YosysHQ/eddie/muxcover_costs

Allow muxcover costs to be changed
---

5a5cbf64584ddad8d37a1b60887fb0b354800f61