Skip to content

Issues: riscv/sail-riscv

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

97 Open 180 Closed
97 Open 180 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Make reserved behaviour configurable configuration Additional configuration settings needed for the model
#775 opened Mar 7, 2025 by Timmmm
2
Remove prover_snapshots and generate in release flow
#771 opened Mar 6, 2025 by jordancarlin
3 tasks
3
Update mappings to use the when construct for guards refactor Code clean up
#768 opened Mar 5, 2025 by pmundkur
2
Create generalized interface for repetitive load/store instructions refactor Code clean up
#766 opened Mar 4, 2025 by nadime15
5
Update README for new CMake build system
#756 opened Feb 26, 2025 by Alasdair
6
Test build_emulators.sh and DOWNLOAD_GMP in CI
#745 opened Feb 17, 2025 by Timmmm
Test Lean/Coq output when it's all working
#744 opened Feb 17, 2025 by Timmmm
3
Incorrect behaviour with INT_MAX pmpaddr bug Something isn't working
#739 opened Feb 14, 2025 by Timmmm
1
Make executable name generated by CMake backward compatible with the old Makefile
#737 opened Feb 13, 2025 by Barabas5532
2
Will Sail support generating DTS ?
#734 opened Feb 12, 2025 by trdthg
Possible reachable assertion when updating PTEs
#711 opened Feb 5, 2025 by Timmmm
Expose instruction encoding, CSR bitfield information as JSON enhancement New feature or request
#709 opened Feb 5, 2025 by Timmmm
13
Configuring handling of hpm counter access configuration Additional configuration settings needed for the model
#707 opened Feb 4, 2025 by pmundkur
Change load_reservation, match_reservation, etc. to take physaddr refactor Code clean up
#670 opened Jan 6, 2025 by Timmmm
1
Make PC a virtaddr refactor Code clean up
#669 opened Jan 6, 2025 by Timmmm
mstatus[FS] must be read-only zero in some cases
#661 opened Jan 2, 2025 by Timmmm
1
Documentation out of date
#660 opened Dec 31, 2024 by jordancarlin
5
bfloat16 support?
#653 opened Dec 27, 2024 by wanghuibin0
6
Move RVFI protocol implementation to C refactor Code clean up
#643 opened Dec 16, 2024 by Timmmm
Make RVFI a runtime option refactor Code clean up
#642 opened Dec 16, 2024 by Timmmm
Support for mstatus MBE, SBE
#632 opened Dec 2, 2024 by MuhammadHammad001
1
@MuhammadHammad001
9
Improve to_bits type checking refactor Code clean up
#614 opened Nov 11, 2024 by Timmmm
1
The definition of the function is_aligned_addr overlaps with the function is_aligned enhancement New feature or request good first issue Good for newcomers
#609 opened Oct 31, 2024 by KotorinMinami
4
Unnecessary Vector/FP Extension Dependency
#589 opened Oct 11, 2024 by JosephMoore25
7
Update Linux images
#580 opened Oct 7, 2024 by Timmmm
1
ProTip! Exclude everything labeled bug with -label:bug.