Skip to content

Actions: codeadpool/cva6-priv-sva

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
scope PMP-3/4/8 ci #26: Commit 916b426 pushed by codeadpool
4m 11s main
main
4m 11s
F11: record upstream issue #3430 ci #25: Commit 604ec57 pushed by codeadpool
4m 11s main
main
4m 11s
F11: PTW issues PMP-denied PTE read before enforcing denial ci #24: Commit a87ff35 pushed by codeadpool
4m 53s main
main
4m 53s
F10: record PR #3422 ci #23: Commit aeee1ff pushed by codeadpool
4m 9s main
main
4m 9s
F10: recertify against upstream master e4184b66 ci #22: Commit cdb9fbf pushed by codeadpool
4m 6s main
main
4m 6s
F10: record upstream issue #3420 ci #21: Commit 1781d11 pushed by codeadpool
4m 24s main
main
4m 24s
F10: PTW accpets non-leaf PTEs with reserved A/D/U when RVH=0 ci #20: Commit b458615 pushed by codeadpool
4m 33s main
main
4m 33s
F9: cert mstatus.MPP RVH=1 fix (PR #3414) ci #19: Commit d191c72 pushed by codeadpool
4m 24s main
main
4m 24s
docs: mark F9 reported as #3411 ci #18: Commit 065d6e6 pushed by codeadpool
4m 5s main
main
4m 5s
fix stale docs ci #17: Commit 0353c9f pushed by codeadpool
3m 41s main
main
3m 41s
dcsr.v M+V=1: certify write+dret clamps at RVH=1 (PRIV-9) ci #16: Commit 5782c06 pushed by codeadpool
4m 21s main
main
4m 21s
fv: run prove with two engines on priv_dret; fixing ci ci #15: Commit f05fd95 pushed by codeadpool
3m 8s main
main
3m 8s
ci ci #14: Manually run by codeadpool
28m 3s main
main
28m 3s
fv: prove the fix cert unbounded, add stval half of f5 ci #13: Commit 4a68b47 pushed by codeadpool
2h 0m 42s main
main
2h 0m 42s
fv: cert dcsr reserved field fix (PRIV-5) and f5, f8 PR heads ci #12: Commit 5cfa03a pushed by codeadpool
2m 13s main
main
2m 13s
mutation testing + probe witness signatures ci #11: Commit 0ee8823 pushed by codeadpool
3m 8s main
main
3m 8s
docs: PR under review ci #10: Commit 3d18b68 pushed by codeadpool
2m 19s main
main
2m 19s
ci ci #9: Manually run by codeadpool
2m 41s main
main
2m 41s
comments + naming consistencies fix ci #8: Commit 6e32033 pushed by codeadpool
2m 18s main
main
2m 18s
upstream fix PRs (#3386, #3387) ci #7: Commit eb1bf9d pushed by codeadpool
2m 38s main
main
2m 38s
ci version update, gitignore the fork and snapshots ci #6: Commit 2a27dd5 pushed by codeadpool
2m 22s main
main
2m 22s
figs: F5, F8 CEX waveforms ci #5: Commit 77a2e4b pushed by codeadpool
2m 29s main
main
2m 29s
refresh from clean verify-all run (2026-07-10) ci #4: Commit e0cb178 pushed by codeadpool
43s main
main
43s
Correct F8 framing (PRIV_LVL_HS, unimplemented on RVH=0); F5 as #3379 ci #3: Commit 34bfa6c pushed by codeadpool
42s main
main
42s
Isolate the F5 witness probe ci #2: Commit ca7307e pushed by codeadpool
42s main
main
42s