Merge pull request #1633 from YosysHQ/eddie/fix_autoname
authorEddie Hung <eddie@fpgeh.com>
Tue, 14 Jan 2020 19:40:54 +0000 (11:40 -0800)
committerGitHub <noreply@github.com>
Tue, 14 Jan 2020 19:40:54 +0000 (11:40 -0800)
commit61ffd2d1996befd8c27c4f36f07567824bd7605e
treee1e2a1372e3feb25fa1b7472b020116acc8382dd
parent9fa0e03cc90548d0817346d0fcd72473b7d489ae
parentde969adcd8214592dfa32be5b61903fe7893d29b
Merge pull request #1633 from YosysHQ/eddie/fix_autoname

autoname: do not rename ports