Skip to content

Issues: riscv/sail-riscv

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
104 Open 185 Closed
104 Open 185 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

HTIF does not match pseudo spec and other implementations bug Something isn't working
#147 opened Feb 1, 2022 by abukharmeh
Get error messages from c_emulator? enhancement New feature or request
#25 opened Nov 12, 2019 by scottj97
15
misaligned load/store on page crossing doesn't tablewalk for second page bug Something isn't working
#49 opened May 8, 2020 by scottj97
31
Page table extension state not updated during walk?
#55 opened May 29, 2020 by nwf
1
How about to provide an option like spike -m<addr:size> here
#73 opened Oct 29, 2020 by soberl
13
Risc-V Sail code has no version string configuration Additional configuration settings needed for the model enhancement New feature or request
#109 opened Oct 1, 2021 by allenjbaum
24
Bad disassembly for RVC HINTs enhancement New feature or request
#112 opened Oct 4, 2021 by jrtc27
5
Improved docker support requested enhancement New feature or request
#113 opened Oct 4, 2021 by martinberger
Tests elf files
#114 opened Oct 11, 2021 by abukharmeh
2
Adding GitHub Action to run AVS on pull request? enhancement New feature or request
#115 opened Oct 11, 2021 by martinberger
5
Feature request: Sail code formatter for our CI enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed not-a-bug This is a feature, not a bug
#124 opened Nov 5, 2021 by martinberger
Load reservation not cleared on reset. bug Something isn't working
#126 opened Nov 11, 2021 by PeterRugg
1
Use libfdt in the C emulator enhancement New feature or request
#2 opened Jan 22, 2019 by pmundkur
6
How to handle meta-programmed Sail code in the golden model.
#133 opened Nov 27, 2021 by martinberger
39
Commandline options or parsing yaml configuration Additional configuration settings needed for the model enhancement New feature or request
#148 opened Feb 2, 2022 by allenjbaum
26
Functional equivalency checking between models enhancement New feature or request
#150 opened Feb 7, 2022 by billmcspadden-riscv
11
Redundant F vs Zfinx encoding refactor Code clean up
#166 opened Jun 28, 2022 by jrtc27
Implement Smstateen and tie to Zfinx's FCSR enhancement New feature or request extension Adds support for a RISC-V extension
#167 opened Jun 28, 2022 by jrtc27
Wanted: opam install coq-sail-riscv
#170 opened Jul 8, 2022 by intoverflow
1
trace logs for memory-access due to ptw to have a special prefix
#181 opened Sep 12, 2022 by neelgala
switch to disable tlbs configuration Additional configuration settings needed for the model tgmm-agenda Tagged for the next Golden Model meeting agenda.
#182 opened Sep 12, 2022 by neelgala
4
Support for decomposed-store misaligned PMP behavior configuration Additional configuration settings needed for the model
#183 opened Sep 26, 2022 by allenjbaum
3
Increase verbosity of execution logs. enhancement New feature or request
#184 opened Sep 30, 2022 by pawks
Can cycle, instret, time unprivileged CSRs exist in M-mode only implementations? question Further information is requested
#189 opened Nov 1, 2022 by rmn30
3
Rename Execute access type to InstructionFetch refactor Code clean up
#808 opened Mar 21, 2025 by jordancarlin
ProTip! What’s not been updated in a month: updated:<2025-02-27.