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_mem.sail
Age
Commit message (
Expand
)
Author
Files
Lines
2021-07-29
Use headache to apply copyright header at request of Peter Sewell.
Robert Norton
1
-0
/
+68
2021-07-16
Add an extension point to allow validation of physical memory accesses.
Robert Norton
1
-3
/
+8
2021-06-29
riscv_mem: push effectivePermission to periphery
Nathaniel Wesley Filardo
1
-27
/
+67
2021-06-25
Fix the non-RVFI_DII build
Alex Richardson
1
-4
/
+4
2021-03-16
Improvements to the version 2 RVFI trace format
Alex Richardson
1
-18
/
+14
2021-03-16
Initial implementation of new RVFI_DII socket format
Alex Richardson
1
-10
/
+16
2020-04-21
Fix mstatus.MPRV fetches (#48)
Scott Johnson
1
-4
/
+7
2020-01-20
Add reporting of >64-bit RVFI mem accesses
Peter Rugg
1
-1
/
+5
2020-01-14
Remove code duplication in mem_read
mem_meta_merge
Thomas Bauereiss
1
-27
/
+17
2019-12-23
Generate correct cause for AMO faults
James Clarke
1
-2
/
+6
2019-10-09
Read/write memory values and metadata together atomically
Thomas Bauereiss
1
-22
/
+43
2019-09-18
Squashed commit of various patches from @scottj97:
Prashanth Mundkur
1
-45
/
+45
2019-07-22
Make a custom exception code available for extensions, and remove the E_CHERI...
Prashanth Mundkur
1
-8
/
+8
2019-07-15
Allow extensions to types of memory access, and factor out PTE and PTW defini...
Prashanth Mundkur
1
-22
/
+22
2019-07-03
Add a maximum memory access size to slightly improve C code geneation.
Robert Norton
1
-12
/
+12
2019-07-01
Merge remote-tracking branch 'origin/master' into master-cleanup
Robert Norton
1
-1
/
+1
2019-06-28
Avoid implicit casts to string
Alasdair
1
-1
/
+1
2019-06-27
Merge pull request #14 from gameboo/aj443-fixes
Prashanth Mundkur
1
-2
/
+2
2019-06-27
Merge branch 'master-cleanup' into pmp
Prashanth Mundkur
1
-2
/
+4
2019-06-27
Zero extend rather than sign extend rvfi-dii reports (usefull for 32 rvfi-dii...
Alexandre Joannou
1
-2
/
+2
2019-06-27
Predicate more tracing with get_config_print_xxx.
Robert Norton
1
-3
/
+6
2019-06-25
Some more pruning and commenting of riscv_mem.
Prashanth Mundkur
1
-33
/
+37
2019-06-24
Add PMP checks to physical memory accesses.
Prashanth Mundkur
1
-12
/
+30
2019-06-24
Narrow the external interface to riscv_mem to mem_{read,write,write_ea}.
Prashanth Mundkur
1
-5
/
+8
2019-06-24
Starting cleaning up physical memory bits for pmp integration.
Prashanth Mundkur
1
-12
/
+12
2019-05-02
rvfi: fixes for RV32
Prashanth Mundkur
1
-2
/
+2
2019-05-02
rvfi: fix mask encoding
Prashanth Mundkur
1
-2
/
+2
2019-05-02
rvfi: avoid setting write fields if the write traps.
Prashanth Mundkur
1
-15
/
+15
2019-05-02
rvfi: fix mem data and mask fields for reads.
Prashanth Mundkur
1
-7
/
+5
2019-04-24
Add extended model from cheri-merge.
Prashanth Mundkur
1
-12
/
+26
2019-04-18
Parameterise memory read/write primitives by address length
Jon French
1
-18
/
+18
2019-03-14
Merge branch 'master' into rmem_interpreter
Jon French
1
-4
/
+12
2019-03-12
refactor memory access to use new sail intrinsics
Jon French
1
-89
/
+36
2019-03-07
Get rvfi building again.
Prashanth Mundkur
1
-2
/
+2
2019-02-08
Adapt to changes in Sail's Lem shallow embedding
Thomas Bauereiss
1
-45
/
+6
2019-01-14
Reorganize directory structure.
Prashanth Mundkur
1
-0
/
+193