ruff
[ty] Use a simpler fuel to bound sequent map growth
#26674

Merged

[ty] Use a simpler fuel to bound sequent map growth #26674

dcreager merged 10 commits into main from dcreager/sequent-fuel

[π] Experiment with fuel-only sequent saturation

5c40aaad

dcreager added internal

dcreager added ty

dcreager marked this pull request as ready for review 113 days ago

dcreager requested a review 113 days ago

astral-sh-bot requested a review from

carljm 113 days ago

[π] Weight sequent fuel by typevar depth

2933fea2

[π] Charge bound projections minimal sequent fuel

95a162dd

dcreager marked this pull request as draft 112 days ago

add overall fuel

7b039f19

dcreager marked this pull request as ready for review 112 days ago

merge main

e4709294

[π] Charge sequent fuel for structural growth

e3260f7c

don't cache this

42ec986e

merge main

7061fc73

[π] Cache constraint bound depths per builder

5b59d60f

ibraheemdev approved these changes on 2026-07-14

carljm commented on 2026-07-10

recharge all constraints

1747e783

dcreager merged a05cc071 into main 108 days ago

dcreager deleted the dcreager/sequent-fuel branch 108 days ago

Reviewers

ibraheemdev

carljm

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone