All pull requests

Pull requests

• Add missing changelog entries for PRs #1965, #1973, and #1978

  will be merged
  #1995·Nadime Barhoumi (nadime15) opened Oct 2, 2026Collaborator·

  ·

• Simplify prelude binding for truncating division and modulus

  #1994·Alasdair Armstrong (Alasdair) opened Oct 2, 2026Collaborator·

  ·
  3

• Add config options to write transformed instructions to mtinst/htinst

  will be merged
  #1991·Nadime Barhoumi (nadime15) opened Sep 30, 2026Collaborator·

  ·
  1

  21

• make Indexed segment stores check against the whole segment group

  #1990·KotorinMinami opened Sep 30, 2026Contributor·

  ·
  5

• Add configurable behavior for reserved static rounding modes

  #1987·JYOSHNA KARRI (JyoshnaKarri) opened Sep 29, 2026·

  ·
  2

• Add Shlcofideleg extension

  #1976·Talha Demir (Talha-Dmr) opened Sep 28, 2026·

  ·

• Add some significant bit finding utilities.

  #1966·Prashanth Mundkur (pmundkur) opened Sep 25, 2026Collaborator·

  ·
  2

• Add Ziccid extension

  extension
  #1955·Chih-Min Chao (chihminchao) opened Sep 16, 2026·

  ·
  2

• Add experimental support for the RISC-V P extension (RVP 020)

  extension
  #1952·Chun-Lin Huang (gglangg) opened Sep 15, 2026·

  ·
  4

• Configure Renovate

  #1950·renovate[bot] opened Sep 14, 2026Bot·

  ·
  2

• Fix c.lui assembly to use unsigned immediate

  #1944·JYOSHNA KARRI (JyoshnaKarri) opened Sep 10, 2026·

  ·
  1

  3

• [RFC] Add Zimt memory tagging extension (v0.2 draft spec, experimental)

  #1929·deepak0414 opened Sep 1, 2026·

  ·
  1

• Add config options for legal values of CBIE in xenvcfg

  #1924·KotorinMinami opened Aug 31, 2026Contributor·

  ·
  2

• coq: bind the reservation and terminal platform externs

  #1897·Nickolai Zeldovich (zeldovich) opened Aug 22, 2026Contributor·

  ·
  1

• Refactor cmake build to enable custom Lean builds.

  refactor
  #1879·Prashanth Mundkur (pmundkur) opened Aug 18, 2026Collaborator·

  ·
  1

• Add indirect CSR access framework (Smcsrind/Sscsrind)

  extension
  #1874·Christian Herber (christian-herber-nxp) opened Aug 14, 2026·

  ·
  2

• Add Sspmpss supervisor mode shadow stack support

  extension
  #1870·michalchm opened Aug 11, 2026Contributor·

  ·

• Add Sscpuutil extension

  extension
  #1867·Mingzhu Yan (trdthg) opened Aug 11, 2026Collaborator·

  ·
  1

• Add Smucfiss user mode shadow stack support

  extension
  #1866·michalchm opened Aug 10, 2026Contributor·

  ·

• Add Smcfiss machine mode shadow stack support

  extension
  #1865·michalchm opened Aug 10, 2026Contributor·

  ·

• Add Smpmpind indirect PMP CSR access

  extension
  #1864·michalchm opened Aug 8, 2026Contributor·

  ·
  6

• cmake: allow replacing a formal backend's config per arch

  #1861·Devon Tuma (dtumad) opened Aug 6, 2026Contributor·

  ·
  24

• Model the PTE A/D-bit update as an atomic read-check-write

  #1860·Nickolai Zeldovich (zeldovich) opened Aug 6, 2026Contributor·

  ·
  7

• add support of RVVI_TEXT output

  #1857·KotorinMinami opened Aug 1, 2026Contributor·

  ·
  36

• Implement a basic event framework.

  #1840·Prashanth Mundkur (pmundkur) opened Jul 27, 2026Collaborator·

  ·
  1

  8