diff options
author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-10 05:00:09 +0000 |
---|---|---|
committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-07-01 19:51:47 +0000 |
commit | c26a8d1ee051b1bb7925a58d713c452c376c1d25 (patch) | |
tree | a0f5ab8cce3aa41983367786d3ccf0e69b5656da /misc | |
parent | 26bd68625946aaac70cfe927755785b7f1a79efd (diff) | |
download | yosys-c26a8d1ee051b1bb7925a58d713c452c376c1d25.tar.gz yosys-c26a8d1ee051b1bb7925a58d713c452c376c1d25.tar.bz2 yosys-c26a8d1ee051b1bb7925a58d713c452c376c1d25.zip |
glift: Use `qbfsat -O2` instead of manually calling `abc`.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions