ruff
[ty] Track constraint set "support" separately; go back to fully reduced BDDs
#22578

Open

[ty] Track constraint set "support" separately; go back to fully reduced BDDs #22578

dcreager wants to merge 11 commits into main from dcreager/support

dcreager added internal

dcreager added ty

dcreager force pushed from 3b5e7cca to dcf8097c 24 days ago

dcreager force pushed from dcf8097c to 33bd081c 24 days ago

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

dcreager force pushed from 33bd081c to a33870d9 16 days ago

add Support type

decd7ae9

use support to seed SequentMap

01c02c08

include support in valid_specs

a930a38f

include missing constraints from support in find_rep_types

b4e2f6fe

consolidate for_each_path and find_rep_types

14d6c966

go back to fully reduced

467a89ac

remove source_order!

3e239c60

walk_edge can call this

7b0887e0

prune impossible paths during BDD construction

90fe3e64

don't include unsatisfiable constraints in support

7f289893

walk missing _after_ walking BDD

73e182db

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

Reviewers

No reviews

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone