diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-25 23:17:50 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-04 22:13:25 +0000 |
| commit | 437afa1f0cbc6534dbb7ec9a4024276e75afce01 (patch) | |
| tree | 3727c4f475fcc845bc13e4d60897a5111f240ea5 /examples/python-api | |
| parent | a4598d64ef5f8386b28019bb64b7ad2d6e0c9d7e (diff) | |
| download | yosys-437afa1f0cbc6534dbb7ec9a4024276e75afce01.tar.gz yosys-437afa1f0cbc6534dbb7ec9a4024276e75afce01.tar.bz2 yosys-437afa1f0cbc6534dbb7ec9a4024276e75afce01.zip | |
Updated `yosys-smtbmc` to optionally dump raw bit strings, and fixed hole value recovery using that mode.
Diffstat (limited to 'examples/python-api')
0 files changed, 0 insertions, 0 deletions