Skip to content

ABI Layer 2: prove linear-pointer memory safety (no use-after-free/double-free) — flagship Idris2 proof - #44

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/new-session-znxgm7
Jun 27, 2026
Merged

ABI Layer 2: prove linear-pointer memory safety (no use-after-free/double-free) — flagship Idris2 proof#44
hyperpolymath merged 1 commit into
mainfrom
claude/new-session-znxgm7

abi: prove linear-pointer memory safety (Layer 2 Semantics)

a8ac867
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar