diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-02-21 22:52:49 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-02-21 22:52:49 +0100 |
| commit | fae0e75ace66d77eaf434305bdb06ca29931ec7b (patch) | |
| tree | ac0946e76d0f1b8e665f3874665c92a732c798c3 /misc | |
| parent | b19c926af8badd5d5ff84b4cd54e7f40de68c504 (diff) | |
| download | yosys-fae0e75ace66d77eaf434305bdb06ca29931ec7b.tar.gz yosys-fae0e75ace66d77eaf434305bdb06ca29931ec7b.tar.bz2 yosys-fae0e75ace66d77eaf434305bdb06ca29931ec7b.zip | |
Added "sat -stepsize" and "sat -tempinduct-step"
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions