Skip to content

Implement garbage collection of IdStrings#5417

Merged
widlarizer merged 19 commits intoYosysHQ:mainfrom
rocallahan:idstring-gc
Nov 12, 2025
Merged

Implement garbage collection of `IdString`s#5417
widlarizer merged 19 commits intoYosysHQ:mainfrom
rocallahan:idstring-gc

Commits

Commits on Nov 12, 2025