Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2023-12-12 | Update CODE_STYLE.md | Alasdair Armstrong | 1 | -0/+2 | |
Add a line to CODE_STYLE.md saying that tabs should not be used Signed-off-by: Alasdair Armstrong <alasdair.armstrong@cl.cam.ac.uk> | |||||
2023-06-12 | CODE_STYLE: Explicitly ban strings for non-text | Jessica Clarke | 1 | -0/+2 | |
Apparently this needs stating and isn't obvious. Signed-off-by: Jessica Clarke <jrtc27@jrtc27.com> | |||||
2022-02-03 | Added notes about copyright headers in code, and a reminder that (#146) | Martin Berger | 1 | -0/+2 | |
pull-requests ideally come with an explanation how the correctness of the PR was established. | |||||
2022-01-31 | Add initial contributing and code style guides (#131) | Jessica Clarke | 1 | -0/+88 | |
These are intended to deal with much of the low-hanging fruit; plenty of room for improvement exists. |