ruff
[ty] Change to BDD representation for constraint sets
#20533
Merged
Overview
Commits
57
Changes
View On GitHub

[ty] Change to BDD representation for constraint sets #20533

dcreager merged 57 commits into main from dcreager/consraint-bdd
dcreager
dcreager dcreager added internal
dcreager dcreager added ty
github-actions
codspeed-hq
codspeed-hq
github-actions
dcreager track has_relation_to
c666c2a1
dcreager intern individual constraints
f9be8570
dcreager add failing test
b6959226
dcreager more failing tests
52857200
dcreager yet another bdd implementation
6f7c3dfd
dcreager add a display impl
15d980c6
dcreager use bdd
275dc9eb
dcreager simplify at constraintset
f8ed32fe
dcreager brute-force simplification
c435f5fd
dcreager separate clause search from display logic
54130358
dcreager pull this out into a separate type too
34e9e081
dcreager simplify clauses when displaying
2eaa6273
dcreager simplify longer clauses when displaying
f9bb316c
dcreager these tests pass now!
3adcbf3e
dcreager substitute intersections
2a8725a2
dcreager shannon substitution
07e0f0fa
dcreager substitute instead of simplify_relative_to
97816374
dcreager iff
bb3e7ef5
dcreager semantic validation
454b8b49
dcreager impl display for clauses
9ec17090
dcreager simpler display
5fb22e6a
dcreager fix iff
02be71ee
dcreager both size heuristic and semantic validation
999f1af6
dcreager empty intersection
68a900c2
dcreager more general substitution
92e56a5d
dcreager more simplifications
48364985
dcreager track whether restricted variables are found
735c2f59
dcreager hide debugs
e691de47
dcreager even more simplifications
9697c467
dcreager simplify newly added typevars too
8369150a
dcreager remove unused stuff
2d54961c
dcreager clippy
c850c47b
dcreager Revert "track has_relation_to"
3ad723c2
dcreager more simpler
2db28dde
dcreager simplify all pairs of atoms
e00649f8
dcreager reorder some reveals
2d0ec1ae
dcreager one more simplification
99ebb8a1
dcreager remove interior_node_count
ea49e7dc
dcreager documentation
f018b7ae
dcreager inline is_always
a7b7e757
dcreager rename some things to be more consistent
874505ac
dcreager more docs
bd02b9a6
dcreager remove commented out printlns
252bb2c1
dcreager short circuit
da103cb2
dcreager SatisfiedConstraint -> ConstraintAssignment
46a89eb8
dcreager document substitution
e4fbf0ae
dcreager document simplification
53a079e0
dcreager dcreager force pushed from a3d4853f to 53a079e0 4 days ago
dcreager fwomp
4c0af5f6
dcreager this can be copy
dd24a147
dcreager typos
2cc6df3b
dcreager
dcreager commented on 2025-09-25
dcreager dcreager marked this pull request as ready for review 4 days ago
dcreager dcreager requested a review from carljm carljm 4 days ago
dcreager dcreager requested a review from AlexWaygood AlexWaygood 4 days ago
dcreager dcreager requested a review from sharkdp sharkdp 4 days ago
dcreager dcreager changed the title [ty] WIP: Change to BDD representation for constraint sets [ty] Change to BDD representation for constraint sets 4 days ago
dcreager separate check for whether BDD contains constraint
39347352
carljm
carljm approved these changes on 2025-09-25
dcreager Apply suggestions from code review
dc9019f8
dcreager
dcreager commented on 2025-09-25
dcreager Revert "separate check for whether BDD contains constraint"
cae5fa9c
dcreager flip -> negate
34d64a4a
dcreager combine types
c848f9d4
dcreager fix comment
7972b06e
dcreager fix comment again
bca166cb
dcreager dcreager merged 02ebb2ee into main 4 days ago
dcreager dcreager deleted the dcreager/consraint-bdd branch 4 days ago

Login to write a write a comment.

Login via GitHub

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