Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2023-09-12 | Remove effects | Tim Hutt | 1 | -1/+1 | |
Since Sail 0.15 (released Nov 2022), effects have had no effect. They now generate a deprecation warning. This commit removes all the effect annotations from the model, thus fixing the compiler warnings. | |||||
2023-05-29 | apply_headers: regenerate copyright headersupdate-copyright-headers | Philipp Tomsich | 1 | -1/+3 | |
2023-03-14 | Use not() instead of ~() for boolean negation (#210) | Alexander Richardson | 1 | -2/+2 | |
This may be more readable and also matches the sail-cheri-riscv model. For now this keeps ~ overloaded to accept bool, but in the future we may want to consider removing it (which is what I did to find all uses modified in this patch) | |||||
2021-07-29 | Use headache to apply copyright header at request of Peter Sewell. | Robert Norton | 1 | -0/+68 | |
2019-12-23 | Remove hard-coded E_Fetch_Access_Fault now mem_read checks the type | James Clarke | 1 | -2/+2 | |
2019-10-09 | Read/write memory values and metadata together atomically | Thomas Bauereiss | 1 | -1/+1 | |
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-04 | Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_ext | Robert Norton | 1 | -1/+1 | |
2019-08-19 | RISC-V spec, without implicit casts | Alasdair Armstrong | 1 | -1/+1 | |
2019-08-09 | Allow accumulation of information during page-table-walk for extensions. | Prashanth Mundkur | 1 | -4/+4 | |
2019-07-22 | Make a custom exception code available for extensions, and remove the ↵ | Prashanth Mundkur | 1 | -3/+3 | |
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 | -4/+4 | |
definitions. | |||||
2019-06-24 | Add PMP checks to physical memory accesses. | Prashanth Mundkur | 1 | -4/+4 | |
- 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 | -2/+2 | |
2019-04-24 | Add extended model from cheri-merge. | Prashanth Mundkur | 1 | -0/+52 | |