Age | Commit message (Expand) | Author | Files | Lines |
2024-02-08 | Shorten copyright notice at the top of each file | Tim Hutt | 1 | -65/+3 |
2024-01-31 | Update bitfield syntax | Alasdair | 1 | -3/+3 |
2023-11-29 | Fix Store-Conditional assembly operand order and add parens | Paul A. Clarke | 1 | -2/+2 |
2023-10-25 | Remove duplicate shift definitions | Tim Hutt | 1 | -42/+4 |
2023-10-11 | Implement menvcfg | Tim Hutt | 1 | -0/+17 |
2023-09-12 | Remove effects | Tim Hutt | 1 | -1/+1 |
2023-08-01 | Rename EXTZ and EXTS | Alasdair | 1 | -16/+16 |
2023-06-15 | Run the pre-commit hook on all files | Alex Richardson | 1 | -1/+0 |
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 | -8/+8 |
2023-03-06 | Add wildcard cases to matches to suppress Sail warnings. (#197) | Robert Norton | 1 | -16/+19 |
2021-07-29 | Use headache to apply copyright header at request of Peter Sewell. | Robert Norton | 1 | -0/+68 |
2021-02-02 | Reformat excessively-long lines | Scott Johnson | 1 | -2/+8 |
2021-01-27 | MRET and SRET should increment minstret when successful | Scott Johnson | 1 | -8/+6 |
2020-10-15 | Store PC in mtval on EBREAK to match a spec update. | Prashanth Mundkur | 1 | -1/+1 |
2020-09-22 | Handle empty predecessor or successor RW sets in FENCE as no-ops, as IO concu... | Prashanth Mundkur | 1 | -2/+4 |
2020-05-27 | Fix bug: mtval (and [su]tval) should get vaddr, not paddr | Scott Johnson | 1 | -2/+2 |
2020-05-27 | Rename var to distinguish vaddr from paddr | Scott Johnson | 1 | -16/+16 |
2020-05-27 | Rename param to distinguish vaddr from paddr | Scott Johnson | 1 | -2/+2 |
2020-04-01 | Set mtval to 0 on ebreak. Fixes #44. | Prashanth Mundkur | 1 | -1/+1 |
2019-11-05 | Add a hook to allow extensions to veto xret. This will be used by CHERI exten...xret_ext | Robert Norton | 1 | -11/+14 |
2019-09-04 | Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_ext | Robert Norton | 1 | -18/+18 |
2019-08-20 | Whitespace fixes to nuke tabs.no_casts | Prashanth Mundkur | 1 | -6/+6 |
2019-08-19 | RISC-V spec, without implicit casts | Alasdair Armstrong | 1 | -18/+18 |
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 E_CHERI... | Prashanth Mundkur | 1 | -8/+8 |
2019-07-22 | Merge branch 'master' into vmem_ext | Prashanth Mundkur | 1 | -1/+45 |
2019-07-19 | Merge branch 'master-cleanup' | Prashanth Mundkur | 1 | -1/+1 |
2019-07-19 | Add a new pc access function to get the architectural PC: on CHERI this is no...master-cleanup | Robert Norton | 1 | -1/+1 |
2019-07-18 | Make sure everything builds correctly | Alasdair Armstrong | 1 | -0/+44 |
2019-07-18 | Revert "Support DMB/DSB domains" | Alasdair Armstrong | 1 | -11/+11 |
2019-07-18 | Support DMB/DSB domains | Shaked Flur | 1 | -11/+11 |
2019-07-15 | Allow extensions to types of memory access, and factor out PTE and PTW defini... | Prashanth Mundkur | 1 | -8/+8 |
2019-06-24 | Add PMP checks to physical memory accesses. | Prashanth Mundkur | 1 | -9/+9 |
2019-06-24 | Narrow the external interface to riscv_mem to mem_{read,write,write_ea}. | Prashanth Mundkur | 1 | -4/+4 |
2019-05-23 | Be more careful about matching only instructions that are defined for xlen be... | Robert Norton | 1 | -5/+6 |
2019-05-10 | Rename regbits to regidx, to clarify the type is an index and not the content... | Prashanth Mundkur | 1 | -15/+15 |
2019-05-10 | Use an explicit enum to indicate the retire status as opposed to a boolean to... | Prashanth Mundkur | 1 | -42/+42 |
2019-05-10 | Print canonical assembly for immediate loads/stores | James Clarke | 1 | -3/+3 |
2019-05-03 | Minor formatting cleanup and remove obsolete comments. | Prashanth Mundkur | 1 | -2/+0 |
2019-05-03 | Fix inconsistency in accessing PC/nextPC, which also clarifies which handlers... | Prashanth Mundkur | 1 | -4/+4 |
2019-05-02 | Push address calculation inside the data_check_addr hook and rename it to dat...rmn30 | Robert Norton | 1 | -6/+8 |
2019-05-01 | Add base address register as extra argument to ext_data_check_addr hook to as... | Robert Norton | 1 | -2/+2 |
2019-04-24 | Add extended model from cheri-merge. | Prashanth Mundkur | 1 | -58/+88 |
2019-03-14 | Merge branch 'master' into rmem_interpreter | Jon French | 1 | -49/+103 |
2019-03-12 | refactor memory access to use new sail intrinsics | Jon French | 1 | -11/+11 |
2019-03-12 | fix missing separator in shift instruction disassemblies | Jon French | 1 | -2/+2 |
2019-03-11 | Add tlbs for Sv32 and Sv48, and some fixes to sfence.vma. | Prashanth Mundkur | 1 | -18/+10 |
2019-03-11 | Fixes for Sv39 TLB. | Prashanth Mundkur | 1 | -5/+10 |
2019-03-04 | Minor edit for consistency. | Prashanth Mundkur | 1 | -5/+5 |