Merge pull request #1078 from YosysHQ/eddie/muxcover_costs
authorClifford Wolf <clifford@clifford.at>
Sat, 8 Jun 2019 09:31:19 +0000 (11:31 +0200)
committerGitHub <noreply@github.com>
Sat, 8 Jun 2019 09:31:19 +0000 (11:31 +0200)
commit5a5cbf64584ddad8d37a1b60887fb0b354800f61
treeb5aa0bb75df6edbc5c7bbf31f33188fbeedf928f
parent2b350401c4577d54c0d460240e2d2847d2eeadc4
parent30abdaf3b2e0c3f21af0a7fdf2dc91ea59c7d54f
Merge pull request #1078 from YosysHQ/eddie/muxcover_costs

Allow muxcover costs to be changed