ruff
[red-knot] Use ternary decision diagrams (TDDs) for visibility constraints
#15861
Merged
Merged
[red-knot] Use ternary decision diagrams (TDDs) for visibility constraints #15861
dcreager
merged
27 commits into
main
from
dcreager/tdd
Base automatically changed from
dcreager/vc-api
to
main
1 year ago
Add TDD implementation
5c2d7315
Replace the old implementation with the new TDD one!
1116336d
Remove NodeKind
5b6bce52
Check cache second
48fce260
Add additional comments
3e4058c7
Remove recursion depth limit test
eaec3770
clippy
dd03d79d
easy on the inline
2c2aba4f
Reduce C && !C to false (etc) correctly
f76824c3
Remove simplify calls!!!
2c98b82e
Skip calculating ambiguous branch if it's not needed
0fa10158
Revert "Remove simplify calls!!!"
6fb24c6c
Reapply "Remove simplify calls!!!"
6e47aa98
Add .pyi xfail for RET503
61b23359
Use IndexVec
bd5ebf7a
Handle two-terminal case in cmp_atoms
d7f070c2
Remove unneeded clippy allows
7eb1f2bb
carljm
approved these changes
on 2025-02-03
Custom Idx impl for Atom
cf6b269c
Add custom Idx impl for ScopedVisibilityConstraintId
a3876365
Go back to Vec I guess
ff472b74
MichaReiser
commented
on 2025-02-04
Revert "Go back to Vec I guess"
977da30c
Revert "Remove simplify calls!!!"
086bb584
Move finish calls
20ada6a5
Add module docs describing TDDs
82e8e3e0
Make SMALLEST_TERMINAL an id
7e286a76
Document copy number better
33773153
Document format_args usage
ec35dcfa
Reviewers
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub