diff options
| author | Copilot <198982749+Copilot@users.noreply.github.com> | 2025-07-17 07:57:42 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-17 07:57:42 +0000 |
| commit | 3485710e93d833a1c7b691af707cfd8962af7d17 (patch) | |
| tree | 5a45f60da92aed422a923b4f62ad3ffa3a10db65 /docs | |
| parent | 28758e0e427ceca196937dc90efe3ab1cb35bd70 (diff) | |
Merge NamePool and RootNamePool into a single type (#7797)
* Initial plan
* Merge NamePool and RootNamePool into single NamePool class
Co-authored-by: csyonghe <2652293+csyonghe@users.noreply.github.com>
* Remove unnecessary comment from slang-fiddle-scrape.cpp
Co-authored-by: Theresa Foley <tangent-vector@users.noreply.github.com>
* Address review feedback: initialize namePool to nullptr and remove unnecessary comments
Co-authored-by: Theresa Foley <tangent-vector@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: csyonghe <2652293+csyonghe@users.noreply.github.com>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: Theresa Foley <tangent-vector@users.noreply.github.com>
Co-authored-by: Yong He <yonghe@outlook.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions