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_vmem_sv32.sail
Age
Commit message (
Expand
)
Author
Files
Lines
2024-01-31
Update bitfield syntax
Alasdair
1
-21
/
+21
2023-09-12
Remove effects
Tim Hutt
1
-5
/
+5
2023-09-12
Remove redundant type annotations on w_pte & add explicit `var`.
Tim Hutt
1
-1
/
+1
2023-08-01
Rename EXTZ and EXTS
Alasdair
1
-8
/
+8
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
-2
/
+2
2023-03-06
Add wildcard cases to matches to suppress Sail warnings. (#197)
Robert Norton
1
-1
/
+1
2021-07-29
Use headache to apply copyright header at request of Peter Sewell.
Robert Norton
1
-0
/
+68
2021-06-29
vmem_svNN: Perform PTW accesses always as Supervisor
Nathaniel Wesley Filardo
1
-3
/
+3
2021-06-29
vmem_svNN: mem_read(Read(Data), ...) the PTEs
Nathaniel Wesley Filardo
1
-1
/
+1
2020-06-30
Merge pull request #64 from nwf:pte-check-split with minor edits.
Prashanth Mundkur
1
-3
/
+3
2020-06-30
Split ext_ptw into pieces and add documentation
Nathaniel Wesley Filardo
1
-3
/
+3
2020-06-30
SV32: allow external specification of PTE extension bits
Nathaniel Wesley Filardo
1
-1
/
+1
2020-06-20
Allow extensions to override page fault causes
Jessica Clarke
1
-2
/
+2
2019-11-26
Tweak base case of PTW functions
Thomas Bauereiss
1
-4
/
+4
2019-11-25
Fix RV32 Lem build
Thomas Bauereiss
1
-2
/
+2
2019-09-04
Merge remote-tracking branch 'origin/master' into vmem_ext.
vmem_ext
Robert Norton
1
-1
/
+1
2019-08-19
RISC-V spec, without implicit casts
Alasdair Armstrong
1
-1
/
+1
2019-08-09
Allow accumulation of information during page-table-walk for extensions.
Prashanth Mundkur
1
-32
/
+29
2019-07-22
Make a custom exception code available for extensions, and remove the E_CHERI...
Prashanth Mundkur
1
-51
/
+58
2019-07-16
Use reserved bits in PTEs for vmem extensions on RV64, as allowed by the spec...
Prashanth Mundkur
1
-10
/
+14
2019-06-24
Add PMP checks to physical memory accesses.
Prashanth Mundkur
1
-1
/
+1
2019-06-24
Narrow the external interface to riscv_mem to mem_{read,write,write_ea}.
Prashanth Mundkur
1
-3
/
+3
2019-06-24
Starting cleaning up physical memory bits for pmp integration.
Prashanth Mundkur
1
-3
/
+2
2019-04-24
Add extended model from cheri-merge.
Prashanth Mundkur
1
-3
/
+3
2019-03-12
Fix missed tlb updates.
Prashanth Mundkur
1
-2
/
+2
2019-03-11
Add tlbs for Sv32 and Sv48, and some fixes to sfence.vma.
Prashanth Mundkur
1
-24
/
+97
2019-02-22
Fix address translation bug in ordering of width-extension and shift in pte. ...
Prashanth Mundkur
1
-7
/
+7
2019-02-13
Add Sv32 and Sv48 by essentially copying Sv39.
Prashanth Mundkur
1
-0
/
+112