projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 194354e) | patch
Clean up `passes/sat/qbfsat.cc`.
authorAlberto Gonzalez <boqwxp@airmail.cc>
Thu, 9 Apr 2020 07:40:03 +0000 (07:40 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Thu, 9 Apr 2020 07:47:44 +0000 (07:47 +0000)
commitde5e6fa56ada699ae13585791593eabce089b718
tree3ed4c9b04c98c5345f37cc69586c4b337431768dtree
parent194354e1280b082c2d4066839010b9d250386bb7commit | diff
Clean up `passes/sat/qbfsat.cc`.

Makes various cosmetic fixes, removes superfluous `hasPort()` check, and uses `emplace_back()` instead of `push_back()`.
passes/sat/qbfsat.cc diff | blob | history