diff options
| author | Jannis Harder <me@jix.one> | 2022-12-21 14:22:10 +0100 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2023-01-11 18:07:16 +0100 |
| commit | 673ad561b8cf75abdafd9afb3d44edf0edf1f1e1 (patch) | |
| tree | dbc027f291804a29ba1bbe106f53d6750ca7b973 /kernel | |
| parent | 62afe6177995b9d2c2053903f8620271b95034f0 (diff) | |
| download | yosys-673ad561b8cf75abdafd9afb3d44edf0edf1f1e1.tar.gz yosys-673ad561b8cf75abdafd9afb3d44edf0edf1f1e1.tar.bz2 yosys-673ad561b8cf75abdafd9afb3d44edf0edf1f1e1.zip | |
smt2: Treat bweqx as xnor
Without x-bits they are equivalent
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions