projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3bffd09 8ceb668)
Merge pull request #2108 from nakengelhardt/btor_internal_names
authorclairexen <claire@symbioticeda.com>
Thu, 4 Jun 2020 13:48:40 +0000 (15:48 +0200)
committerGitHub <noreply@github.com>
Thu, 4 Jun 2020 13:48:40 +0000 (15:48 +0200)
btor backend: add option to not include internal names


Trivial merge