Skip to content

Add StaleViewShrink: safe contraction (mutual inclusion) on stale views - #243

Merged
muenchnerkindl merged 3 commits into
tlaplus:masterfrom
topeuph-ai:add-stale-view-shrink
Oct 22, 2026
Merged

Add StaleViewShrink: safe contraction (mutual inclusion) on stale views#243
muenchnerkindl merged 3 commits into
tlaplus:masterfrom
topeuph-ai:add-stale-view-shrink

StaleViewShrink: review fixes (TypeOK, cfg comment)

0eeb8c5
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Oct 22, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO