From: Eddie Hung Date: Thu, 27 Jun 2019 14:21:31 +0000 (-0700) Subject: Merge pull request #1142 from YosysHQ/clifford/fix1132 X-Git-Tag: yosys-0.9~36 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ee77ee697319be3ec31f64084f495b855781be7c;p=yosys.git Merge pull request #1142 from YosysHQ/clifford/fix1132 Fix handling of partial covers in muxcover --- ee77ee697319be3ec31f64084f495b855781be7c