Skip to content

Pull requests: riscv/sail-riscv

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Consolidate vzext/vsext code will be merged Scheduled to be merged in a few days if nobody objects
#1105 opened Jun 27, 2025 by KotorinMinami Loading…
Move RVFI to C
#1099 opened Jun 25, 2025 by trdthg Draft
Auto-enable Vector Crypto superset extensions (Zvkn, Zvknc, Zvkng, Zvks, Zvksc, Zvksg) tgmm-agenda Tagged for the next Golden Model meeting agenda.
#1096 opened Jun 24, 2025 by nadime15 Loading…
Add VU and VS privilege level
#1067 opened Jun 19, 2025 by trdthg Loading…
Add current virtualization mode register
#1061 opened Jun 17, 2025 by trdthg Loading…
Fix exponential types with fractional LMUL
#1022 opened Jun 10, 2025 by Alasdair Loading…
Adding support for (project) fast track extension Zvkgs extension Adds support for a RISC-V extension
#1017 opened Jun 7, 2025 by nibrunieAtSi5 Draft
Support generating assembly for reserved vtypes tgmm-agenda Tagged for the next Golden Model meeting agenda.
#1010 opened Jun 6, 2025 by Timmmm Loading…
Add risc-v vector extension tests tgmm-agenda Tagged for the next Golden Model meeting agenda.
#1003 opened Jun 4, 2025 by nadime15 Loading…
Refactor vector extension support based on specification. extension Adds support for a RISC-V extension
#982 opened May 24, 2025 by wwwwwwOwO Loading…
Make vlen a configure-time option configuration Additional configuration settings needed for the model
#971 opened May 22, 2025 by Timmmm Loading…
Add support for Pointer Masking Extension (Zpm)
#969 opened May 22, 2025 by nadime15 Loading…
os-boot/opensbi: add opensbi.
#966 opened May 21, 2025 by Arielfoever Loading…
Add support for smcsrind/sscsrind
#956 opened May 18, 2025 by KotorinMinami Loading…
Implement the Sdext debug mode extension. extension Adds support for a RISC-V extension
#954 opened May 15, 2025 by pmundkur Loading…
Adding support for Zvbc32e extension Adds support for a RISC-V extension
#931 opened May 11, 2025 by nibrunieAtSi5 Draft
Enable match_bv for Lean
#919 opened May 6, 2025 by tobiasgrosser Draft
Add the config schema to the build.
#918 opened May 5, 2025 by pmundkur Loading…
Add support for Smstateen and Ssstateen extensions extension Adds support for a RISC-V extension
#910 opened May 1, 2025 by nadime15 Loading…
Add Decompress result for compressed instructions
#905 opened Apr 30, 2025 by Alasdair Loading…
CI: change CI condition.
#890 opened Apr 27, 2025 by Arielfoever Loading…
Update Linux build scripts
#889 opened Apr 26, 2025 by Arielfoever Loading…
ProTip! Updated in the last three days: updated:>2025-06-24.