Merge pull request #1377 from YosysHQ/clifford/fixzdigit
authorClifford Wolf <clifford@clifford.at>
Sun, 15 Sep 2019 09:04:31 +0000 (11:04 +0200)
committerGitHub <noreply@github.com>
Sun, 15 Sep 2019 09:04:31 +0000 (11:04 +0200)
commitd9f99745da99c99111de358d92646cef2430fca7
treeecb7c6ddb452362a988b7299ee696005940df045
parent4da6e19fe1c326bb86e68f4446597c2163f3fbb2
parenta67d63714be52e4a4f789c2a82b6283748db8902
Merge pull request #1377 from YosysHQ/clifford/fixzdigit

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