projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0cc795) | patch
Clean up pseudo-private member usage in `backends/smt2/smt2.cc`.
authorAlberto Gonzalez <boqwxp@airmail.cc>
Fri, 13 Mar 2020 21:49:12 +0000 (21:49 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Fri, 13 Mar 2020 21:49:12 +0000 (21:49 +0000)
commit07f0874779226dd066661d100783d21b1f9ad721
treeeed86a80dcfd15725038bd5eacea599395112243tree
parenta0cc795e85541b0326b6d4396a726142f0d0f8bbcommit | diff
Clean up pseudo-private member usage in `backends/smt2/smt2.cc`.
backends/smt2/smt2.cc diff | blob | history