From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 15 Sep 2019 09:04:31 +0000 (+0200)
Subject: Merge pull request #1377 from YosysHQ/clifford/fixzdigit
X-Git-Tag: working-ls180~1066
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d9f99745da99c99111de358d92646cef2430fca7;p=yosys.git

Merge pull request #1377 from YosysHQ/clifford/fixzdigit

Fix handling of z_digit "?" and fix optimization of cmp with "z"
---

d9f99745da99c99111de358d92646cef2430fca7