projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3bffd09) | patch
btor backend: add option to not include internal names
authorN. Engelhardt <nak@symbioticeda.com>
Thu, 4 Jun 2020 12:00:52 +0000 (14:00 +0200)
committerN. Engelhardt <nak@symbioticeda.com>
Thu, 4 Jun 2020 12:00:52 +0000 (14:00 +0200)
commit8ceb6686e0f610396931c07415a0734c3da33832
tree0ecd0b417ac69ca2fa105d322785c8adfb39f461tree
parent3bffd09d6423b70ca154527c363985ff048f807dcommit | diff
btor backend: add option to not include internal names
backends/btor/btor.cc diff | blob | history