ruff
[ty] Remove `source_order` fields from constraint sets; go back to fully reduced BDDs
#22578

Open

[ty] Remove `source_order` fields from constraint sets; go back to fully reduced BDDs #22578

dcreager wants to merge 7 commits into dcreager/add-support from dcreager/support

dcreager added internal

dcreager added ty

dcreager force pushed from 3b5e7cca to dcf8097c 53 days ago

dcreager force pushed from dcf8097c to 33bd081c 53 days ago

Base automatically changed from dcreager/lazy-sequent-map to main 47 days ago

dcreager force pushed from 33bd081c to a33870d9 46 days ago

dcreager force pushed from 70751f8b to 73e182db 41 days ago

dcreager force pushed from 73e182db to 170597c4 6 days ago

dcreager changed the title ~~[ty] Track constraint set "support" separately; go back to fully reduced BDDs~~ [ty] Remove `source_order` fields from constraint sets; go back to fully reduced BDDs 6 days ago

dcreager added ecosystem-analyzer

dcreager force pushed from 520cb216 to 14510fbd 3 days ago

dcreager changed the base branch from main to dcreager/add-support 3 days ago

remove source_order

4eb1304c

load nodes in order

67f2f5eb

track which support constraints are derived

12195af1

fully reduced!

931091dc

include missing support constraints in for_each_path

f9ff871c

no Ord!

3c941900

don't include unsatisfiable constraints in support

d9c9e16a

dcreager force pushed from 14510fbd to d9c9e16a 3 days ago

dcreager force-pushed the dcreager/add-support branch from df5302e0 to 2b07c2c7 3 days ago

Reviewers

No reviews

Assignees

No one assigned

Labels

internal ty ecosystem-analyzer

Milestone

No milestone

ruff [ty] Remove `source_order` fields from constraint sets; go back to fully reduced BDDs #22578 Open

[ty] Remove `source_order` fields from constraint sets; go back to fully reduced BDDs #22578

ruff
[ty] Remove `source_order` fields from constraint sets; go back to fully reduced BDDs
#22578

Open