riscv/riscv-cheri riscv-isa-release-42f0b28-2025-07-07

Release riscv-isa-release-42f0b28-2025-07-07

on GitHub

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

What's Changed

• Clarify ADD/CADD behaviour by @tariqkurd-repo in #650

Full Changelog: riscv-isa-release-a4527b8-2025-06-27...riscv-isa-release-42f0b28-2025-07-07