Merge pull request #1275 from YosysHQ/clifford/ids
authorClifford Wolf <clifford@clifford.at>
Thu, 15 Aug 2019 10:03:16 +0000 (12:03 +0200)
committerGitHub <noreply@github.com>
Thu, 15 Aug 2019 10:03:16 +0000 (12:03 +0200)
New ID() macro and now also use it


Trivial merge