Issues

• Directed fadd rounding is off by one ulp at a max-finite midpoint

  HexRaysSA/rax#330 · Filter by author carlosqwqqwq opened on Aug 24, 2026

• RV32 AMOCAS.D is rejected although Zacas defines register-pair semantics

  HexRaysSA/rax#329 · Filter by author carlosqwqqwq opened on Aug 24, 2026

• mip MTIP and MEIP writes incorrectly replace platform-pending state

  HexRaysSA/rax#328 · Filter by author carlosqwqqwq opened on Aug 24, 2026

• RISC-V privileged fences and MRET ignore the current privilege level

  HexRaysSA/rax#327 · Filter by author carlosqwqqwq opened on Aug 24, 2026

• The c.lui rd=x0 HINT code point is rejected as a reserved encoding

  HexRaysSA/rax#321 · Filter by author carlosqwqqwq opened on Aug 22, 2026

• The legal vfmv.v.f encoding is rejected as an illegal instruction

  HexRaysSA/rax#320 · Filter by author carlosqwqqwq opened on Aug 22, 2026

• vcompress.vm accepts a misaligned destination register group

  HexRaysSA/rax#319 · Filter by author carlosqwqqwq opened on Aug 22, 2026

• cbo.zero faults report the aligned block base in mtval instead of rs1

  HexRaysSA/rax#318 · Filter by author carlosqwqqwq opened on Aug 22, 2026

• FP instructions and FP CSRs are not gated on mstatus.FS

  HexRaysSA/rax#317 · Filter by author carlosqwqqwq opened on Aug 22, 2026