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 /.github/issue_template.md | |
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 '.github/issue_template.md')
0 files changed, 0 insertions, 0 deletions