diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-12-01 11:04:36 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-12-01 11:04:36 +0100 |
| commit | 5fa1fa1e6f0dd731267f5e93d05f0223949d5c5c (patch) | |
| tree | 2ae8df5796d808ce229302205f413e956c11ca1a /backends/smt2 | |
| parent | c1f762ca56440b7d7fb00e760f0e4901564e320a (diff) | |
| download | yosys-5fa1fa1e6f0dd731267f5e93d05f0223949d5c5c.tar.gz yosys-5fa1fa1e6f0dd731267f5e93d05f0223949d5c5c.tar.bz2 yosys-5fa1fa1e6f0dd731267f5e93d05f0223949d5c5c.zip | |
Added "write_aiger -zinit -symbols -vmap"
Diffstat (limited to 'backends/smt2')
0 files changed, 0 insertions, 0 deletions