Merge pull request #2452 from whitequark/rtlil-remove-dot-identifiers
authorwhitequark <whitequark@whitequark.org>
Wed, 25 Nov 2020 21:22:14 +0000 (21:22 +0000)
committerGitHub <noreply@github.com>
Wed, 25 Nov 2020 21:22:14 +0000 (21:22 +0000)
commit45725d3bdf2d2db9e5001658719032a52e1876a3
tree1ac630ac724ed52373629fe08b3eda2f7b70ca16
parent180a8e5a45358b4d2c9b599e6838093fd121f9fd
parent015b476e56b6bc05acdf9055284e633c1cce2491
Merge pull request #2452 from whitequark/rtlil-remove-dot-identifiers

rtlil: remove dotted identifiers