aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_pte.sail
AgeCommit message (Expand)AuthorFilesLines
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2023-03-06Add wildcard cases to matches to suppress Sail warnings. (#197)Robert Norton1-1/+1
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2020-06-30Merge pull request #64 from nwf:pte-check-split with minor edits.Prashanth Mundkur1-2/+2
2020-06-30Split ext_ptw into pieces and add documentationNathaniel Wesley Filardo1-2/+2
2020-06-30SV32: allow external specification of PTE extension bitsNathaniel Wesley Filardo1-0/+11
2020-06-27A kinder, gentler splitting of ext_access_type's ReadWriteNathaniel Wesley Filardo1-8/+14
2019-09-04Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_extRobert Norton1-14/+14
2019-08-09Allow accumulation of information during page-table-walk for extensions.Prashanth Mundkur1-5/+8
2019-07-22Make a custom exception code available for extensions, and remove the E_CHERI...Prashanth Mundkur1-10/+19
2019-07-16Use reserved bits in PTEs for vmem extensions on RV64, as allowed by the spec...Prashanth Mundkur1-5/+10
2019-07-15Allow extensions to types of memory access, and factor out PTE and PTW defini...Prashanth Mundkur1-0/+50