Skip to content

Enforce minimum alignment on entries to fix tagged pointer unsoundness#74

Merged
ibraheemdev merged 3 commits intoibraheemdev:masterfrom
drakedevel:fix-unsound-pointer-tag
Jun 24, 2025
Merged

Enforce minimum alignment on entries to fix tagged pointer unsoundness#74
ibraheemdev merged 3 commits intoibraheemdev:masterfrom
drakedevel:fix-unsound-pointer-tag

Commits

Commits on Jun 23, 2025

Commits on Jun 24, 2025