aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_vmem_rv32.sail
AgeCommit message (Expand)AuthorFilesLines
2019-11-25Fix RV32 Lem buildThomas Bauereiss1-1/+1
2019-09-04Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_extRobert Norton1-3/+3
2019-08-20Whitespace fixes to nuke tabs.no_castsPrashanth Mundkur1-1/+1
2019-08-19RISC-V spec, without implicit castsAlasdair Armstrong1-3/+3
2019-08-09Allow accumulation of information during page-table-walk for extensions.Prashanth Mundkur1-4/+7
2019-07-16Use reserved bits in PTEs for vmem extensions on RV64, as allowed by the spec...Prashanth Mundkur1-3/+3
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur1-5/+5
2019-06-19Factor out mstatus.mprv checks for effective privilege for reuse in PMP.Prashanth Mundkur1-3/+1
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-1/+1
2019-03-11Add tlbs for Sv32 and Sv48, and some fixes to sfence.vma.Prashanth Mundkur1-4/+9
2019-03-11Fixes for Sv39 TLB.Prashanth Mundkur1-0/+9
2019-03-05Fix a typo.Prashanth Mundkur1-1/+1
2019-03-05Correct capitalisation of Sv39/48 in pattern matchesBrian Campbell1-1/+1
2019-02-13Add Sv32 and Sv48 by essentially copying Sv39.Prashanth Mundkur1-0/+52