Skip to content

feat(ssa): check purity contracts during SSA interpretation - #13518

Draft
asterite wants to merge 3 commits into
masterfrom
ab/interpreter-purity-check
Draft

feat(ssa): check purity contracts during SSA interpretation#13518
asterite wants to merge 3 commits into
masterfrom
ab/interpreter-purity-check

fix(ssa): exempt constrained-context mutable array_set from the purit…

81cbae3
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Aug 12, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.