diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-06 00:59:41 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-06 00:59:41 +0100 |
| commit | e915043144d52e2ff97e2b4638ed1af84426e359 (patch) | |
| tree | 511246408855fa1a93f2d3a65345ad998c2573bc /backends | |
| parent | cd06055e779d5909692da39bededc0141080c9d0 (diff) | |
| download | yosys-e915043144d52e2ff97e2b4638ed1af84426e359.tar.gz yosys-e915043144d52e2ff97e2b4638ed1af84426e359.tar.bz2 yosys-e915043144d52e2ff97e2b4638ed1af84426e359.zip | |
Added sat -verify and -falsify support for non-prove cases
Diffstat (limited to 'backends')
0 files changed, 0 insertions, 0 deletions