Merge pull request #2142 from whitequark/splitnets-hdlname
authorwhitequark <whitequark@whitequark.org>
Thu, 18 Jun 2020 16:57:24 +0000 (16:57 +0000)
committerGitHub <noreply@github.com>
Thu, 18 Jun 2020 16:57:24 +0000 (16:57 +0000)
commit5439faebf929f303cb9eb2a17f4aa468ddb9af74
tree9a9ad6b2cc7b8839c73d57623aab8c65be0a917a
parent2123019ac6da12fa116955ee397183363a6e5eaf
parent2139a5c21a9a20b6a5c254bd2f7c09ea29fdaf3d
Merge pull request #2142 from whitequark/splitnets-hdlname

splitnets: propagate (*hdlname*) and disambiguate via start_offset