Stricter formal semantics for `free` - #592

Open

xavierleroy wants to merge 2 commits into

Commits on Aug 15, 2026

Memory model: ensure injections do not make metadata accessible normally
xavierleroy
committed
85b0186
Tigthen the semantics of `free`
xavierleroy
committed
e2efe16