projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4ab610c 92e7eb2)
Merge pull request #193 from jix/abc_pdr_v
authorJannis Harder <me@jix.one>
Wed, 13 Jul 2022 14:07:04 +0000 (16:07 +0200)
committerGitHub <noreply@github.com>
Wed, 13 Jul 2022 14:07:04 +0000 (16:07 +0200)
abc pdr: Enable log output by default


Trivial merge