riscv/riscv-cheri riscv-isa-release-80ccbed-2026-07-07

Release riscv-isa-release-80ccbed-2026-07-07

on GitHub

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

What's Changed

• Fix mangled JALR Operation listing by @arichardson in #1140

Full Changelog: riscv-isa-release-1a38e3f-2026-07-07...riscv-isa-release-80ccbed-2026-07-07