Skip to content

Propagate dirty ids through nested containers#888

Merged
saulshanabrook merged 4 commits into
egraphs-good:mainfrom
saulshanabrook:codex/split-nested-container-dirty-closure
May 27, 2026
Merged

Propagate dirty ids through nested containers#888
saulshanabrook merged 4 commits into
egraphs-good:mainfrom
saulshanabrook:codex/split-nested-container-dirty-closure

Commits

Commits on May 20, 2026