Skip to content

[Tracking Challenge] Safety and Correctness of Integer Logarithms #728

New issue
New issue
Open
Open
[Tracking Challenge] Safety and Correctness of Integer Logarithms#728
#750 (+2)
Labels
Challenge ProposalUsed to tag a challenge proposal PR / Issue

Description

@Kieran-Hulsman
Kieran-Hulsman
opened on Oct 15, 2026

Runbook Link

Challenge proposal

Proposal PR: #729

Activity

  1. feliperodri
    added
    Challenge ProposalUsed to tag a challenge proposal PR / Issue
    on Oct 21, 2026
  2. Kieran-Hulsman
    added a commit that references this issue on Nov 7, 2026

    New challenge: Safety and correctness of integer logarithms (model-ch…

    695dacb

  3. patricklam commented on Nov 9, 2026

    @patricklam
    patricklam
    on Nov 9, 2026

    This should be closed now (since the challenge has been merged), though I can't quite do that.

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

    Challenge ProposalUsed to tag a challenge proposal PR / Issue

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions