index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
riscv
Age
Commit message (
Expand
)
Author
2018-06-28
further changes to support rmem
Jon French
2018-06-26
Fix duplicate riscv mem-ea, spotted by Jon French.
Prashanth Mundkur
2018-06-25
Add a riscv platform parameter to control trapping to M-mode on misaligned ac...
Prashanth Mundkur
2018-06-25
Increment the riscv trace step counter only when instructions are executed.
Prashanth Mundkur
2018-06-25
Hook in the missed misa legalizer.
Prashanth Mundkur
2018-06-25
Fix riscv interrupt pending check to handle implicit enabling at lower privil...
Prashanth Mundkur
2018-06-25
Make sstatus.UXL legalization match spike for now. Leave a fixme to make this...
Prashanth Mundkur
2018-06-25
Fix a missed fixme for the sstatus view of mstatus.
Prashanth Mundkur
2018-06-25
Fix tracecmp for spike's recursive calls for sie/sip/sstatus csr writes.
Prashanth Mundkur
2018-06-25
Support bitlist representation in Sail2_string
Thomas Bauereiss
2018-06-23
Add clock tick checks to the riscv tracecmp tool.
Prashanth Mundkur
2018-06-23
Fix a missing check for interrupt dispatch when riscv clint registers are wri...
Prashanth Mundkur
2018-06-22
Make riscv pte dirty-bit update handling configurable via a platform cli option.
Prashanth Mundkur
2018-06-22
Some more riscv trace log tweaking for spike compatibility.
Prashanth Mundkur
2018-06-22
Add cli options to riscv simulator to dump platform device-tree info.
Prashanth Mundkur
2018-06-22
Add a simple trace log comparison tool for riscv vs. a patched spike.
Prashanth Mundkur
2018-06-22
More trace log tweaks.
Prashanth Mundkur
2018-06-21
Merge branch 'sail2' of github.com:rems-project/sail into sail2
Alasdair Armstrong
2018-06-21
add PMP registers to CSR, fix build
Jon French
2018-06-21
Merge branch 'tracing' into sail2
Alasdair Armstrong
2018-06-21
changes to riscv model to support rmem
Jon French
2018-06-19
Add more detail to riscv execution trace log.
Prashanth Mundkur
2018-06-15
Fix riscv system register initialization.
Prashanth Mundkur
2018-06-14
rename all lem support files to sail2_foo to avoid conflict with sail1 in rmem
Jon French
2018-06-13
Tracing instrumentation for C backend
Alasdair Armstrong
2018-06-11
Use riscv platform insns_per_tick to tick the clock.
Prashanth Mundkur
2018-06-11
Put the riscv model's output on stderr, leaving stdout for the platform termi...
Prashanth Mundkur
2018-06-11
Update retire semantics for riscv WFI.
Prashanth Mundkur
2018-06-11
Merge branch 'sail2' into mappings
Jon French
2018-06-11
change double-caret for string-append-pattern to single caret, since that wou...
Jon French
2018-06-11
drop now-unnecessary type annotation clutter from riscv decode mappings
Jon French
2018-06-09
Increment minstret on instruction retires, and handle the case when the minst...
Prashanth Mundkur
2018-06-09
Some fixes to counteren handling.
Prashanth Mundkur
2018-06-08
Fix mmio address matching for clint device.
Prashanth Mundkur
2018-06-08
Add counteren registers.
Prashanth Mundkur
2018-06-08
Slightly condense execution trace log.
Prashanth Mundkur
2018-06-08
Update initialization of misa.
Prashanth Mundkur
2018-06-08
Make the simulation loop use the platform interface to detect exits via htif.
Prashanth Mundkur
2018-06-08
Add mem and mmio access tracing.
Prashanth Mundkur
2018-06-08
type checking mappings: allow inferring based on the other side's id inferences
Jon French
2018-06-07
Slight refactor to keep platform handling localized to the _platform file.
Prashanth Mundkur
2018-06-07
Fix width guards on htif accesses.
Prashanth Mundkur
2018-06-07
Update physical memory and address translation for MMIO.
Prashanth Mundkur
2018-06-07
More definitions for the physical memory map.
Prashanth Mundkur
2018-06-07
Remove unused file.
Prashanth Mundkur
2018-06-07
Add terminal output to riscv platform, with incomplete handling of input.
Prashanth Mundkur
2018-06-07
Fix Lem build of RISC-V
Thomas Bauereiss
2018-06-04
Add the htif exit command, a top-level function to initialize the riscv platf...
Prashanth Mundkur
2018-06-04
Uncomment the clint implementation in riscv_platform.
Prashanth Mundkur
2018-05-31
Fixes to get ARM u-boot working in Sail.
Alasdair Armstrong
[next]