diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-27 23:25:24 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-04 22:13:26 +0000 |
| commit | d311a8022292a9934c11ff9124a53932469974e6 (patch) | |
| tree | ceaf58260e5292accd676dc5362f56eb671142a9 /backends/json | |
| parent | 125a583c575747e07530b214c922ff6a17c5bb34 (diff) | |
| download | yosys-d311a8022292a9934c11ff9124a53932469974e6.tar.gz yosys-d311a8022292a9934c11ff9124a53932469974e6.tar.bz2 yosys-d311a8022292a9934c11ff9124a53932469974e6.zip | |
Clean up `qbfsat` command and fix AND-reduction of miter outputs.
Diffstat (limited to 'backends/json')
0 files changed, 0 insertions, 0 deletions