Introduce DFA-based Uniqueness Checking#53

Open

paganma wants to merge 91 commits intomainfrom

marco/uniqueness-dataflow-analysis

Commits on Feb 24, 2026

Commits on Mar 3, 2026

Commits on Mar 5, 2026

Clarify documentation
paganma
committed
Use `valuePaths` property instead of directly using the visitor
paganma
committed
Improve locals names
paganma
committed
Rename local `out` to `errorCollector`
paganma
committed
Update formver.compiler-plugin/plugin/src/org/jetbrains/kotlin/formver/plugin/compiler/UniquenessDeclarationChecker.kt

paganma
and
jesyspa
authored
Put `resolver` and `initial` local declaration inside try-catch
paganma
committed
Split declaration of `callableDeclaration` from `callableSymbol`
paganma
committed
Update formver.compiler-plugin/uniqueness/src/org/jetbrains/kotlin/formver/uniqueness/UniquenessGraphChecker.kt

paganma
and
jesyspa
authored
Check casts
paganma
committed
Merge remote-tracking branch 'origin/marco/uniqueness-dataflow-analysis' into marco/uniqueness-dataflow-analysis
paganma
committed
Use when expressions to simplify checks
paganma
committed
Use `computeIfAbsent` to fetch `child`
paganma
committed
Rename `BorrowLevel`s to `Global` and `Local`
paganma
committed
fixup! Rename `BorrowLevel`s to `Global` and `Local`
paganma
committed
Avoid using abstract classes in tests
paganma
committed
Move the individual `valuePaths` based on their individual types.
paganma
committed
Update formver.compiler-plugin/uniqueness/src/org/jetbrains/kotlin/formver/uniqueness/UniquenessGraphAnalyzer.kt

paganma
and
jesyspa
authored
Use smart casts through `when`
paganma
committed
Merge remote-tracking branch 'origin/marco/uniqueness-dataflow-analysis' into marco/uniqueness-dataflow-analysis
paganma
committed

Commits on Mar 6, 2026

Commits on Mar 8, 2026

Commits on Mar 9, 2026