diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-12-28 11:24:36 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-12-28 11:24:36 +0100 |
commit | 7f717875999f18065a69934db2075fd1508d3a7d (patch) | |
tree | 6048745ec73653a5ed2848aa34093ca24bf6727f /kernel | |
parent | bd39263796fdf4f1c747a4a8449a0a484fdb3026 (diff) | |
download | yosys-7f717875999f18065a69934db2075fd1508d3a7d.tar.gz yosys-7f717875999f18065a69934db2075fd1508d3a7d.tar.bz2 yosys-7f717875999f18065a69934db2075fd1508d3a7d.zip |
Added sat -prove-x and -set-def-inputs
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions