Merge pull request #1767 from YosysHQ/eddie/idstrings
authorEddie Hung <eddie@fpgeh.com>
Thu, 2 Apr 2020 18:47:25 +0000 (11:47 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Apr 2020 18:47:25 +0000 (11:47 -0700)
IdString: use more ID::*, make them easier to use, speed up IdString::in()

1  2 
passes/techmap/iopadmap.cc

Simple merge