diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-25 04:12:02 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-05-23 00:53:09 +0000 |
| commit | aea0fd5ed4f5f56b81c43fe410efced194ef6472 (patch) | |
| tree | 8924e2828ba5310cb8064156416040de65cc3cf7 /tests/sva | |
| parent | 283b1130a651324ff870059dc3b1cf869948db93 (diff) | |
| download | yosys-aea0fd5ed4f5f56b81c43fe410efced194ef6472.tar.gz yosys-aea0fd5ed4f5f56b81c43fe410efced194ef6472.tar.bz2 yosys-aea0fd5ed4f5f56b81c43fe410efced194ef6472.zip | |
qbfsat: Add bisection mode and make it the default.
Also adds `-nooptimize` and reorganizes `qbfsat.cc` a bit.
Diffstat (limited to 'tests/sva')
0 files changed, 0 insertions, 0 deletions