diff options
| author | Jannis Harder <me@jix.one> | 2022-08-03 17:27:06 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-08-16 13:37:30 +0200 |
| commit | 65145db7e7bec998a194aa0f6335de50df00e550 (patch) | |
| tree | 8e032b2911fc2feff37df8baa21ad299322a0f49 /passes/sat/clk2fflogic.cc | |
| parent | b156fe903f75b589cb270c062a5cbd65f55e5cf6 (diff) | |
| download | yosys-65145db7e7bec998a194aa0f6335de50df00e550.tar.gz yosys-65145db7e7bec998a194aa0f6335de50df00e550.tar.bz2 yosys-65145db7e7bec998a194aa0f6335de50df00e550.zip | |
rename: Add -witness mode
Diffstat (limited to 'passes/sat/clk2fflogic.cc')
0 files changed, 0 insertions, 0 deletions