From: Eddie Hung Date: Tue, 5 May 2020 14:59:40 +0000 (-0700) Subject: Merge pull request #2025 from YosysHQ/eddie/frontend_cleanup X-Git-Tag: working-ls180~568 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=283b1130a651324ff870059dc3b1cf869948db93;p=yosys.git Merge pull request #2025 from YosysHQ/eddie/frontend_cleanup frontend: cleanup to use more ID::*, more dict<> instead of map<> --- 283b1130a651324ff870059dc3b1cf869948db93