aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2025-12-08Scatter termination.sail (#1376)HEADmasterValentin Robert10-126/+108
2025-12-08Simplify read/write kinds (#1262)Tim Hutt2-38/+30
2025-12-05Use C++ Sail output (#1274)Tim Hutt37-763/+884
2025-12-01Consolidate the indexed vector load and store instructions. (#1410)Prashanth Mundkur2-80/+38
2025-11-29Expose per-step pre_step/post_step callbacks (#1395)uestc_yd3-1/+32
2025-11-28Fix unused variable warnings. (#1409)Prashanth Mundkur28-61/+65
2025-11-27Make the AMO execute more readable. (#1407)Prashanth Mundkur1-59/+56
2025-11-26Add support for Sstvala. (#1397)Prashanth Mundkur9-25/+98
2025-11-25Factor out a `prelude` module. (#1406)Prashanth Mundkur8-27/+49
2025-11-24Bump actions/checkout from 5 to 6 (#1404)dependabot[bot]5-6/+6
2025-11-20Fix satp legalization to use Supervisor instead of current privilege (#1399)Nadime Barhoumi1-1/+1
2025-11-18Split config_print_platform into finer grained options (#1366)KotorinMinami9-38/+105
2025-11-17Update clang-format pre-commit hook (#1398)Tim Hutt1-1/+1
2025-11-17Slight refactor of address translation and PTE checks to ease implementing Zi...Prashanth Mundkur4-22/+37
2025-11-15Rename some page table walk error results for clarity. (#1394)Prashanth Mundkur2-27/+27
2025-11-14Greatly simplify the code for reading & writing vector registers/masks (#1213)Tim Hutt9-169/+155
2025-11-14Add configurations for page-fault traps that could set mtval. (#1388)Prashanth Mundkur2-3/+20
2025-11-12Add profile-defined extension Ssu64xl. (#1387)Prashanth Mundkur5-0/+10
2025-11-12Support a configurable reservation set size. (#1386)Prashanth Mundkur20-51/+136
2025-11-10Add option not to download jsoncons (#1385)Brian Campbell2-2/+8
2025-11-10Fix htif memory range check (#1380)Mingzhu Yan1-1/+1
2025-11-10Put Sail smt cache in /build directory (#1384)KotorinMinami1-0/+3
2025-11-10Add ExecuteAs result for compressed instructions. (#1382)Prashanth Mundkur8-133/+94
2025-11-07Provide default callback implementations (#1372)Ariel Xiong5-87/+50
2025-11-07Add Sstvecd to supported extensions. (#1377)Prashanth Mundkur5-0/+11
2025-11-07Implement a more accurate access type for CSR accesses. (#1369)Prashanth Mundkur6-23/+42
2025-11-06Innocuous typo in constructor name (#1381)Brian Campbell1-1/+1
2025-11-06Rename the AccessType for memory to be more explicit. (#1368)Prashanth Mundkur19-118/+118
2025-11-06Document how to add an experimental extension. (#1378)Prashanth Mundkur1-0/+12
2025-11-06Allow configuring read-only-zero PMP entries. (#1363)Prashanth Mundkur5-10/+31
2025-11-06Rename build_simulators.sh since there is only one simulator now. (#1379)Prashanth Mundkur2-3/+3
2025-11-04Bump jsoncons to version 1.4.3 (#1371)Ariel Xiong1-2/+2
2025-11-03Add new sail_smt_cache to git ignore list (#1373)Ariel Xiong1-0/+2
2025-11-03Always validate JSON config (#1296)Ariel Xiong1-16/+19
2025-10-31Refactor immediates in encoding clauses for readability. (#1364)Prashanth Mundkur7-71/+97
2025-10-30Unify the handling logic for scalar and vector multiplication. (#1299)KotorinMinami6-35/+50
2025-10-28Add an option to choose a smaller set of modules for Lean build (#1219)Alasdair Armstrong1-11/+13
2025-10-28Add more state change callbacks (#1354)Tim Hutt11-27/+111
2025-10-28Rocq updates (#1359)Brian Campbell7-44/+36
2025-10-27Bump actions/upload-artifact from 4 to 5 (#1360)dependabot[bot]2-3/+3
2025-10-27Bump actions/download-artifact from 5 to 6 (#1361)dependabot[bot]1-1/+1
2025-10-21Add gating for vector instructions. (#1170)Wenyu Huang15-139/+310
2025-10-18Add Zic64b extension (#1351)Jordan Carlin5-0/+29
2025-10-18Simplify vector_support_level (#1348)KotorinMinami3-19/+21
2025-10-18Use let instead of register for plat_clint config variables (#1349)Jordan Carlin1-4/+2
2025-10-18Improve float classify code (#1288)Tim Hutt8-130/+130
2025-10-16Increment version and update changelog. (#1347)0.9Prashanth Mundkur2-2/+8
2025-10-16Attest release artifacts. (#1346)Prashanth Mundkur1-2/+28
2025-10-15Add Linux arm build to CI and release (#1345)Jordan Carlin3-16/+23
2025-10-15Improve trap_handler with TrapCause union (#1338)Mingzhu Yan2-10/+65
generated by cgit v1.1 at 2026-01-22 09:48:47 +0000