Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
33 commits
Select commit Hold shift + click to select a range
dd69b73
add Sspmp test suites
ybc-alkaid Mar 31, 2026
51d9d82
add Sspmpen test suites
ybc-alkaid Mar 31, 2026
a1d4778
use numeric CSR addresses and rename files
ybc-alkaid Mar 31, 2026
36b0478
fix pre-commit fails
ybc-alkaid Apr 1, 2026
73d9a47
spmpen should be initialized to 1 in cp_spmpen_locked_readonly
ybc-alkaid Apr 1, 2026
e1ef935
polish notation
ybc-alkaid Apr 2, 2026
f673106
Merge branch 'act4' into act4
UmerShahidengr Apr 2, 2026
84f83f3
Merge branch 'act4' into act4
jamesbeyond Apr 13, 2026
30405c2
Merge branch 'act4' into act4
UmerShahidengr Apr 14, 2026
9ae9f56
Merge branch 'riscv:act4' into act4
ybc-alkaid Apr 29, 2026
f3b9412
[autofix.ci] apply automated fixes
autofix-ci[bot] Apr 29, 2026
3ceea10
Merge branch 'riscv:act4' into act4
ybc-alkaid Apr 29, 2026
1cd5147
Declare Sspmp, Sspmpen, Smpmpdeleg in spike UDB config
ybc-alkaid Apr 28, 2026
d98ae8f
Declare Sspmp, Sspmpen, Smpmpdeleg in sail UDB config
ybc-alkaid Apr 28, 2026
aa2b096
Enable SPMP in spike sail.json
ybc-alkaid Apr 28, 2026
b7f6c3d
Enable SPMP in sail sail.json
ybc-alkaid Apr 28, 2026
8a517cb
Add SPMP extensions to spike --isa
ybc-alkaid Apr 28, 2026
a209a59
Add SPMP coverage reachability report and fix generator
ybc-alkaid Apr 28, 2026
7d34bc0
Add SPMP cross-coverpoint labels
ybc-alkaid Apr 28, 2026
a87bd0c
Align SPMP coverage files and config with conventions
ybc-alkaid Apr 28, 2026
be50418
Fix SspmpSmSpmpen to use S-mode RWX entry
ybc-alkaid Apr 28, 2026
010a5ba
Merge upstream dev into act4
ybc-alkaid Apr 29, 2026
7552596
Update sail.json for local Sail 0.11 post-release schema
ybc-alkaid May 3, 2026
8f56b1a
Add SPMP CTP documentation
ybc-alkaid May 3, 2026
7096584
Add smpmpdeleg to spike --isa string
ybc-alkaid May 3, 2026
e3fc0c8
remove spmp coverage script
ybc-alkaid May 6, 2026
f51a657
Redesign cp_spmpen_locked_readonly to detect the CSR write attempt an…
ybc-alkaid May 6, 2026
c6b4dba
Rewrite SspmpSmSum and SspmpSmPermUmode to perform real S-mode/U-mode…
ybc-alkaid May 6, 2026
5211b67
Force-add combined Sspmp-00.S so the PR matches the docs reference.
ybc-alkaid May 6, 2026
1d902d6
Realign SPMP test labels to existing SVH coverpoints and add cp_sum_d…
ybc-alkaid May 6, 2026
11a28be
Use brace pattern for param coverpoint lists in SspmpSm.yaml so each …
ybc-alkaid May 6, 2026
2f01fc1
Declare Sspmpen as a required extension for tests that access the spm…
ybc-alkaid May 6, 2026
cc84fef
Merge branch 'act4' into act4
ybc-alkaid Jun 22, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -236,8 +236,6 @@ coverage: COVERAGE := True
coverage: CONFIG_FILES := $(COVERAGE_CONFIG_FILES)
coverage: elfs



########### Regression ###########
# Clean, run coverage, then run all configs that have a run_cmd.txt, continuing through failures.
.PHONY: regression
Expand Down
3 changes: 3 additions & 0 deletions config/sail/sail-rv64-max/sail-rv64-max.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,7 @@ implemented_extensions:
- { name: Smepmp, version: "= 1.0.0" }
- { name: Smmpm, version: "= 1.0.0" }
- { name: Smnpm, version: "= 1.0.0" }
- { name: Smpmpdeleg, version: "= 1.0.0" }
# - { name: Smrnmi, version: "= 1.0.0" } # Sail does not support this extension yet
- { name: Smstateen, version: "= 1.0.0" }
- { name: Ssaia, version: "= 1.0.0" }
Expand All @@ -47,6 +48,8 @@ implemented_extensions:
- { name: Ssdbltrp, version: "= 1.0.0" }
- { name: Ssnpm, version: "= 1.0.0" }
- { name: Sspm, version: "= 1.0.0" }
- { name: Sspmp, version: "= 1.0.0" }
- { name: Sspmpen, version: "= 1.0.0" }
- { name: Ssqosid, version: "= 1.0.0" }
- { name: Ssstateen, version: "= 1.0.0" }
- { name: Ssstrict, version: "= 1.0.0" }
Expand Down
Loading
Loading