riscv/riscv-cheri riscv-isa-release-1ffc797-2025-05-13

Release riscv-isa-release-1ffc797-2025-05-13

on GitHub

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

What's Changed

• Minor consistency improvements by @francislaus in #591

Full Changelog: riscv-isa-release-c639554-2025-05-08...riscv-isa-release-1ffc797-2025-05-13