ruff
[ty] Bound loop-header analysis for large loops
#24972

Open

[ty] Bound loop-header analysis for large loops #24972

charliermarsh wants to merge 4 commits into main from charlie/loop-constraints-test

astral-sh-bot added ty

charliermarsh force pushed from f496e257 to 41fd9042 7 days ago

charliermarsh force pushed from 41fd9042 to f918966a 7 days ago

charliermarsh force pushed from 14dc63f8 to 0210835f 7 days ago

charliermarsh changed the title ~~[ty] Experiment with improving reachability performance~~ [ty] Bound loop-header analysis for large loops 7 days ago

charliermarsh added performance

charliermarsh marked this pull request as ready for review 7 days ago

charliermarsh requested a review from

carljm 7 days ago

charliermarsh requested a review from

AlexWaygood 7 days ago

charliermarsh requested a review from

sharkdp 7 days ago

charliermarsh requested a review from

dcreager 7 days ago

charliermarsh requested a review from

ibraheemdev 7 days ago

astral-sh-bot assigned

carljm 7 days ago

charliermarsh assigned

oconnor663 7 days ago

charliermarsh unassigned

carljm 7 days ago

charliermarsh requested a review from

oconnor663 7 days ago

MichaReiser commented on 2026-05-03

charliermarsh marked this pull request as draft 6 days ago

charliermarsh force pushed from 0210835f to fc6a8739 6 days ago

charliermarsh changed the base branch from main to charlie/reachability-cache 6 days ago

charliermarsh force pushed from 839c6f17 to 82ecf246 6 days ago

charliermarsh force pushed from 82ecf246 to 3c68e7fc 6 days ago

charliermarsh force pushed from 3c68e7fc to 3a122b3e 6 days ago

charliermarsh force pushed from 3a122b3e to 52f760cc 6 days ago

charliermarsh force pushed from 52f760cc to d4b79e56 6 days ago

charliermarsh force pushed from d4b79e56 to 30a40e87 6 days ago

charliermarsh force pushed from 30a40e87 to 71ee6361 6 days ago

charliermarsh marked this pull request as ready for review 6 days ago

charliermarsh marked this pull request as draft 6 days ago

charliermarsh force pushed from 71ee6361 to 2851c3e9 6 days ago

charliermarsh marked this pull request as ready for review 6 days ago

charliermarsh marked this pull request as draft 6 days ago

charliermarsh force pushed from 2851c3e9 to 5fb5b8c4 5 days ago

charliermarsh marked this pull request as ready for review 5 days ago

charliermarsh force pushed from 42ff25cf to 5ef48cb3 5 days ago

charliermarsh force pushed from 5ef48cb3 to 0e8e7fec 5 days ago

charliermarsh force pushed from 0e8e7fec to 088f8c6c 5 days ago

charliermarsh force pushed from 088f8c6c to 7c2c7f75 3 days ago

charliermarsh force pushed from 7c2c7f75 to b0b8234a 3 days ago

[ty] Bound loop-header analysis for large loops

eb8f1010

Increase limits

cee9aabb

Further expand limits

7b11175e

[ty] Document loop-header limit methodology

5bece78b

charliermarsh force pushed from b0b8234a to 5bece78b 3 days ago

charliermarsh requested a review from

Gankra 3 days ago

charliermarsh requested a review from

BurntSushi 3 days ago

Base automatically changed from charlie/reachability-cache to main 3 days ago

Reviewers

MichaReiser

carljm

AlexWaygood

sharkdp

dcreager

ibraheemdev

oconnor663

Gankra

BurntSushi

Assignees

oconnor663

Labels

performance ty

Milestone

No milestone

ruff [ty] Bound loop-header analysis for large loops #24972 Open

[ty] Bound loop-header analysis for large loops #24972

ruff
[ty] Bound loop-header analysis for large loops
#24972

Open