aboutsummaryrefslogtreecommitdiff
path: root/model/sys
AgeCommit message (Expand)AuthorFilesLines
2026-04-26Add the Zicclsm extension. (#1468)tongjiacheng1-3/+3
2026-04-24Extend the configuration for the handling of misaligned accesses. (#1647)Prashanth Mundkur3-32/+72
2026-04-23Simplify xret by moving their logic to their execute clauses (#1672)KotorinMinami2-65/+10
2026-04-23Extend memory layout validation to include MMIO devices and the DTB. (#1673)Prashanth Mundkur1-0/+5
2026-04-22Add Simple Interrupt Generator MMIO device for testing purposes (#1645)Tim Hutt4-5/+95
2026-04-20Add Hypervisor Virtual Instruction Exception Handling for CSR Accesses (#1624)Nadime Barhoumi2-1/+27
2026-04-17Tweak trap loop detector heuristic. (#1666)Prashanth Mundkur1-0/+5
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 Mundkur3-0/+8
2026-04-14Detect potentially infinite trap loops. (#1656)Prashanth Mundkur1-5/+5
2026-04-13Implement `Memory_Exception` as a `Trap`. (#1622)KotorinMinami2-12/+17
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 Mundkur2-13/+19
2026-04-06Add the Svpbmt extension. (#1626)Prashanth Mundkur6-47/+79
2026-04-02Use ExecuteAs to make execute non-recursive (#1635)Tim Hutt1-1/+6
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 Mundkur1-3/+3
2026-04-01Fix superpage TLB entries being stored at wrong index (#1643)Nadime Barhoumi1-5/+4
2026-03-27Add the Svade and Svadu extensions. (#1599)Prashanth Mundkur2-40/+58
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 Mundkur1-0/+3
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 Mundkur5-18/+28
2026-03-13Add the Ziccamoa, Ziccamoc and Ziccrse extensions. (#1605)Prashanth Mundkur1-0/+10
2026-03-13Add the Svnapot extension. (#1596)Prashanth Mundkur2-7/+18
2026-03-12Add the Svvptc extension. (#1606)Prashanth Mundkur1-0/+2
2026-03-12Correctly raise misaligned access exceptions for store-conditional (#1603)Tim Hutt1-21/+19
2026-03-10Use a wrapper to ensure that `xtval_exception_value` is used for constructed ...Prashanth Mundkur1-3/+6
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 Mundkur3-17/+14
2026-03-06Add atomic support to the PMA config. (#1589)Prashanth Mundkur2-13/+17
2026-03-03Add the Zicfiss extension. (#1408)Prashanth Mundkur4-24/+118
2026-02-26Remove `init_platform` and `platform_wfi` (#1566)Tim Hutt1-18/+5
2026-02-26Log explicit and implicit updates to `mip`. (#1561)Prashanth Mundkur1-11/+14
2026-02-04Add LCOFI interrupt missed in Sscofpmf. (#1520)Prashanth Mundkur1-2/+4
2026-02-04Fix CSR privilege check for hypervisor mode. (#1504)Prashanth Mundkur1-1/+19
2026-02-03Declare reservation callbacks for C for use in Isla. (#1516)Prashanth Mundkur1-4/+4
2026-01-30Ensure physical memory access checks are not bypassed for failing store-condi...Prashanth Mundkur1-2/+13
2026-01-18Refactor the memory access type. (#1405)Prashanth Mundkur4-29/+149
2026-01-15Add Hypervisor exception causes (#1480)Nadime Barhoumi2-4/+10
2026-01-15Use `bits(1)` and `0b0`/`0b1` consistently in place of `bit` and `bitone`/`bi...Jordan Carlin3-29/+29
2026-01-14Rename the `ext_access_type` type to `mem_payload`. (#1479)Prashanth Mundkur8-29/+29
2026-01-14Add support for Smstateen and Ssstateen extensions (#910)Nadime Barhoumi1-0/+4
2026-01-08Centralize memory-access-to-fault conversions. (#1475)2026-01-12-397a7e8Prashanth Mundkur2-29/+3
2026-01-07Use a consistent name for variables of MemoryAccessType. (#1474)Prashanth Mundkur7-80/+80
2025-12-23c_emulator: validate DTB range against configured PMA regions (#1437)uestc_yd1-5/+11
2025-12-21Use private keyword in virtual memory code (#1310)Alasdair Armstrong7-88/+73
2025-12-16Replace hardcoded constant in tlb_hash() with a compile-time constant (#1421)Nadime Barhoumi1-4/+6
2025-12-10Add callbacks and logging for page table walks (#1370)Ariel Xiong2-8/+53
2025-12-08Scatter termination.sail (#1376)Valentin Robert2-0/+8