projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e8a9c6) | patch
btor backend: make not printing internal names default
authorN. Engelhardt <nak@symbioticeda.com>
Thu, 4 Jun 2020 14:24:16 +0000 (16:24 +0200)
committerN. Engelhardt <nak@symbioticeda.com>
Thu, 4 Jun 2020 14:24:16 +0000 (16:24 +0200)
commit82798ae57512fe410494821ca2d177116b3a3c63
treedc302ba033b7fb6e648ed6808aab0ced7cc76a40tree
parent5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafccommit | diff
btor backend: make not printing internal names default
backends/btor/btor.cc diff | blob | history