[red-knot] Statically known branches (first take)#14759

Closed

sharkdp wants to merge 68 commits intomainfrom

david/statically-known-branches

Commits on Dec 13, 2024

[red-knot] Statically known branches
sharkdp
committed
Use BitSet instead of HashSet
sharkdp
committed
Explain version bounds in tests
sharkdp
committed
Add comment
sharkdp
committed
Handle static True/False for boundness
sharkdp
committed
Handle while loops
sharkdp
committed
Rename to branching-condition
sharkdp
committed
Handle unconditional branching
sharkdp
committed
Same handling for definitions
sharkdp
committed
Remove comment
sharkdp
committed
Add tests for 'while'-narrowing
sharkdp
committed
More Boolean expression tests
sharkdp
committed
More tests
sharkdp
committed
Clarify TODO comments
sharkdp
committed
Add typing.TYPE_CHECKING
sharkdp
committed
Infer Unknown instead of Never
sharkdp
committed
Remove superfluous test
sharkdp
committed
Proper for-loop handling
sharkdp
committed
Renaming
sharkdp
committed
Clippy suggestions
sharkdp
committed
Fix typo
sharkdp
committed
Missing word
sharkdp
committed
Some cleanup and performance work
sharkdp
committed
Simplify named-expression tests
sharkdp
committed
Fix behavior of staticallyk-known undeclared symbols
sharkdp
committed
Clippy suggestions
sharkdp
committed
Use sub-headings instead of path=…
sharkdp
committed
Add test with break inside 'if True'
sharkdp
committed
Minor fixes in for-loop tests
sharkdp
committed
Straighten definitions of bitsets
sharkdp
committed
Documentation
sharkdp
committed
Fix docs
sharkdp
committed
Remove TODO
sharkdp
committed
Handle control flow in try..else..finally
sharkdp
committed
Support analysis of 'match' statements
sharkdp
committed
Move static truthiness to new module
sharkdp
committed
Move static-truthiness merging to dedicated module
sharkdp
committed
Remove Clone
sharkdp
committed
Add documentation
sharkdp
committed
Add doc comment
sharkdp
committed
Clean up code in infer.rs
sharkdp
committed
Update bitset
sharkdp
committed
Reinstate tests
sharkdp
committed
Minor fixes
sharkdp
committed
Minor
sharkdp
committed
Bring back TODO comment
sharkdp
committed
Remove Clone
sharkdp
committed
Visibility struct
sharkdp
committed
Add introduction section
sharkdp
committed
Fix clippy suggestions
sharkdp
committed
Fix doc test
sharkdp
committed
Minor doc update
sharkdp
committed
Add tests for elif branches
sharkdp
committed
Minor doc updates
sharkdp
committed
Update TODO
sharkdp
committed
Add 'import sys'
sharkdp
committed
Fix x=1,2,3 values in test
sharkdp
committed
Add tests for multiple 'elif True' / 'elif False' branches
sharkdp
committed
Rename to record_ambiguous_branching
sharkdp
committed
Hard assert
sharkdp
committed
Resolve TODO in tuple.md
sharkdp
committed
Document current limitations
sharkdp
committed
Snake case
sharkdp
committed
Remove Truthiness::from_bool
sharkdp
committed
Make is_ambiguous pub(crate)
sharkdp
committed
Derive Debug
sharkdp
committed
Fix rogue conflict resolution
sharkdp
committed
Minor
sharkdp
committed