projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ab41c6) | patch
qbfsat: Simplify solution format and replace `SigBit::str()` with `log_signal()`.
authorAlberto Gonzalez <boqwxp@airmail.cc>
Tue, 9 Jun 2020 05:27:09 +0000 (05:27 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Sun, 21 Jun 2020 02:16:11 +0000 (02:16 +0000)
commit08cede46691e65e09a69e964cd51261d327d0522
treec922ff9835b121faaae66069d9579ee847724766tree
parent4ab41c64359ea487e74b3c4901525ad155f11ec1commit | diff
qbfsat: Simplify solution format and replace `SigBit::str()` with `log_signal()`.

Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
kernel/rtlil.h diff | blob | history
passes/sat/qbfsat.cc diff | blob | history