aboutsummaryrefslogtreecommitdiff
path: root/CODE_STYLE.md
AgeCommit message (Collapse)AuthorFilesLines
2023-12-12Update CODE_STYLE.mdAlasdair Armstrong1-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-12CODE_STYLE: Explicitly ban strings for non-textJessica Clarke1-0/+2
Apparently this needs stating and isn't obvious. Signed-off-by: Jessica Clarke <jrtc27@jrtc27.com>
2022-02-03Added notes about copyright headers in code, and a reminder that (#146)Martin Berger1-0/+2
pull-requests ideally come with an explanation how the correctness of the PR was established.
2022-01-31Add initial contributing and code style guides (#131)Jessica Clarke1-0/+88
These are intended to deal with much of the low-hanging fruit; plenty of room for improvement exists.