Repository navigation

Enforce minimal safe alignment on global variables - #581

Merged

xavierleroy merged 3 commits into

global_alignment

Apr 27, 2026

Merged

Enforce minimal safe alignment on global variables#581
xavierleroy merged 3 commits into
masterfrom
global_alignment

Commits on Apr 23, 2026
- Introduce and use `Memdata.min_safe_alignment`
  xavierleroy
  committed
  bff5ec4
- Camlcoq: export Z.min, Z.max
  xavierleroy
  committed
  e1ffc63
- Enforce minimal safe alignment on global variables
  xavierleroy
  committed
  4ff1b27