diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-07-01 20:04:56 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-07-20 21:54:56 +0000 |
| commit | 654864658f17a26d760995462e57481ff81b037c (patch) | |
| tree | 4b63e3370bb5f3f691efe6b27e9b05010d1a1242 /techlibs/xilinx/arith_map.v | |
| parent | 2f786fcfacfadfba7b4080a8016c7efa3ac4bd13 (diff) | |
| download | yosys-654864658f17a26d760995462e57481ff81b037c.tar.gz yosys-654864658f17a26d760995462e57481ff81b037c.tar.bz2 yosys-654864658f17a26d760995462e57481ff81b037c.zip | |
smtio: Add support for parsing `yosys-smt2-solver-option` info statements.
Diffstat (limited to 'techlibs/xilinx/arith_map.v')
0 files changed, 0 insertions, 0 deletions