All pull requests

Pull requests

• Add vfrec7/vfrsqrt7 subnormal coverpoints

  CoverpointsCTPstatus: needs-reviewTests
  #3043·Noah-Fotenos opened Oct 29, 2026Contributor·

  ·

• QEMU CI: update the Ssstrict exclusions to their current causes

  #3042·David Harris (davidharrishmc) opened Oct 29, 2026Collaborator·

  ·

• Add CVA6 cv64a6_imafdc_sv39 config and CI

  #3041·quanpham071204 opened Oct 29, 2026·

  ·

• Sstvala: sample instruction faults on the record that carries them

  #3038·David Harris (davidharrishmc) opened Oct 28, 2026Collaborator·

  ·

• Sv: cover non-canonical accesses by what an implementation can show

  CoverpointsCTPNeeds SAIL Supportstatus: blocked
  #3037·David Harris (davidharrishmc) opened Oct 28, 2026Collaborator·

  ·
  4

• Zawrs: add group H, the WRS tests in VS-mode and VU-mode

  CoverpointsCTPstatus: needs-reviewTests
  #3036·David Harris (davidharrishmc) opened Oct 28, 2026Collaborator·

  ·
  1

• Sm: walk Sail-predictable mstatus endianness/XLEN bits, full mcountinhibit, mhpmevent only where absent

  #3033·David Harris (davidharrishmc) opened Oct 28, 2026Collaborator·

  ·

• Leave Sail-unmodeled stateen bits and AIA/CSRIND/Smrnmi CSRs untouched where implemented

  #3030·David Harris (davidharrishmc) opened Oct 28, 2026Collaborator·

  ·
  1

• Sm: gate S-mode sret fields, menvcfg.CDE walk and mideleg.LCOFI coverage on the hart's config

  #3029·David Harris (davidharrishmc) opened Oct 28, 2026Collaborator·

  ·

• Svpbmt: cache-block operations through PBMT aliases, cbo.zero on NC/IO pages, NC/IO aliasing

  CoverpointsCTPstatus: needs-reviewTests
  #3026·David Harris (davidharrishmc) opened Oct 28, 2026Collaborator·

  ·
  1

• Smstateen and Ssstateen: hypervisor groups H

  CoverpointsCTPstatus: needs-reviewTests
  #3012·David Harris (davidharrishmc) opened Oct 26, 2026Collaborator·

  ·
  1

• Add ACT tests for Zvabd extension (unratified)

  CoverpointsCTPstatus: needs-reviewTestsunratified
  #3009·James Shi (jamesbeyond) opened Oct 26, 2026Collaborator·

  ·
  2

• Ssnpm: H group from the hypervisor branch

  CoverpointsCTPstatus: needs-reviewTests
  #3006·David Harris (davidharrishmc) opened Oct 25, 2026Collaborator·

  ·
  12

• PMP: H group for VS-mode, VU-mode and two-stage accesses

  CoverpointsCTPstatus: needs-reviewTests
  #3005·David Harris (davidharrishmc) opened Oct 25, 2026Collaborator·

  ·
  1

• Sv: H, HSm, HZicbo and HZicboSm groups for two-stage translation

  CoverpointsCTPstatus: needs-reviewTests
  #3004·David Harris (davidharrishmc) opened Oct 25, 2026Collaborator·

  ·
  11

• Zicfilp: H group for landing pads in VS-mode and VU-mode

  CoverpointsCTPstatus: needs-reviewTests
  #3002·David Harris (davidharrishmc) opened Oct 25, 2026Collaborator·

  ·
  4

• Sv: accesses that straddle into a faulting page

  CoverpointsCTPstatus: needs-reviewTests
  #2990·David Harris (davidharrishmc) opened Oct 24, 2026Collaborator·

  ·
  2

• Fold SstcH and SstcHSm into the Sstc suite

  CoverpointsCTPstatus: needs-reviewTests
  #2986·David Harris (davidharrishmc) opened Oct 24, 2026Collaborator·

  ·
  5

• Sdtrig: cross mcontrol6 match with size on select = 1

  CoverpointsCTPstatus: needs-reviewTests
  #2976·pclarkhmc opened Oct 23, 2026Contributor·

  ·
  2

• testgen: share random vector data instead of repeating it per label

  status: needs-reviewTest EnvironmentTests
  #2971·David Harris (davidharrishmc) opened Oct 23, 2026Collaborator·

  ·
  1

• testgen: emit smaller unprivileged vector tests

  status: needs-reviewTest EnvironmentTests
  #2970·David Harris (davidharrishmc) opened Oct 23, 2026Collaborator·

  ·
  2

• Sdtrig: cm.push/cm.pop combined access tests

  CTPstatus: needs-reviewTest FrameworkTests
  #2944·Gabe Alencar (GabeAlencar) opened Oct 22, 2026Contributor·

  ·
  1

• Sdtrig: reorganize SdtrigCommon.py and fix two generator bugs

  status: needs-reviewTests
  #2932·pclarkhmc opened Oct 21, 2026Contributor·

  ·
  1

• Add Zfinx support

  CoverpointsCTPstatus: deferredTest EnvironmentTests
  #2931·Pagerd opened Oct 21, 2026Contributor·

  ·
  1

• Subtract MIP-clear wait instructions from Zicntr instret WFI coverpoi…

  status: needs-reviewTest EnvironmentTests
  #2925·edevolder-tt opened Oct 21, 2026Contributor·

  ·