Skip to content

New challenge: Verify the safety of BinaryHeap functions - #747

Merged
feliperodri merged 3 commits into
model-checking:mainfrom
Kieran-Hulsman:kieran/binary-heap-challenge
Nov 9, 2026
Merged

New challenge: Verify the safety of BinaryHeap functions#747
feliperodri merged 3 commits into
model-checking:mainfrom
Kieran-Hulsman:kieran/binary-heap-challenge

Address second review on BinaryHeap challenge

cb26be1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Verify std library using autoharness (macos-latest)
succeeded Nov 7, 2026 in 2s