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

Merged

owenthcarey merged 7 commits into

mainfrom

rfc0030-prove-or-trap

Sep 22, 2026

Commits on Sep 20, 2026

feat!: prove or trap (RFC 0030)
owenthcarey
committed
8dced2a

Commits on Sep 21, 2026

fix: build on Linux, clang-tidy, formatting, and six stale case markers
owenthcarey
committed
7387acf
fix: five engine bugs the case suite was failing on, and the no-run trap rule
owenthcarey
committed
7d88084
fix: clear the clang-tidy backlog and the LinkStep ADL break on Linux
owenthcarey
committed
cc0e35e
fix: Linux portability in the tests, the harness and the summary stream
owenthcarey
committed
46e858d
fix: stop CTest oversubscribing the machine, which timed runs out
owenthcarey
committed
f8767f4
fix: record the linux-x86_64 corpus ratchet
owenthcarey
committed
64fe3e4