| 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-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-11-26 | Fix RV32 Coq build | Thomas Bauereiss | 1 | -1/+1 |
| 2019-02-27 | Initial attempt to separate generated files by ARCH. Some backends/rvfi/rmem... | Prashanth Mundkur | 1 | -0/+1 |
 |
index : sail-riscv.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |