projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de43a4c) | patch
abc pdr: Enable log output by default
authorJannis Harder <me@jix.one>
Fri, 8 Jul 2022 10:36:44 +0000 (12:36 +0200)
committerJannis Harder <me@jix.one>
Fri, 8 Jul 2022 10:36:44 +0000 (12:36 +0200)
commit92e7eb2e3225d7a3bdf23497d80e4901b6c75e98
treee20a9cb9db71d1d7cd8443956da718bc32cd3176tree
parentde43a4c936c92682a1c9959a137333f6c1335d62commit | diff
abc pdr: Enable log output by default

This makes it consistent with the other abc solvers and shows whether
abc pdr is making progress.
sbysrc/sby_engine_abc.py diff | blob | history