riscv/riscv-cheri riscv-isa-release-f85aab3-2025-09-02

Release riscv-isa-release-f85aab3-2025-09-02

on GitHub

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

What's Changed

• Clean up instruction tables appendix by @arichardson in #744

Full Changelog: riscv-isa-release-7ed49db-2025-09-02...riscv-isa-release-f85aab3-2025-09-02