Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2021-07-29 | Use headache to apply copyright header at request of Peter Sewell. | Robert Norton | 1 | -0/+68 | |
2021-07-16 | Add an extension point to allow validation of physical memory accesses. | Robert Norton | 1 | -3/+8 | |
This is required for implementing memory version support for CHERI. | |||||
2021-06-29 | riscv_mem: push effectivePermission to periphery | Nathaniel Wesley Filardo | 1 | -27/+67 | |
- Expose "just below the periphery" functions that allow bypassing effectivePermission and instead take a Permission explicitly (as well as an AccessType, in the case of reads, to distinguish Read from Execute; for writes, just an ext_access_type that will be wrapped in Write). | |||||
2021-06-25 | Fix the non-RVFI_DII build | Alex Richardson | 1 | -4/+4 | |
This was broken by #76 | |||||
2021-03-16 | Improvements to the version 2 RVFI trace format | Alex Richardson | 1 | -18/+14 | |
All packets start with a magic 8 byte header now and the riscv_sim.c code now sends an acknowledgement packet for version requests. | |||||
2021-03-16 | Initial implementation of new RVFI_DII socket format | Alex Richardson | 1 | -10/+16 | |
This is not a finalized trace format yet. | |||||
2020-04-21 | Fix mstatus.MPRV fetches (#48) | Scott Johnson | 1 | -4/+7 | |
* Add {} so I can add a new variable here next * Create new variable which I will soon reuse * Plumb in the access type to effectivePrivilege So I can use it to fix #47 next. * Instruction fetches should not be affected by mstatus.MPRV Fixes #47. * Remove now-redundant privilege calculation | |||||
2020-01-20 | Add reporting of >64-bit RVFI mem accesses | Peter Rugg | 1 | -1/+5 | |
2020-01-14 | Remove code duplication in mem_readmem_meta_merge | Thomas Bauereiss | 1 | -27/+17 | |
2019-12-23 | Generate correct cause for AMO faults | James Clarke | 1 | -2/+6 | |
2019-10-09 | Read/write memory values and metadata together atomically | Thomas Bauereiss | 1 | -22/+43 | |
For Lem, bypass the Sail implementation of {read,write}_ram and map to atomic primitives directly. We might want to make these functions primitive for other backends as well. | |||||
2019-09-18 | Squashed commit of various patches from @scottj97: | Prashanth Mundkur | 1 | -45/+45 | |
Rename var to make it clear it is physical and not virtual. There are a lot of variables in riscv_mem.sail and riscv_platform.sail named addr and it's not always clear if that is physical or virtual address. These changes rename those variables to paddr to reduce ambiguity. | |||||
2019-07-22 | Make a custom exception code available for extensions, and remove the ↵ | Prashanth Mundkur | 1 | -8/+8 | |
E_CHERI code. Enable extensions for PTE checks and PTW errors, and propagate those into exception codes. | |||||
2019-07-15 | Allow extensions to types of memory access, and factor out PTE and PTW ↵ | Prashanth Mundkur | 1 | -22/+22 | |
definitions. | |||||
2019-07-03 | Add a maximum memory access size to slightly improve C code geneation. | Robert Norton | 1 | -12/+12 | |
2019-07-01 | Merge remote-tracking branch 'origin/master' into master-cleanup | Robert Norton | 1 | -1/+1 | |
2019-06-28 | Avoid implicit casts to string | Alasdair | 1 | -1/+1 | |
Can have unintended consequences, due to how overloading interacts with casts. For example, x : X == y : X can be interpreted as eq_string(cast(x), cast(y)) if x and y are both castable to string, even when there is an equality function (X, X) -> bool. Sail->SMT can't handle strings very well so it's best to just ensure that this can never occur. Rather than implicitly casting in logging statements like: print("xyz" ^ x ^ " foo " ^ y) it's now print("xyz" ^ to_str(x) ^ " foo " ^ to_str(y)) which ensures that the conversion to strings only happens where intended. I also added a warning to Sail itself to try to catch these cases in future. | |||||
2019-06-27 | Merge pull request #14 from gameboo/aj443-fixes | Prashanth Mundkur | 1 | -2/+2 | |
Zero extend rather than sign extend rvfi-dii reports (usefull for 32 … | |||||
2019-06-27 | Merge branch 'master-cleanup' into pmp | Prashanth Mundkur | 1 | -2/+4 | |
2019-06-27 | Zero extend rather than sign extend rvfi-dii reports (usefull for 32 ↵ | Alexandre Joannou | 1 | -2/+2 | |
rvfi-dii comparisons where upper bits are not expected to have information in them) | |||||
2019-06-27 | Predicate more tracing with get_config_print_xxx. | Robert Norton | 1 | -3/+6 | |
2019-06-25 | Some more pruning and commenting of riscv_mem. | Prashanth Mundkur | 1 | -33/+37 | |
2019-06-24 | Add PMP checks to physical memory accesses. | Prashanth Mundkur | 1 | -12/+30 | |
- unify AccessType and ReadType since they were essentially redundant, making it easier to implement PMP checks for ReadWrite/atomic accesses. - add command line options to enable PMP in the platform - also fix the matching for the case when all entries are off | |||||
2019-06-24 | Narrow the external interface to riscv_mem to mem_{read,write,write_ea}. | Prashanth Mundkur | 1 | -5/+8 | |
2019-06-24 | Starting cleaning up physical memory bits for pmp integration. | Prashanth Mundkur | 1 | -12/+12 | |
. convert duopod to directly use Sail lib/regfp functions . put lib/regfp wrappers in prelude, and avoid calling them directly in riscv_mem . remove mmio assumption in page-table walks, making read/write calls symmetric . prune obsolete functions from prelude_mem | |||||
2019-05-02 | rvfi: fixes for RV32 | Prashanth Mundkur | 1 | -2/+2 | |
2019-05-02 | rvfi: fix mask encoding | Prashanth Mundkur | 1 | -2/+2 | |
2019-05-02 | rvfi: avoid setting write fields if the write traps. | Prashanth Mundkur | 1 | -15/+15 | |
2019-05-02 | rvfi: fix mem data and mask fields for reads. | Prashanth Mundkur | 1 | -7/+5 | |
2019-04-24 | Add extended model from cheri-merge. | Prashanth Mundkur | 1 | -12/+26 | |
2019-04-18 | Parameterise memory read/write primitives by address length | Jon French | 1 | -18/+18 | |
2019-03-14 | Merge branch 'master' into rmem_interpreter | Jon French | 1 | -4/+12 | |
2019-03-12 | refactor memory access to use new sail intrinsics | Jon French | 1 | -89/+36 | |
2019-03-07 | Get rvfi building again. | Prashanth Mundkur | 1 | -2/+2 | |
2019-02-08 | Adapt to changes in Sail's Lem shallow embedding | Thomas Bauereiss | 1 | -45/+6 | |
In the monads branch of Sail, writing a memory value now requires address and write_kind (instead of relying on parameters announced earlier). | |||||
2019-01-14 | Reorganize directory structure. | Prashanth Mundkur | 1 | -0/+193 | |