Skip to content

Map IndexName to Int for contraction#197

Merged
mtfishman merged 2 commits into
mainfrom
mf/label-type-indexname
Jun 30, 2026
Merged

Map IndexName to Int for contraction#197
mtfishman merged 2 commits into
mainfrom
mf/label-type-indexname

Commits

Commits on Jun 30, 2026