aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_mem.sail
AgeCommit message (Expand)AuthorFilesLines
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-11-06 00:56:20 +0000