Repository navigation

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

Commits on Nov 7, 2026
- Propose Challenge 31: verify the safety of BinaryHeap
  Kieran-Hulsman
  committed
  d9c0ffc
- Address review feedback on BinaryHeap challenge
  Kieran-Hulsman
  committed
  377cfbc
- Address second review on BinaryHeap challenge
  Kieran-Hulsman
  committed
  cb26be1