diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-23 04:06:15 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-23 04:06:15 +0000 |
| commit | 7369e6b26b35584053c7e2672e22a70d72caff3d (patch) | |
| tree | 9fcf75d1aac1f2bfcf89e5ada67c17700f08f2b7 /frontends/verilog | |
| parent | fa9df06c9dc5ead43645ba973e2ca8c63adfb29d (diff) | |
| download | yosys-7369e6b26b35584053c7e2672e22a70d72caff3d.tar.gz yosys-7369e6b26b35584053c7e2672e22a70d72caff3d.tar.bz2 yosys-7369e6b26b35584053c7e2672e22a70d72caff3d.zip | |
qbfsat: Add `-assume-negative-polarity` option.
Diffstat (limited to 'frontends/verilog')
0 files changed, 0 insertions, 0 deletions