Skip to content

Actions: riscv/riscv-cheri

Create Specification Document

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,022 workflow runs
1,022 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

replace incorrect constants with variables for pcc.M (#444)
Create Specification Document #1023: Commit 56a09e1 pushed by arichardson
November 8, 2024 17:35 3m 9s main
November 8, 2024 17:35 3m 9s
reinstate mstatus.CRG with justification (#445)
Create Specification Document #1022: Commit 6ec4274 pushed by arichardson
November 8, 2024 17:34 3m 10s main
November 8, 2024 17:34 3m 10s
Clarify behaviour of vstid/vstidc registers.
Create Specification Document #1021: Pull request #446 opened by buxtonpaul
November 8, 2024 16:04 2m 54s buxtonpaul:update_vstid_desc
November 8, 2024 16:04 2m 54s
reinstate mstatus.CRG with justification
Create Specification Document #1020: Pull request #445 opened by tariqkurd-repo
November 8, 2024 14:38 2m 51s tariqkurd-repo:reinstate_mstatus_CRG
November 8, 2024 14:38 2m 51s
replace incorrect constants with variables for pcc.M
Create Specification Document #1019: Pull request #444 opened by tariqkurd-repo
November 8, 2024 12:30 2m 50s tariqkurd-repo:fix_pcc_m_values
November 8, 2024 12:30 2m 50s
Remove mstatus.CRG (#443)
Create Specification Document #1018: Commit 1594796 pushed by arichardson
November 7, 2024 18:35 3m 9s main
November 7, 2024 18:35 3m 9s
Xstatus.CRG clarification
Create Specification Document #1017: Pull request #443 synchronize by tariqkurd-repo
November 7, 2024 10:49 2m 51s tariqkurd-repo:cfg_clarification
November 7, 2024 10:49 2m 51s
Xstatus.CRG clarification
Create Specification Document #1016: Pull request #443 synchronize by tariqkurd-repo
November 7, 2024 09:54 2m 50s tariqkurd-repo:cfg_clarification
November 7, 2024 09:54 2m 50s
clarify that quad 2 and 3 entries 4 and 5 are reserved when LVLBITS=2…
Create Specification Document #1015: Commit 13886ca pushed by tariqkurd-repo
November 7, 2024 08:59 3m 0s main
November 7, 2024 08:59 3m 0s
Xstatus.CRG clarification
Create Specification Document #1014: Pull request #443 opened by tariqkurd-repo
November 6, 2024 17:35 2m 54s tariqkurd-repo:cfg_clarification
November 6, 2024 17:35 2m 54s
Fix RV32 Zcherilevels ACPERM (#440)
Create Specification Document #1013: Commit b7c9d7e pushed by tariqkurd-repo
November 6, 2024 17:25 3m 17s main
November 6, 2024 17:25 3m 17s
Fix RV32 Zcherilevels ACPERM
Create Specification Document #1011: Pull request #440 synchronize by tariqkurd-repo
November 6, 2024 09:56 2m 52s tariqkurd-repo:LM_EL_SL_ACPERM_rules
November 6, 2024 09:56 2m 52s
Fix RV32 Zcherilevels ACPERM
Create Specification Document #1010: Pull request #440 opened by tariqkurd-repo
November 5, 2024 11:40 2m 42s tariqkurd-repo:LM_EL_SL_ACPERM_rules
November 5, 2024 11:40 2m 42s
apply ACPERM rules in order (#427)
Create Specification Document #1009: Commit fcce4a9 pushed by arichardson
November 4, 2024 16:01 3m 21s main
November 4, 2024 16:01 3m 21s
apply ACPERM rules in order
Create Specification Document #1008: Pull request #427 synchronize by tariqkurd-repo
November 4, 2024 12:56 2m 44s tariqkurd-repo:acperm_cascade
November 4, 2024 12:56 2m 44s
apply ACPERM rules in order
Create Specification Document #1007: Pull request #427 synchronize by tariqkurd-repo
November 4, 2024 09:58 2m 45s tariqkurd-repo:acperm_cascade
November 4, 2024 09:58 2m 45s
apply ACPERM rules in order
Create Specification Document #1006: Pull request #427 synchronize by tariqkurd-repo
November 4, 2024 09:58 2m 40s tariqkurd-repo:acperm_cascade
November 4, 2024 09:58 2m 40s
apply ACPERM rules in order
Create Specification Document #1005: Pull request #427 synchronize by tariqkurd-repo
November 4, 2024 09:57 2m 43s tariqkurd-repo:acperm_cascade
November 4, 2024 09:57 2m 43s
apply ACPERM rules in order
Create Specification Document #1004: Pull request #427 synchronize by tariqkurd-repo
November 4, 2024 09:57 2m 37s tariqkurd-repo:acperm_cascade
November 4, 2024 09:57 2m 37s
Clarify interaction of levels with sealed capabilities (#439)
Create Specification Document #1003: Commit 9561fff pushed by arichardson
November 1, 2024 20:10 3m 6s main
November 1, 2024 20:10 3m 6s
Clarify interaction of levels with sealed capabilities
Create Specification Document #1002: Pull request #439 synchronize by arichardson
November 1, 2024 20:03 2m 44s arichardson:sealed-caps-levels
November 1, 2024 20:03 2m 44s
apply ACPERM rules in order
Create Specification Document #1001: Pull request #427 synchronize by tariqkurd-repo
November 1, 2024 18:24 2m 43s tariqkurd-repo:acperm_cascade
November 1, 2024 18:24 2m 43s
apply ACPERM rules in order
Create Specification Document #1000: Pull request #427 synchronize by tariqkurd-repo
November 1, 2024 18:20 2m 57s tariqkurd-repo:acperm_cascade
November 1, 2024 18:20 2m 57s
Clarify interaction of levels with sealed capabilities
Create Specification Document #999: Pull request #439 synchronize by arichardson
October 31, 2024 20:44 2m 54s arichardson:sealed-caps-levels
October 31, 2024 20:44 2m 54s