aboutsummaryrefslogtreecommitdiff
path: root/model/core
AgeCommit message (Expand)AuthorFilesLines
2026-04-26Add the Zicclsm extension. (#1468)tongjiacheng2-0/+12
2026-04-26Adjust when `mstatus.{FS,VS}` is read-only zero depending on support for S-mo...Prashanth Mundkur1-7/+6
2026-04-24Add a configuration option for exact matches on reservation addresses for LR/...Prashanth Mundkur1-1/+1
2026-04-24Extend the configuration for the handling of misaligned accesses. (#1647)Prashanth Mundkur2-8/+47
2026-04-23Add the Ziccif extension. (#1630)Prashanth Mundkur1-3/+9
2026-04-22Add Simple Interrupt Generator MMIO device for testing purposes (#1645)Tim Hutt2-4/+48
2026-04-20Add Hypervisor Virtual Instruction Exception Handling for CSR Accesses (#1624)Nadime Barhoumi1-0/+4
2026-04-15Introduce a Vector payload for memory accesses. (#1655)Prashanth Mundkur2-1/+9
2026-04-14Detect potentially infinite trap loops. (#1656)Prashanth Mundkur1-0/+4
2026-04-06Add the Svpbmt extension. (#1626)Prashanth Mundkur3-1/+13
2026-03-27Add the Svade and Svadu extensions. (#1599)Prashanth Mundkur3-5/+13
2026-03-17Add the Ssccptr extension. (#1611)Prashanth Mundkur1-0/+6
2026-03-15Extend PMA attributes to specify whether hardware can read/write page-tables....Prashanth Mundkur2-19/+28
2026-03-13Add the Ziccamoa, Ziccamoc and Ziccrse extensions. (#1605)Prashanth Mundkur1-0/+16
2026-03-13Add the Svnapot extension. (#1596)Prashanth Mundkur1-1/+2
2026-03-13Add a `max_time_to_wait` parameter to configure maximum waits for waiting ins...Prashanth Mundkur1-0/+4
2026-03-12Add the Svvptc extension. (#1606)Prashanth Mundkur1-0/+6
2026-03-11Add a configuration parameter to control the writable bits of `scounteren`. (...Prashanth Mundkur2-4/+13
2026-03-10Refactor feature_enabled_for_priv() to return tri-state result (#1597)Nadime Barhoumi1-10/+26
2026-03-09Make the physical memory write helpers require an explicit access-type argume...Prashanth Mundkur1-2/+0
2026-03-03Add the Zicfiss extension. (#1408)Prashanth Mundkur5-23/+110
2026-03-01Add configuration option for reserved mtvec[MODE] values (#1533)tongjiacheng2-6/+15
2026-02-26Move interrupt state to its own file (#1565)Tim Hutt2-190/+193
2026-02-08Remove some unused string mappings. (#1538)Prashanth Mundkur1-31/+2
2026-02-04Add unratified Zvabd extension (#1478)Tinyueng1-0/+7
2026-02-04Add LCOFI interrupt missed in Sscofpmf. (#1520)Prashanth Mundkur2-15/+35
2026-02-01Add the Zibi extension. (#1507)2026-02-02-e7e6e07tongjiacheng1-0/+4
2026-01-31Add configuration option to handle reserved dynamic rounding modes. (#1491)tongjiacheng1-0/+12
2026-01-30Ensure physical memory access checks are not bypassed for failing store-condi...Prashanth Mundkur1-0/+6
2026-01-24Add configuration option for reserved behavior: odd number register for RV32Z...2026-01-26-89935a8tongjiacheng1-0/+12
2026-01-19Remove N extension InterruptType values (#1492)KotorinMinami1-9/+9
2026-01-18Refactor the memory access type. (#1405)Prashanth Mundkur3-20/+70
2026-01-16Add Ssqosid extension (#379)Ved Shanbhogue1-0/+6
2026-01-16Add hypervisor helper to check if privilege level is virtual mode (#1482)Nadime Barhoumi1-2/+6
2026-01-15Add Hypervisor exception causes (#1480)Nadime Barhoumi2-3/+22
2026-01-15Use `bits(1)` and `0b0`/`0b1` consistently in place of `bit` and `bitone`/`bi...Jordan Carlin5-22/+22
2026-01-14Add Hypervisor interrupt causes (#1481)Nadime Barhoumi2-29/+33
2026-01-14Add configuration option for reserved behavior xenvcfg.CBIE = 0b10 (#1447)tongjiacheng2-2/+23
2026-01-14Rename the `ext_access_type` type to `mem_payload`. (#1479)Prashanth Mundkur3-12/+20
2026-01-14Add support for Smstateen and Ssstateen extensions (#910)Nadime Barhoumi2-3/+22
2026-01-08Centralize memory-access-to-fault conversions. (#1475)2026-01-12-397a7e8Prashanth Mundkur1-0/+23
2026-01-08Add configuration option for reserved behavior `pmpcfg with r=0, w=1` (#1422)tongjiacheng1-7/+16
2026-01-07Use a consistent name for variables of MemoryAccessType. (#1474)Prashanth Mundkur3-5/+5
2025-12-28Add reserved_behavior.amocas_odd_registers config (#1403)tongjiacheng1-0/+17
2025-12-21Use private keyword in virtual memory code (#1310)Alasdair Armstrong3-24/+26
2025-12-17Add Zdinx to configuration and validate Zfinx-related dependencies (#1431)Nadime Barhoumi1-1/+1
2025-12-16Fix location of the `hartSupports_measure` function. (#1429)Prashanth Mundkur1-19/+23
2025-12-08Scatter termination.sail (#1376)Valentin Robert2-3/+84
2025-12-08Simplify read/write kinds (#1262)Tim Hutt1-4/+10
2025-12-05Use C++ Sail output (#1274)Tim Hutt3-79/+79