Skip to content

[Tracking Challenge] Verify the safety of BinaryHeap functions #746

New issue
New issue
Open
Open
[Tracking Challenge] Verify the safety of BinaryHeap functions#746
Labels
ChallengeUsed to tag a challenge

Description

@Kieran-Hulsman
Kieran-Hulsman
opened on Nov 3, 2026

Runbook Link

Challenge proposal

Proposal PR: #747

Activity

  1. Kieran-Hulsman
    added
    ChallengeUsed to tag a challenge
    on Nov 3, 2026
  2. v3risec
    added a commit that references this issue on Nov 9, 2026

    New challenge: Verify the safety of BinaryHeap functions (model-check…

    3dda41b

  3. patricklam commented on Nov 11, 2026

    @patricklam
    patricklam
    on Nov 11, 2026

    By the way, we expect to have a proposed solution to this in the next 2-3 days.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    ChallengeUsed to tag a challenge

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions