Skip to content

feat!: prove or trap every memory-safety operation - #37

Merged
owenthcarey merged 7 commits into
mainfrom
rfc0030-prove-or-trap
Sep 22, 2026
Merged

owenthcarey merged 7 commits into
mainfrom
rfc0030-prove-or-trap

fix: record the linux-x86_64 corpus ratchet

64fe3e4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
Analyze (C++)
succeeded Sep 21, 2026 in 37m 2s