riscv/riscv-isa-manual riscv-isa-release-117c442-2025-12-25

Release riscv-isa-release-117c442-2025-12-25

on GitHub

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

What's Changed

• Fix bitmanip extensions integration by @ved-rivos in #2538

Full Changelog: riscv-isa-release-851c681-2025-12-24...riscv-isa-release-117c442-2025-12-25