Merge pull request #1516 from YosysHQ/dave/dotstar
authorDavid Shah <dave@ds0.me>
Sun, 2 Feb 2020 18:12:28 +0000 (18:12 +0000)
committerGitHub <noreply@github.com>
Sun, 2 Feb 2020 18:12:28 +0000 (18:12 +0000)
commit7033503cd9e40e16c11fe6c805a436b0e23989dd
tree23d26103ac47ed62f2d0f805b6677943ef4f1795
parent9f5613100b360beb60608df1296ee81dc185e56c
parent0488492ad269df9641ab317eac5568353dd61076
Merge pull request #1516 from YosysHQ/dave/dotstar

sv: Add support for wildcard port connections (.*)