From: clairexen <claire@symbioticeda.com>
Date: Thu, 4 Jun 2020 13:48:40 +0000 (+0200)
Subject: Merge pull request #2108 from nakengelhardt/btor_internal_names
X-Git-Tag: working-ls180~509
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8efe6ee7f573296d27a9808102f31a99d3efdb58;p=yosys.git

Merge pull request #2108 from nakengelhardt/btor_internal_names

btor backend: add option to not include internal names
---

8efe6ee7f573296d27a9808102f31a99d3efdb58