Skip to content

Fix soundness: use raw pointers instead of erased lifetimes#64

Merged
somethingelseentirely merged 1 commit into
mainfrom
claude/formal-verification-RfheN
Mar 17, 2026
Merged

Fix soundness: use raw pointers instead of erased lifetimes#64
somethingelseentirely merged 1 commit into
mainfrom
claude/formal-verification-RfheN

Fix soundness: use raw pointers in Bytes and View to avoid borrow mod…

64306be
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar