diff options
Diffstat (limited to 'CODE_STYLE.md')
-rw-r--r-- | CODE_STYLE.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CODE_STYLE.md b/CODE_STYLE.md index 48df5ad..9483b01 100644 --- a/CODE_STYLE.md +++ b/CODE_STYLE.md @@ -81,6 +81,8 @@ Implementation * Prefer `bool` over `bits(1)` when a value logically represents true or false rather than being a single bit with a numeric meaning, and vice-versa +* Do not use strings for anything that is not text + * No new compile-time warnings from the Sail compiler should be introduced (this does not include C or OCaml warnings for the code generated by the Sail compiler) |