Skip to content

Improve reasoning about heaps #3931

Merged
unp1 merged 15 commits into
mainfrom
bubel/heap-simplification
Jul 23, 2026
Merged

Improve reasoning about heaps #3931
unp1 merged 15 commits into
mainfrom
bubel/heap-simplification

Code quality and documentation changes (incorporate reviewer suggesti…

6d8a1af
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testMtStress, ubuntu-latest, 21)
succeeded Jul 23, 2026 in 7m 14s