diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-04-04 18:12:27 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-04-04 18:12:27 +0200 |
| commit | 4d6af2969ccaf5f235fffdc8f89bc5e91fff5962 (patch) | |
| tree | 74dc70b920347dbb8f149f74a0141027987ebb96 /manual | |
| parent | 25a864fc7344756e1b2de7bcc3f446ab84e410a3 (diff) | |
| download | yosys-4d6af2969ccaf5f235fffdc8f89bc5e91fff5962.tar.gz yosys-4d6af2969ccaf5f235fffdc8f89bc5e91fff5962.tar.bz2 yosys-4d6af2969ccaf5f235fffdc8f89bc5e91fff5962.zip | |
Add smtio.py support for parsing SMT2 (_ bvX n) syntax for BitVec constants
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'manual')
0 files changed, 0 insertions, 0 deletions