Skip to content

Propagate access dependencies for ternary expressions in pure functions#86

Open
AlexFalter wants to merge 7 commits intomainfrom
alex/heap-dependent-verification
Open

Propagate access dependencies for ternary expressions in pure functions#86
AlexFalter wants to merge 7 commits intomainfrom
alex/heap-dependent-verification

Commits

Commits on Mar 24, 2026

Commits on Mar 25, 2026