-
Notifications
You must be signed in to change notification settings - Fork 20
Pull requests: rustfoundation/safety-critical-rust-coding-guidelines
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add link from coding guideline issue template to formatting guide
contributor experience
Related to making contributions easier
documentation
Improvements or additions to documentation
#199
opened Aug 31, 2025 by
PLeVasseur
Loading…
[auto-pr] #174: [Coding Guideline]: Defect Guideline for CERT C, INT34-C: Do not shift an expression by a negative number of bits or by greater than or equal to the number of bits that exist in the operand
category: mandatory
A coding guideline with category mandatory
chapter: expressions
coding guideline
An issue related to a suggestion for a coding guideline
decidability: undecidable
A coding guideline which cannot be checked automatically
#181
opened Aug 23, 2025 by
scrc-cg-pr-from-issue
bot
Loading…
[auto-pr] #156: [Coding Guideline]: Subset Guideline for CERT C, INT34-C: Do not shift an expression by a negative number of bits or by greater than or equal to the number of bits that exist in the operand
category: required
A coding guideline with category required
chapter: expressions
coding guideline
An issue related to a suggestion for a coding guideline
decidability: decidable
A coding guideline which can be checked automatically
#180
opened Aug 23, 2025 by
scrc-cg-pr-from-issue
bot
Loading…
Add GOALS.md, revise contribution process, freshen up to use arewesafetycriticalyet.org
documentation
Improvements or additions to documentation
#149
opened Jul 14, 2025 by
PLeVasseur
Loading…
[Extension] Extract and test Compliant and Non-compliant code blocks
ci/cd
Related to CI/CD
enhancement
New feature or request
sphinx extension
WIP add some more proposed rules to macro guidelines
chapter: macros
#69
opened May 7, 2025 by
AlexCeleste
Loading…
[Sphinx Extension] Include PDF build from Sphinx LaTeX
ci/cd
Related to CI/CD
enhancement
New feature or request
sphinx extension
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.