diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-01-30 11:38:43 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-01-30 11:38:43 +0100 |
| commit | 18ea65ef04889e5016f007d3a034c8c49709cdb6 (patch) | |
| tree | f8bf155c87ccfae366b71d159396f701ef2d3696 /passes/opt | |
| parent | fe29869ec5104376d7d061e82a7f7be77673e8f1 (diff) | |
| download | yosys-18ea65ef04889e5016f007d3a034c8c49709cdb6.tar.gz yosys-18ea65ef04889e5016f007d3a034c8c49709cdb6.tar.bz2 yosys-18ea65ef04889e5016f007d3a034c8c49709cdb6.zip | |
Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename>" support
Diffstat (limited to 'passes/opt')
0 files changed, 0 insertions, 0 deletions