aboutsummaryrefslogtreecommitdiff
path: root/model/postlude
AgeCommit message (Expand)AuthorFilesLines
2026-04-26Add the Zicclsm extension. (#1468)tongjiacheng1-5/+27
2026-04-23Simplify xret by moving their logic to their execute clauses (#1672)KotorinMinami1-1/+1
2026-04-23Extend memory layout validation to include MMIO devices and the DTB. (#1673)Prashanth Mundkur1-3/+29
2026-04-23Add the Ziccif extension. (#1630)Prashanth Mundkur2-31/+82
2026-04-22Add Simple Interrupt Generator MMIO device for testing purposes (#1645)Tim Hutt1-0/+10
2026-04-20Add Hypervisor Virtual Instruction Exception Handling for CSR Accesses (#1624)Nadime Barhoumi1-0/+7
2026-04-17Tweak trap loop detector heuristic. (#1666)Prashanth Mundkur1-0/+3
2026-04-16Require PMA regions to be page-aligned. (#1663)Prashanth Mundkur1-0/+14
2026-04-13Implement `Memory_Exception` as a `Trap`. (#1622)KotorinMinami1-3/+2
2026-04-09Add explicit main/IO memory PMA (#1648)2026-04-13-20690c8Prashanth Mundkur1-14/+32
2026-04-06Add the Svpbmt extension. (#1626)Prashanth Mundkur3-10/+19
2026-04-02Use ExecuteAs to make execute non-recursive (#1635)Tim Hutt1-2/+4
2026-03-31Fix config validation to remove problematic uses of `hartSupports`. (#1629)Prashanth Mundkur1-42/+58
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 Mundkur1-6/+20
2026-03-17Add the Ssccptr extension. (#1611)Prashanth Mundkur1-17/+42
2026-03-13Add the Ziccamoa, Ziccamoc and Ziccrse extensions. (#1605)Prashanth Mundkur1-3/+23
2026-03-13Add the Svnapot extension. (#1596)Prashanth Mundkur1-10/+20
2026-03-12Add the Svvptc extension. (#1606)Prashanth Mundkur1-0/+9
2026-03-11Add a configuration parameter to control the writable bits of `scounteren`. (...Prashanth Mundkur1-0/+4
2026-03-03Add the Zicfiss extension. (#1408)Prashanth Mundkur1-0/+5
2026-03-01Reduce code nesting in `run_hart_active` for simplicity. (#1570)2026-03-02-efdfe9bPrashanth Mundkur1-55/+56
2026-02-26Remove `init_platform` and `platform_wfi` (#1566)Tim Hutt1-1/+0
2026-01-16Add Ssqosid extension (#379)Ved Shanbhogue1-0/+4
2026-01-15Add Hypervisor exception causes (#1480)Nadime Barhoumi1-0/+2
2026-01-15Use `bits(1)` and `0b0`/`0b1` consistently in place of `bit` and `bitone`/`bi...Jordan Carlin2-2/+2
2026-01-14Add support for Smstateen and Ssstateen extensions (#910)Nadime Barhoumi1-0/+16
2025-12-23c_emulator: validate DTB range against configured PMA regions (#1437)uestc_yd1-0/+4
2025-12-21Use private keyword in virtual memory code (#1310)Alasdair Armstrong5-22/+22
2025-12-20Improve handling of reserved fences (#1439)Tim Hutt1-2/+4
2025-12-17Add Zdinx to configuration and validate Zfinx-related dependencies (#1431)Nadime Barhoumi1-0/+20
2025-12-08Scatter termination.sail (#1376)Valentin Robert1-0/+10
2025-11-28Fix unused variable warnings. (#1409)Prashanth Mundkur2-3/+3
2025-11-26Add support for Sstvala. (#1397)Prashanth Mundkur1-0/+31
2025-11-12Support a configurable reservation set size. (#1386)Prashanth Mundkur1-2/+8
2025-11-10Add ExecuteAs result for compressed instructions. (#1382)Prashanth Mundkur1-4/+12
2025-11-06Allow configuring read-only-zero PMP entries. (#1363)Prashanth Mundkur1-0/+5
2025-10-28Add more state change callbacks (#1354)Tim Hutt1-0/+2
2025-10-18Add Zic64b extension (#1351)Jordan Carlin1-0/+11
2025-10-18Simplify vector_support_level (#1348)KotorinMinami1-4/+4
2025-10-15Update Sail compiler to 0.20 (#1341)Jordan Carlin1-4/+4
2025-10-13Add support for Zvfbfwma extension (#1185)Nadime Barhoumi1-0/+4
2025-10-09Add support for Zvfbfmin extension (#1184)Nadime Barhoumi1-2/+6
2025-10-09Remove redundant parentheses around instruction arguments in execute clauses....Prashanth Mundkur1-1/+1
2025-10-09Remove monomorphic `val` declarations by moving types into the function signa...Prashanth Mundkur2-6/+3
2025-10-07Add basic static PMA support (#866)Tim Hutt3-42/+44
2025-10-06Refactor vector extension configuration. (#1163)Wenyu Huang1-0/+90
2025-09-28Add the Zicfilp extension. (#1238)Prashanth Mundkur3-7/+27
2025-09-22Improve exception code types (#1284)Tim Hutt1-1/+1
2025-09-15Reorganise the file structure to correspond to the module structure (#1267)KotorinMinami11-0/+899