diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-07-11 11:40:55 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-07-11 11:40:55 +0200 |
| commit | cdb58f68ab180deea6d13caa131aa0ea62cb2a8a (patch) | |
| tree | 516f9c19a3eab3d67b1ff5a42e785bb28739f125 /backends/smt2 | |
| parent | a72fb85dc2195a4519a8f360bd5f0846ef8d26a4 (diff) | |
| download | yosys-cdb58f68ab180deea6d13caa131aa0ea62cb2a8a.tar.gz yosys-cdb58f68ab180deea6d13caa131aa0ea62cb2a8a.tar.bz2 yosys-cdb58f68ab180deea6d13caa131aa0ea62cb2a8a.zip | |
Added "prep -auto-top" and "synth -auto-top"
Diffstat (limited to 'backends/smt2')
0 files changed, 0 insertions, 0 deletions