diff options
| author | clairexen <claire@symbioticeda.com> | 2020-07-20 23:06:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-20 23:06:36 +0200 |
| commit | 856d40973dce06e13fcded3388562341d82c092d (patch) | |
| tree | 9431daaaf82f2d862e229f4190bea0506ba07735 /techlibs/xilinx | |
| parent | 3cb401db8c77035e88163b0d5d46f51a9510db77 (diff) | |
| parent | a207cb362cc4b682a37060f380362b23c927805e (diff) | |
| download | yosys-856d40973dce06e13fcded3388562341d82c092d.tar.gz yosys-856d40973dce06e13fcded3388562341d82c092d.tar.bz2 yosys-856d40973dce06e13fcded3388562341d82c092d.zip | |
Merge pull request #2282 from YosysHQ/claire/satunsat
Only allow "sat" and "unsat" smt solver responses in yosys-smtbmc
Diffstat (limited to 'techlibs/xilinx')
0 files changed, 0 insertions, 0 deletions