ruff
[ty] Track constraint set "support" separately; go back to fully reduced BDDs
#22578
Open
Overview
Commits
11
Changes
View On GitHub

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

dcreager wants to merge 11 commits into dcreager/lazy-sequent-map from dcreager/support
dcreager
dcreager add Support type and go back to fully reduced
83e749bf
dcreager use support to seed SequentMap
d8a8d343
dcreager include support in valid_specs
69ae228d
dcreager include missing constraints from support in find_rep_types
ede31a9d
dcreager consolidate for_each_path and find_rep_types
ecbd3d75
dcreager remove source_order!
8c8173c6
dcreager walk_edge can call this
7e5f1257
dcreager pass support by reference
cd7fae49
dcreager prune impossible paths during BDD construction
b0e20ce8
dcreager dcreager added internal
dcreager dcreager added ty
astral-sh-bot
astral-sh-bot
codspeed-hq
dcreager dcreager force pushed from 3b5e7cca to dcf8097c 1 day ago
dcreager enum for Support
3b0a779d
dcreager revert some of this churn
33bd081c
dcreager dcreager force pushed from dcf8097c to 33bd081c 1 day ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
internal ty
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum