projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d4f01c) | patch
Update backends/btor/btor.cc; credit @boqwxp
authorEddie Hung <eddie@fpgeh.com>
Sun, 15 Mar 2020 16:09:35 +0000 (09:09 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 2 Apr 2020 14:14:08 +0000 (07:14 -0700)
commitdde3dfd72e25bc1f166a8448fed2742c46b4aa71
tree88a739f0b5ab234c85c38cbc8b76f67a622b36catree
parent6d4f01c3fa5b068e7ba55b21ed5f71446fcbc518commit | diff
Update backends/btor/btor.cc; credit @boqwxp

Co-Authored-By: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com>
backends/btor/btor.cc diff | blob | history