forked from FreeRTOS/backoffAlgorithm
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'FreeRTOS:main' into main
- Loading branch information
Showing
21 changed files
with
641 additions
and
284 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,47 @@ | ||
cbmc | ||
CBMC | ||
cbor | ||
CBOR | ||
cmock | ||
Cmock | ||
CMock | ||
CMOCK | ||
coremqtt | ||
coverity | ||
Coverity | ||
CSDK | ||
ctest | ||
DCMOCK | ||
DCOV | ||
decihours | ||
Decihours | ||
DECIHOURS | ||
DNDEBUG | ||
DUNITY | ||
getpacketid | ||
isystem | ||
lcov | ||
misra | ||
Misra | ||
MISRA | ||
MQTT | ||
mypy | ||
nondet | ||
Nondet | ||
NONDET | ||
pylint | ||
pytest | ||
pyyaml | ||
sinclude | ||
UNACKED | ||
unpadded | ||
Unpadded | ||
UNPADDED | ||
UNSUB | ||
UNSUBACK | ||
unsubscriptions | ||
utest | ||
vect | ||
Vect | ||
VECT | ||
Wunused |
Validating CODEOWNERS rules …
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,37 @@ | ||
# Each line is a file pattern followed by one or more owners. | ||
|
||
# These owners will be the default owners for everything in | ||
# the repo. Unless a later match takes precedence, | ||
# @global-owner1 and @global-owner2 will be requested for | ||
# review when someone opens a pull request. | ||
* @FreeRTOS/pr-bar-raiser | ||
|
||
# Order is important; the last matching pattern takes the most | ||
# precedence. When someone opens a pull request that only | ||
# modifies JS files, only @js-owner and not the global | ||
# owner(s) will be requested for a review. | ||
# *.c FreeRTOS/pr-bar-raiser | ||
|
||
# You can also use email addresses if you prefer. They'll be | ||
# used to look up users just like we do for commit author | ||
# emails. | ||
# *.go [email protected] | ||
|
||
# In this example, @doctocat owns any files in the build/logs | ||
# directory at the root of the repository and any of its | ||
# subdirectories. | ||
# /build/logs/ @doctocat | ||
|
||
# The `docs/*` pattern will match files like | ||
# `docs/getting-started.md` but not further nested files like | ||
# `docs/build-app/troubleshooting.md`. | ||
# docs/* [email protected] | ||
|
||
# In this example, @octocat owns any file in an apps directory | ||
# anywhere in your repository. | ||
# apps/ @octocat | ||
|
||
# In this example, @doctocat owns any file in the `/docs` | ||
# directory in the root of your repository and any of its | ||
# subdirectories. | ||
# /docs/ @doctocat |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,22 @@ | ||
<!--- Title --> | ||
|
||
Description | ||
----------- | ||
<!--- Describe your changes in detail. --> | ||
|
||
Test Steps | ||
----------- | ||
<!-- Describe the steps to reproduce. --> | ||
|
||
Checklist: | ||
---------- | ||
<!--- Go over all the following points, and put an `x` in all the boxes that apply. --> | ||
<!--- If you're unsure about any of these, don't hesitate to ask. We're here to help! --> | ||
- [ ] I have tested my changes. No regression in existing tests. | ||
- [ ] I have modified and/or added unit-tests to cover the code changes in this Pull Request. | ||
|
||
Related Issue | ||
----------- | ||
<!-- If any, please provide issue ID. --> | ||
|
||
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,23 @@ | ||
name: Format Pull Request Files | ||
|
||
on: | ||
issue_comment: | ||
types: [created] | ||
|
||
env: | ||
bashPass: \033[32;1mPASSED - | ||
bashInfo: \033[33;1mINFO - | ||
bashFail: \033[31;1mFAILED - | ||
bashEnd: \033[0m | ||
|
||
jobs: | ||
Formatting: | ||
name: Run Formatting Check | ||
if: ${{ github.event.issue.pull_request && | ||
( ( github.event.comment.body == '/bot run uncrustify' ) || | ||
( github.event.comment.body == '/bot run formatting' ) ) }} | ||
runs-on: ubuntu-20.04 | ||
steps: | ||
- name: Apply Formatting Fix | ||
uses: FreeRTOS/CI-CD-Github-Actions/formatting-bot@main | ||
id: check-formatting |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,16 +1,21 @@ | ||
# MISRA Compliance | ||
|
||
The backoffAlgorithm library files conform to the [MISRA C:2012](https://www.misra.org.uk) | ||
guidelines, with some noted exceptions. Compliance is checked with Coverity static analysis. | ||
The specific deviations, suppressed inline, are listed below. | ||
|
||
Additionally, [MISRA configuration file](https://github.com/FreeRTOS/backoffAlgorithm/blob/main/tools/coverity/misra.config) contains the project wide deviations. | ||
The backoffAlgorithm library files conform to the | ||
[MISRA C:2012](https://www.misra.org.uk) guidelines, with some noted exceptions. | ||
Compliance is checked with Coverity static analysis. The specific deviations, | ||
suppressed inline, are listed below. | ||
|
||
Additionally, | ||
[MISRA configuration file](https://github.com/FreeRTOS/backoffAlgorithm/blob/main/tools/coverity/misra.config) | ||
contains the project wide deviations. | ||
|
||
### Suppressed with Coverity Comments | ||
|
||
To find the violation references in the source files run grep on the source code | ||
with ( Assuming rule 11.4 violation; with justification in point 2 ): | ||
|
||
``` | ||
grep 'MISRA Ref 11.4.2' . -rI | ||
``` | ||
*None.* | ||
|
||
_None._ |
Oops, something went wrong.