diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-09-15 11:04:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-15 11:04:31 +0200 |
| commit | d9f99745da99c99111de358d92646cef2430fca7 (patch) | |
| tree | ecb7c6ddb452362a988b7299ee696005940df045 /frontends/ast/simplify.cc | |
| parent | 4da6e19fe1c326bb86e68f4446597c2163f3fbb2 (diff) | |
| parent | a67d63714be52e4a4f789c2a82b6283748db8902 (diff) | |
| download | yosys-d9f99745da99c99111de358d92646cef2430fca7.tar.gz yosys-d9f99745da99c99111de358d92646cef2430fca7.tar.bz2 yosys-d9f99745da99c99111de358d92646cef2430fca7.zip | |
Merge pull request #1377 from YosysHQ/clifford/fixzdigit
Fix handling of z_digit "?" and fix optimization of cmp with "z"
Diffstat (limited to 'frontends/ast/simplify.cc')
0 files changed, 0 insertions, 0 deletions