Repository navigation

Stricter formal semantics for `free` - #592

Merged

xavierleroy merged 3 commits into

Aug 27, 2026

Merged

Stricter formal semantics for `free`#592
xavierleroy merged 3 commits into
masterfrom
free-inject

Commits on Aug 27, 2026
- Memory model: ensure injections do not make metadata accessible normally
  xavierleroy
  committed
  2f5e320
- Tigthen the semantics of `free`
  xavierleroy
  committed
  c6b61af
- Change entry for #592
  xavierleroy
  committed
  8854b8c