Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-05-29 | apply_headers: regenerate copyright headersupdate-copyright-headers | Philipp Tomsich | 1 | -1/+3 |
2021-07-29 | Use headache to apply copyright header at request of Peter Sewell. | Robert Norton | 1 | -0/+68 |
2019-10-09 | Add {read,write}_ram for Coq | Thomas Bauereiss | 1 | -2/+2 |
2019-10-09 | Read/write memory values and metadata together atomically | Thomas Bauereiss | 1 | -8/+9 |
2019-07-03 | Add a maximum memory access size to slightly improve C code geneation. | Robert Norton | 1 | -3/+12 |
2019-06-24 | Starting cleaning up physical memory bits for pmp integration. | Prashanth Mundkur | 1 | -34/+13 |
2019-04-24 | Add extended model from cheri-merge. | Prashanth Mundkur | 1 | -30/+17 |
2019-04-10 | Update Coq memory interfaces | Brian Campbell | 1 | -12/+12 |
2019-02-19 | Use sizeof xlen instead of the value definitions of xlen. | Prashanth Mundkur | 1 | -12/+12 |
2019-02-11 | Fix xlen variable name. | Prashanth Mundkur | 1 | -12/+12 |
2019-02-11 | More refactoring for RV32 | Prashanth Mundkur | 1 | -0/+70 |