[ty] Go back to reduced BDDs for constraint sets #26142
dcreager
merged
20 commits into
main
from
dcreager/fully-reduced
[π] Plan constraint-set full reduction
5493c2f0
[π] Add constraint-set solution stability tests
e04800b8
[π] Centralize standalone constraint node construction
e8dcdb00
[π] Add local constraint TDD reductions
5d17215c
[π] Document constrained TypeVar ambiguity punt
62b45e43
[π] Preserve constrained TypeVar relationships
475b087b
[π] Choose best constrained TypeVar constraint
92ef9672
inline local_reductions
c60ae4b3
dcreager
commented
on 2026-06-19
carljm
approved these changes
on 2026-06-24
merge main
c8b862d6
[π] Replace constraint unit tests with mdtests
194304e4
[π] Preserve ambiguous constrained TypeVar fallback
c1563861
[π] Preserve gradual evidence in native constraints
0a8e7866
[π] Preserve original evidence in pending constraints
4bc0b8d3
clean clean clean
d7f4b7af
add some deeper gradual examples
d0981781
dcreager
commented
on 2026-06-26
use gradual as fallback
3a8042c5
[π] Cache type materialization
5bbb3236
[π] Recover cached materialization cycles
007f0df3
dcreager
changed the title
merge main
58b78a23
remove completed plan
4afa0cb4
Login to write a write a comment.
Login via GitHub