aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_mem.sail
AgeCommit message (Expand)AuthorFilesLines
2023-09-12Remove effectsTim Hutt1-15/+15
2023-08-01Rename EXTZ and EXTSAlasdair1-2/+2
2023-06-15Run the pre-commit hook on all filesAlex Richardson1-1/+1
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2023-05-29RVFI: only report write data if the write succeedsAlex Richardson1-13/+17
2023-03-14Use not() instead of ~() for boolean negation (#210)Alexander Richardson1-5/+5
2023-03-06Add wildcard cases to matches to suppress Sail warnings. (#197)Robert Norton1-2/+2
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2021-07-16Add an extension point to allow validation of physical memory accesses.Robert Norton1-3/+8
2021-06-29riscv_mem: push effectivePermission to peripheryNathaniel Wesley Filardo1-27/+67
2021-06-25Fix the non-RVFI_DII buildAlex Richardson1-4/+4
2021-03-16Improvements to the version 2 RVFI trace formatAlex Richardson1-18/+14
2021-03-16Initial implementation of new RVFI_DII socket formatAlex Richardson1-10/+16
2020-04-21Fix mstatus.MPRV fetches (#48)Scott Johnson1-4/+7
2020-01-20Add reporting of >64-bit RVFI mem accessesPeter Rugg1-1/+5
2020-01-14Remove code duplication in mem_readmem_meta_mergeThomas Bauereiss1-27/+17
2019-12-23Generate correct cause for AMO faultsJames Clarke1-2/+6
2019-10-09Read/write memory values and metadata together atomicallyThomas Bauereiss1-22/+43
2019-09-18Squashed commit of various patches from @scottj97:Prashanth Mundkur1-45/+45
2019-07-22Make a custom exception code available for extensions, and remove the E_CHERI...Prashanth Mundkur1-8/+8
2019-07-15Allow extensions to types of memory access, and factor out PTE and PTW defini...Prashanth Mundkur1-22/+22
2019-07-03Add a maximum memory access size to slightly improve C code geneation.Robert Norton1-12/+12
2019-07-01Merge remote-tracking branch 'origin/master' into master-cleanupRobert Norton1-1/+1
2019-06-28Avoid implicit casts to stringAlasdair1-1/+1
2019-06-27Merge pull request #14 from gameboo/aj443-fixesPrashanth Mundkur1-2/+2
2019-06-27Merge branch 'master-cleanup' into pmpPrashanth Mundkur1-2/+4
2019-06-27Zero extend rather than sign extend rvfi-dii reports (usefull for 32 rvfi-dii...Alexandre Joannou1-2/+2
2019-06-27Predicate more tracing with get_config_print_xxx.Robert Norton1-3/+6
2019-06-25Some more pruning and commenting of riscv_mem.Prashanth Mundkur1-33/+37
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur1-12/+30
2019-06-24Narrow the external interface to riscv_mem to mem_{read,write,write_ea}.Prashanth Mundkur1-5/+8
2019-06-24Starting cleaning up physical memory bits for pmp integration.Prashanth Mundkur1-12/+12
2019-05-02rvfi: fixes for RV32Prashanth Mundkur1-2/+2
2019-05-02rvfi: fix mask encodingPrashanth Mundkur1-2/+2
2019-05-02rvfi: avoid setting write fields if the write traps.Prashanth Mundkur1-15/+15
2019-05-02rvfi: fix mem data and mask fields for reads.Prashanth Mundkur1-7/+5
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-12/+26
2019-04-18Parameterise memory read/write primitives by address lengthJon French1-18/+18
2019-03-14Merge branch 'master' into rmem_interpreterJon French1-4/+12
2019-03-12refactor memory access to use new sail intrinsicsJon French1-89/+36
2019-03-07Get rvfi building again.Prashanth Mundkur1-2/+2
2019-02-08Adapt to changes in Sail's Lem shallow embeddingThomas Bauereiss1-45/+6
2019-01-14Reorganize directory structure.Prashanth Mundkur1-0/+193
generated by cgit v1.1 at 2024-08-04 14:21:23 +0000