Repository navigation

Element name interning - #80

Merged

syjer merged 6 commits into

element-name-interning

Oct 18, 2026

Merged

Element name interning#80
syjer merged 6 commits into
masterfrom
element-name-interning

Commits on Oct 18, 2026
- wip
  syjer
  committed
  e39f99e
- generate interned list
  syjer
  committed
  b0875c1
- prepare work for interning tag name
  syjer
  committed
  1693469
- replace switch based tagNameToID
  syjer
  committed
  dba8668
- enable tag name interning
  syjer
  committed
  b7eca77
- id
  syjer
  committed
  79d0ca8