diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-07-01 20:51:14 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-07-20 21:54:56 +0000 |
| commit | f0379853371bfcf9217c3c0de15b3927b6f09e44 (patch) | |
| tree | 42578174b1d80c0bf3c4f356c59119627758bb1f /techlibs/xilinx | |
| parent | 856d40973dce06e13fcded3388562341d82c092d (diff) | |
| download | yosys-f0379853371bfcf9217c3c0de15b3927b6f09e44.tar.gz yosys-f0379853371bfcf9217c3c0de15b3927b6f09e44.tar.bz2 yosys-f0379853371bfcf9217c3c0de15b3927b6f09e44.zip | |
smt2: Add `-solver-option` option.
Diffstat (limited to 'techlibs/xilinx')
0 files changed, 0 insertions, 0 deletions