index
:
sail-riscv.git
billmcspadden-riscv
c2_emu
cheri
cheri-merge
cheri_lite
cookbook_br
csr_ext
debugmod
epc_legalization
ext_check_phys_mem
ext_check_phys_mem_alt
ext_misa
fdext
fence_issue29
fence_noops
fix-signature-granularity
fix_next_csrs
gdb
haveSmepmp_billmcspadden
hpm_events
hpm_events_billmcspadden
hpm_events_billmcspadden__sail_error_message_is_terse
initial-contributing-guide
inst_extensions
master
master-cleanup
match_warnings
mem_meta
mem_meta_merge
monads
new_test_2
new_test_3
no_boot_rom
no_casts
optimize
rmem_interpreter
rmn30
rsnikhil
rv_config
sail-coverage-linking
update-copyright-headers
vector-dev
vmem_ext
x_regs
xret_ext
zfa
zfinx
Unnamed repository; edit this file 'description' to name the repository.
root
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
model
/
riscv_fetch_rvfi.sail
Age
Commit message (
Expand
)
Author
Files
Lines
2024-02-08
Shorten copyright notice at the top of each file
Tim Hutt
1
-65
/
+3
2024-01-31
Update bitfield syntax
Alasdair
1
-5
/
+5
2023-08-01
Rename EXTZ and EXTS
Alasdair
1
-4
/
+4
2023-05-29
apply_headers: regenerate copyright headers
update-copyright-headers
Philipp Tomsich
1
-1
/
+3
2023-03-14
Use not() instead of ~() for boolean negation (#210)
Alexander Richardson
1
-1
/
+1
2021-07-29
Use headache to apply copyright header at request of Peter Sewell.
Robert Norton
1
-0
/
+68
2021-03-16
Also set the IXL field in the RVFI trace
Alex Richardson
1
-0
/
+1
2021-03-16
Report the current privilege level via RVFI
Alex Richardson
1
-0
/
+1
2021-03-16
Initial implementation of new RVFI_DII socket format
Alex Richardson
1
-8
/
+3
2020-11-09
Perform PTE checks on DII fetch (with jrtc27)
Peter Rugg
1
-16
/
+23
2019-09-10
Call ext_fetch_check_pc for rvfi fetch as for normal fetch.
Robert Norton
1
-19
/
+31
2019-09-06
Fix rvfi build for cast free prelude.
Robert Norton
1
-2
/
+2
2019-07-19
Add a new pc access function to get the architectural PC: on CHERI this is no...
master-cleanup
Robert Norton
1
-1
/
+1
2019-06-27
Zero extend rather than sign extend rvfi-dii reports (usefull for 32 rvfi-dii...
Alexandre Joannou
1
-4
/
+4
2019-05-02
rvfi: fixes for RV32
Prashanth Mundkur
1
-4
/
+4
2019-04-24
Add extended model from cheri-merge.
Prashanth Mundkur
1
-0
/
+21