From: N. Engelhardt Date: Mon, 21 Sep 2020 13:18:06 +0000 (+0200) Subject: Merge pull request #2372 from nakengelhardt/name_is_public X-Git-Tag: working-ls180~269 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ed5790382ac8427f8681456e00d76b8dce92d87d;p=yosys.git Merge pull request #2372 from nakengelhardt/name_is_public add IdString::isPublic() --- ed5790382ac8427f8681456e00d76b8dce92d87d