aboutsummaryrefslogtreecommitdiff
path: root/model
AgeCommit message (Expand)AuthorFilesLines
2026-04-26Renable the SMT builds and test. (#1680)Prashanth Mundkur1-4/+1
2026-04-26Add the Zicclsm extension. (#1468)tongjiacheng4-8/+42
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 Mundkur8-45/+137
2026-04-23Simplify xret by moving their logic to their execute clauses (#1672)KotorinMinami4-68/+48
2026-04-23Extend memory layout validation to include MMIO devices and the DTB. (#1673)Prashanth Mundkur2-3/+34
2026-04-23Add the Ziccif extension. (#1630)Prashanth Mundkur3-34/+91
2026-04-22Add Simple Interrupt Generator MMIO device for testing purposes (#1645)Tim Hutt9-21/+189
2026-04-20Add Hypervisor Virtual Instruction Exception Handling for CSR Accesses (#1624)Nadime Barhoumi12-63/+114
2026-04-17Tweak trap loop detector heuristic. (#1666)Prashanth Mundkur2-0/+8
2026-04-16Require PMA regions to be page-aligned. (#1663)Prashanth Mundkur1-0/+14
2026-04-16Remove the panic branch in translate_TLB_hit. (#1664)Nadime Barhoumi1-4/+1
2026-04-15Introduce a Vector payload for memory accesses. (#1655)Prashanth Mundkur7-14/+32
2026-04-14Detect potentially infinite trap loops. (#1656)Prashanth Mundkur3-5/+11
2026-04-13Implement `Memory_Exception` as a `Trap`. (#1622)KotorinMinami9-42/+44
2026-04-13Add --trace-tlb trace flag for TLB tracing (#1652)Nadime Barhoumi1-4/+21
2026-04-09Add explicit main/IO memory PMA (#1648)2026-04-13-20690c8Prashanth Mundkur3-27/+51
2026-04-06Add the Svpbmt extension. (#1626)Prashanth Mundkur17-72/+125
2026-04-06`hpmcounter{3-31}` do not depend on U (#1649)Jordan Carlin1-2/+2
2026-04-02Use ExecuteAs to make execute non-recursive (#1635)Tim Hutt5-12/+19
2026-04-01Fix PMA check for byte/half-word widths in Zabha. (#1639)Prashanth Mundkur2-5/+6
2026-04-01Remove an unused `offset` argument for `vmem_read_addr`. (#1640)Prashanth Mundkur2-4/+4
2026-04-01Fix superpage TLB entries being stored at wrong index (#1643)Nadime Barhoumi1-5/+4
2026-03-31Fix config validation to remove problematic uses of `hartSupports`. (#1629)Prashanth Mundkur1-42/+58
2026-03-30Add virtual instruction exception generation to the Flush, Clean and Zero CBO...Prashanth Mundkur2-14/+18
2026-03-30Make the PMA config validator easier to extend for more checks. (#1634)Prashanth Mundkur1-13/+23
2026-03-27Add the Svade and Svadu extensions. (#1599)Prashanth Mundkur6-51/+91
2026-03-25Return an access fault for misaligned LR/SC instead of misaligned exception (...Tim Hutt1-18/+17
2026-03-17Add the Ssccptr extension. (#1611)Prashanth Mundkur3-17/+51
2026-03-17Minor cleanup in Zicbom and Zicboz. (#1616)Prashanth Mundkur2-37/+36
2026-03-15Increase limit for `memory.misaligned.allowed_within_exp` (#1615)Tim Hutt1-3/+13
2026-03-15Extend PMA attributes to specify whether hardware can read/write page-tables....Prashanth Mundkur8-41/+63
2026-03-13Add the Ziccamoa, Ziccamoc and Ziccrse extensions. (#1605)Prashanth Mundkur5-3/+54
2026-03-13Add the Svnapot extension. (#1596)Prashanth Mundkur4-18/+40
2026-03-13Add a `max_time_to_wait` parameter to configure maximum waits for waiting ins...Prashanth Mundkur2-3/+7
2026-03-12Add the Svvptc extension. (#1606)Prashanth Mundkur3-0/+17
2026-03-12Correctly raise misaligned access exceptions for store-conditional (#1603)Tim Hutt1-21/+19
2026-03-11Add a configuration parameter to control the writable bits of `scounteren`. (...Prashanth Mundkur3-4/+17
2026-03-10Use a wrapper to ensure that `xtval_exception_value` is used for constructed ...Prashanth Mundkur4-13/+9
2026-03-10Refactor feature_enabled_for_priv() to return tri-state result (#1597)Nadime Barhoumi3-12/+30
2026-03-09Add a missed check for invalid PTE. (#1595)Prashanth Mundkur1-0/+1
2026-03-09Make the physical memory write helpers require an explicit access-type argume...Prashanth Mundkur7-22/+17
2026-03-06Add atomic support to the PMA config. (#1589)Prashanth Mundkur4-28/+33
2026-03-05Improve handling of `ebreak`. (#1587)Prashanth Mundkur1-3/+8
2026-03-03Add the Zicfiss extension. (#1408)Prashanth Mundkur18-59/+549
2026-03-01Reduce code nesting in `run_hart_active` for simplicity. (#1570)2026-03-02-efdfe9bPrashanth Mundkur1-55/+56
2026-03-01Add configuration option for reserved mtvec[MODE] values (#1533)tongjiacheng2-6/+15
2026-02-26Use Sail standard definitions for shifts by integer amounts (#1559)Brian Campbell1-13/+3
2026-02-26Remove `init_platform` and `platform_wfi` (#1566)Tim Hutt2-19/+5