riscv/riscv-cheri riscv-isa-release-69d00cb-2025-09-05

Release riscv-isa-release-69d00cb-2025-09-05

on GitHub

This release was created by: arichardson
Release of RISC-V ISA, built from commit 69d00cb, is now available.

What's Changed

• speccification vs extension, and some other minor tidy-up by @tariqkurd-repo in #766
• More proofreading by @arichardson in #761

Full Changelog: riscv-isa-release-6757274-2025-09-05...riscv-isa-release-69d00cb-2025-09-05