Skip to content

Pull requests: riscv/sail-riscv

New pull request New
86 Open 572 Closed
86 Open 572 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Lean CI: use the latest version of sail
#987 opened May 28, 2025 by tobiasgrosser Loading…
2
Lean: suppress BEq generation for ast type will be merged Scheduled to be merged in a few days if nobody objects
#986 opened May 28, 2025 by javra Loading…
7
Refactor vector extension support based on specification.
#982 opened May 24, 2025 by wwwwwwOwO Loading…
3
Remove regidx_to_regno functions etc.
#979 opened May 23, 2025 by Timmmm Loading…
1
Simplify Zbb execute clauses
#978 opened May 23, 2025 by Timmmm Loading…
5
Fix to_bits_unsafe() in Zbb will be merged Scheduled to be merged in a few days if nobody objects
#977 opened May 23, 2025 by Timmmm Loading…
2
Simplify PMP control code by removing pmpMatchEntry
#976 opened May 23, 2025 by Timmmm Loading…
1
Print the device-tree for the model configuration.
#972 opened May 22, 2025 by pmundkur Loading…
1
12
Make vlen a configure-time option configuration Additional configuration settings needed for the model pending sail compiler PRs/issues that can only be resolved with a newer release of the Sail compiler
#971 opened May 22, 2025 by Timmmm • Draft
2
Add support for Pointer Masking Extension (Zpm)
#969 opened May 22, 2025 by nadime15 Loading…
55
os-boot/opensbi: add opensbi.
#966 opened May 21, 2025 by Arielfoever Loading…
10
Explicitly use to_bits_truncate() for multiplications
#960 opened May 20, 2025 by Timmmm Loading…
3
Add support for smcsrind/sscsrind
#956 opened May 18, 2025 by KotorinMinami Loading…
8
WIP: Implement the Sdext debug mode extension. extension Adds support for a RISC-V extension
#954 opened May 15, 2025 by pmundkur • Draft
1
1
Test multiple versions of CMake in CI will be merged Scheduled to be merged in a few days if nobody objects
#952 opened May 15, 2025 by jordancarlin Loading…
1
9
Don't write default JSON to a file pending sail compiler PRs/issues that can only be resolved with a newer release of the Sail compiler
#939 opened May 13, 2025 by Timmmm • Draft
Adding support for Zvbc32e extension Adds support for a RISC-V extension
#931 opened May 11, 2025 by nibrunieAtSi5 • Draft
3
Enable match_bv for Lean
#919 opened May 6, 2025 by tobiasgrosser • Draft
1
Add the config schema to the build.
#918 opened May 5, 2025 by pmundkur Loading…
4
Add support for Smstateen and Ssstateen extensions extension Adds support for a RISC-V extension
#910 opened May 1, 2025 by nadime15 Loading…
36
Add Decompress result for compressed instructions
#905 opened Apr 30, 2025 by Alasdair Loading…
14
Minor cleanups to M extension pending sail compiler PRs/issues that can only be resolved with a newer release of the Sail compiler
#902 opened Apr 29, 2025 by Timmmm Loading…
6
Fix read_vreg for large num_elem when LMUL_pow < 0
#894 opened Apr 28, 2025 by wanghuibin0 Loading…
20
CI: change CI condition.
#890 opened Apr 27, 2025 by Arielfoever Loading…
15
Move to new os-boot.
#889 opened Apr 26, 2025 by Arielfoever Loading…
1
@Timmmm
79
ProTip! Updated in the last three days: updated:>2025-05-25.