riscv/riscv-cheri riscv-isa-release-791a4b7-2025-12-03

Release riscv-isa-release-791a4b7-2025-12-03

on GitHub

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

What's Changed

• uncontroversial subset of PR 877 by @tariqkurd-repo in #879

Full Changelog: riscv-isa-release-1092b03-2025-12-03...riscv-isa-release-791a4b7-2025-12-03