All pull requests

Pull requests

• Add support for the Smcdeleg and Ssccfg extensions

  extension
  #2079·Nadime Barhoumi (nadime15) opened Nov 5, 2026Collaborator·

  ·
  10

• Fix scalar EMUL alignment and overlap checks for vector crypto .vs instructions

  #2076·WeiShen1011 opened Nov 4, 2026·

  ·
  6

• Move to C++20.

  #2073·Prashanth Mundkur (pmundkur) opened Nov 3, 2026Collaborator·

  ·
  6

• Fix a couple of issues in the gdb server.

  #2069·Prashanth Mundkur (pmundkur) opened Oct 31, 2026Collaborator·

  ·
  1

  2

• Add configuration to support whether tdata2 and tdata3 are present, and per-trigger use of textra/tdata3.

  #2060·Prashanth Mundkur (pmundkur) opened Oct 29, 2026Collaborator·

  ·
  3

• Handle ExecuteAs in isla_footprint_no_init

  #2059·John LÜ (JohnLyu2) opened Oct 29, 2026·

  ·

• Support config options for whether tdata3 and textra are implemented.

  #2057·edevolder-tt opened Oct 28, 2026Contributor·

  ·
  12

• make log trace virtualized csrs in VS-mode

  #2051·KotorinMinami opened Oct 27, 2026Contributor·

  ·
  1

• Refactor the CI workflow to use build and test actions for the corresponding jobs.

  #2042·Prashanth Mundkur (pmundkur) opened Oct 22, 2026Collaborator·

  ·

• Fix width of data compares against tdata2 for mcontrol6.

  #2040·Prashanth Mundkur (pmundkur) opened Oct 21, 2026Collaborator·

  ·
  1

  12

• Add support for the proposed Zvkgs extension.

  extension
  #2029·Andrew Lenharth (darthscsi) opened Oct 16, 2026Contributor·

  ·
  3

• Improve callbacks and add some utilities to the C++ model wrapper.

  #2020·Prashanth Mundkur (pmundkur) opened Oct 13, 2026Collaborator·

  ·

• Alternative approach for MEM records for RVVI (draft)

  #1998·Prashanth Mundkur (pmundkur) opened Oct 5, 2026Collaborator·

  ·
  8

• 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·

  ·
  6

• Configure Renovate

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

  ·
  1

  4

• 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·

  ·
  8

• 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 Sspmpss supervisor mode shadow stack support

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

  ·

• Add Sscpuutil extension

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

  ·
  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·

  ·