Merge pull request #2140 from whitequark/cxxrtl-aliases
authorwhitequark <whitequark@whitequark.org>
Wed, 10 Jun 2020 16:09:27 +0000 (16:09 +0000)
committerGitHub <noreply@github.com>
Wed, 10 Jun 2020 16:09:27 +0000 (16:09 +0000)
cxxrtl: disambiguate values/wires and their aliases in debug info


Trivial merge