diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-08-12 17:13:54 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-08-12 17:13:54 +0200 |
commit | 698357dd9a17365566f4db2662e9ce9fea7594c4 (patch) | |
tree | dc8a73cea8b9da5ce3fa9e9ea74359f3273686d9 /Makefile | |
parent | fc20b1c3d210ff1821d6c56fb0b8c9c6ba625aa5 (diff) | |
download | yosys-698357dd9a17365566f4db2662e9ce9fea7594c4.tar.gz yosys-698357dd9a17365566f4db2662e9ce9fea7594c4.tar.bz2 yosys-698357dd9a17365566f4db2662e9ce9fea7594c4.zip |
Added "write_smt2 -regs"
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions