Skip to content

State in C-132 that a mut-param callee sees the pre-call value of the global its argument is rooted at - #120

Merged
O6lvl4 merged 1 commit into
mainfrom
c132-precall-3103
Sep 30, 2026
Merged

O6lvl4 merged 1 commit into
mainfrom
c132-precall-3103

State in C-132 that a callee reading the global its mut argument is r…

31868a5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar