Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 23, 2025

• [formal] Disable the Zc* extensions for formal verification

  SamuelRiedel

  committed
  0c233f5

  Copy full SHA for 0c233f5

• [rtl] Make Zcmp state registers resettable

  SamuelRiedel

  committed
  90ecd9d

  Copy full SHA for 90ecd9d

• [rtl] Compute `gets_expanded_o` only if the instruction is valid

  SamuelRiedel

  committed
  47b7541

  Copy full SHA for 47b7541

• [rtl] Add assertion to ensure the push/pop FSM only advances if valid

  SamuelRiedel

  committed
  cf7499a

  Copy full SHA for cf7499a

• [rtl] Only start the push/pop FSM if the instruction is valid

  SamuelRiedel

  committed
  2ce623d

  Copy full SHA for 2ce623d

• [rtl] Optimize the Zcmp FSM

  Show description for 29fffa1
  SamuelRiedel

  committed
  29fffa1

  Copy full SHA for 29fffa1

• [rtl] Add explanations to the Zcmp state machine

  SamuelRiedel

  committed
  5187b12

  Copy full SHA for 5187b12

• [rtl] Fix handshake on compressed decoder

  Show description for aad1b84
  SamuelRiedel

  committed
  aad1b84

  Copy full SHA for aad1b84

• [rtl] Annotate traces with expanded instruction information

  Show description for 527ee4d
  SamuelRiedel

  committed
  527ee4d

  Copy full SHA for 527ee4d

• [rvfi] Track expanded instruction in rvfi

  Show description for e5d53f4
  SamuelRiedel

  committed
  e5d53f4

  Copy full SHA for e5d53f4

• [rtl] Track last expanded instruction

  Show description for 46ee3e4
  SamuelRiedel

  committed
  46ee3e4

  Copy full SHA for 46ee3e4

• [doc] Add Zcb and Zcmp extension to documentation

  SamuelRiedel

  committed
  db4dcbf

  Copy full SHA for db4dcbf

• [rtl] Parametrize Zcb and Zcmp extensions

  SamuelRiedel

  committed
  87fd843

  Copy full SHA for 87fd843

• [rvfi] Output expanded instructions (except for the last one)

  

  andreaskurth

  authored and

  SamuelRiedel

  committed
  36ee620

  Copy full SHA for 36ee620

• [rtl] Implement Zcmp extension

  

  andreaskurth

  authored and

  SamuelRiedel

  committed
  c42aab7

  Copy full SHA for c42aab7

• [rtl] Implement the Zcb extension

  

  Elias Christen

  authored and

  SamuelRiedel

  committed
  f817e96

  Copy full SHA for f817e96

Commits on Dec 19, 2025

• [rtl] Fix linter warnings

  SamuelRiedel

  committed
  246849e

  Copy full SHA for 246849e

• [rtl,dv] Align rtl with new prims from OpenTitan

  Show description for 72f387d
  SamuelRiedel

  committed
  72f387d

  Copy full SHA for 72f387d

• [fusesoc] Align fusesoc version with OpenTitan (2.4.3)

  Show description for d1e3125
  SamuelRiedel

  committed
  d1e3125

  Copy full SHA for d1e3125

• Update lowrisc_ip to lowRISC/opentitan@3424e7fb4b

  Show description for e8f9067
  SamuelRiedel

  committed
  e8f9067

  Copy full SHA for e8f9067

Commits on Dec 3, 2025

• [rtl] Stop rvfi from reporting load information on stores

  SamuelRiedel

  committed
  2fadd1a

  Copy full SHA for 2fadd1a

• [dv] Fix the `riscv_dret_test`

  Show description for e84ec08
  SamuelRiedel

  committed
  e84ec08

  Copy full SHA for e84ec08

• [rtl] Drop empty ifdef pair

  Show description for 80a2e64
  rswarbrick

  committed
  80a2e64

  Copy full SHA for 80a2e64

Commits on Nov 21, 2025

• [CSR] Clarify PMP config assignment

  Show description for 0a13971
  marnovandermaas

  committed
  0a13971

  Copy full SHA for 0a13971

• [pmp] MSB and LSB of PMP address now params

  Show description for 79248e7
  marnovandermaas

  committed
  79248e7

  Copy full SHA for 79248e7

Commits on Sep 19, 2025

• [ci] Have an OSS-Formal CI Pass

  Show description for 1f2232a
  

  mndstrmr

  authored and

  marnovandermaas

  committed
  1f2232a

  Copy full SHA for 1f2232a

• [dv/formal] Introduce an Open Source Formal Flow

  Show description for 92d4c7f
  

  mndstrmr

  authored and

  marnovandermaas

  committed
  92d4c7f

  Copy full SHA for 92d4c7f

• [dv/formal] Cleanup RTL for use by yosys-slang

  Show description for 4958b35
  

  mndstrmr

  authored and

  marnovandermaas

  committed
  4958b35

  Copy full SHA for 4958b35

• [dv/formal] Remove -fun2wires 2:rX

  Show description for 9a50001
  

  mndstrmr

  authored and

  marnovandermaas

  committed
  9a50001

  Copy full SHA for 9a50001

• [dv/formal] Remove buildspec.py

  Show description for cd1f6c5
  

  mndstrmr

  authored and

  marnovandermaas

  committed
  cd1f6c5

  Copy full SHA for cd1f6c5

Commits on Sep 1, 2025

• Remove stale link to examples/sw/led

  Show description for 9e8b32a
  

  rswarbrick

  authored and

  hcallahan-lowrisc

  committed
  9e8b32a

  Copy full SHA for 9e8b32a

Commits on Aug 17, 2025

• Fix #2302

  

  akashlevy

  authored and

  rswarbrick

  committed
  587e9fe

  Copy full SHA for 587e9fe

Commits on Aug 5, 2025

• [doc] Fix typo'd alert name

  Show description for 29f9324
  jwnrt

  committed
  29f9324

  Copy full SHA for 29f9324

Commits on Jul 28, 2025

• [nix] update nixpkgs and move from poetry to UV

  Show description for 379a78f
  nbdd0121

  committed
  379a78f

  Copy full SHA for 379a78f

• [formal] update sail

  Show description for 8594c83
  nbdd0121

  committed
  8594c83

  Copy full SHA for 8594c83

Pagination

Previous

Next