Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-02-08 | Shorten copyright notice at the top of each file | Tim Hutt | 1 | -65/+3 |
2023-09-12 | Remove effects | Tim Hutt | 1 | -2/+2 |
2023-05-29 | apply_headers: regenerate copyright headersupdate-copyright-headers | Philipp Tomsich | 1 | -1/+3 |
2023-01-25 | Increase flexibility of the decode hook (and simplify it) (#205) | Alexander Richardson | 1 | -4/+7 |
2021-07-29 | Use headache to apply copyright header at request of Peter Sewell. | Robert Norton | 1 | -0/+68 |
2019-04-29 | Update docs for previous commits. | Prashanth Mundkur | 1 | -2/+7 |
2019-04-29 | Add a post decode hook aimed at implementing CHERI capability mode. | Robert Norton | 1 | -0/+2 |