This repository has been archived by the owner on Dec 8, 2022. It is now read-only.
Change uxPendedTicks to xPendedTicks in all proofs #1758
Merged
Conversation
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
karkhaz
force-pushed
the
kk-xpendedticks-proof-fix
branch
2 times, most recently
from
3b30293 to
d0db15a
Compare
This ensures that CBMC proofs are able to build after the name-change in commit 23839bb.
karkhaz
force-pushed
the
kk-xpendedticks-proof-fix
branch
from
d0db15a to
16a88e0
Compare
danielsn
approved these changes
Feb 14, 2020
| -PRIVILEGED_DATA static volatile UBaseType_t uxPendedTicks = ( UBaseType_t ) 0U; | ||
| +PRIVILEGED_DATA static UBaseType_t uxPendedTicks = ( UBaseType_t ) 0U; | ||
| -PRIVILEGED_DATA static volatile TickType_t xPendedTicks = ( TickType_t ) 0U; | ||
| +PRIVILEGED_DATA static TickType_t xPendedTicks = ( TickType_t ) 0U; |
There was a problem hiding this comment.
Whitespace - should you run format?
markrtuttle
approved these changes
Feb 14, 2020
cobusve
approved these changes
Feb 14, 2020
|
@cobusve would you mind merging this? Neither @yuhui-zheng nor I have permission to...thank you! |
|
/bot run checks |
2 tasks
navinns
added a commit
that referenced
this pull request
Feb 19, 2020
* Bringing changes for AFR Release 202002.00 (#1723) * Fix a dependency parsing bug in CMake from #1161 (#1655) In previous PR when we add a feature to disable building demos and test, we add a check to not search dependencies of aws_demos and aws_tests target when demos or tests are disabled. But we forgot to also move adding the dependencies to demos_base and tests_base inside the check. As a result, the "dependencies" from previous for loop was added to demos_base and tests_base. * Add board dir for cypress in CMake (#1684) * Merge pull request #1700 from tgsong/ota_e2e_s3_cleanup Only delete files uploaded in OTA E2E * OTA e2e scripts: Replace dots with underscores (#1717) * Update FreeRTOS-Kernel submodule branch to release-candidate Update FreeRTOS-Kernel submodule branch from V10.2.1-convergence-FreeRTOS-Source to release-candidate_10.3.0_rc3 commit id: d7550ef1a0560ceddac7c0b8bc0148272ac641a6 Co-authored-by: Tiangang Song <[email protected]> Co-authored-by: Pavan Madehalli Ranganath <[email protected]> * Variable name change from uxPendedTicks to xPendedTicks. (#1724) Due to the kernel version bump, Tracealyzer also needs to be updated. This is to fix the build failure on Windows and Microchip in this PR -- #1723 * Update FreeRTOS-Kernel submodule to V10.3.0-kernel-only (#1743) Update FreeRTOS-Kernel submodule branch from release-candidate_10.3.0_rc3 to V10.3.0-kernel-only commit id: 210b1ff * Change http echo server from 'httpbin.org' to 'postman-echo.com' (#1742) HTTPS_Client_System test Group is fails for TI when connecting to 'httpbin.org'. Connect to 'postman-echo.com' to solve this issue. * Update checksums.json file (#1744) * Update CHANGELOG.md (#1748) * Change name from "Amazon FreeRTOS" to "FreeRTOS" (#1736) * Cypress kernel dependency workaround (#1750) * From FreeRTOS kernel 10.2.0, copying over Wiced_CY port to vendor directory. * Make Cortex R4 target use the kernel files at new location. * The project file update probably won't matter, but in IDE at least you'll now get the correct source files. * Change Nordic kernel portable files path (#1751) * Change paths for Nordic test and demo projects to build with kernel kernel_branch: release-candidate_10.3.0_rc3 commit id: d7550ef1a0560ceddac7c0b8bc0148272ac641a6 * Change Cmake and IDE to use kernel portable files from Nordic SDK * Temporary fix for Renesas test/demo failure * Temporary fix for Renesas test/demo failure * Changes for 202002.00 Release (#1756) * Fix: GGD Test failures (#1616) * Fix: GGD Test failures on ST and other boards GGD_JSONRequestGetFile() would not receive the entire file in one call on some boards. This adds a loop to receive the file in chunks if the request was not completed. * Add logging statement to GGD File Retrieval * Unapologetically deleting WiFi test cases. (#1685) * Unapologetically deleting WiFi test cases that don't do much. Test case references are left in commented out. Consider this shame mark. * uncrustify. * Deleting all references to unused references. * Update Major number for Release from 201912 to 202002 * Update checksum file for 202002.00 release Co-authored-by: Muneeb Ahmed <[email protected]> Co-authored-by: Yuhui.Zheng <[email protected]> * Change uxPendedTicks to xPendedTicks in all proofs (#1758) This ensures that CBMC proofs are able to build after the name-change in commit 23839bb. * ECC key import fix. (#1760) * Add FreeRTOS_Porting_Guide.pdf and FreeRTOS_Qualification_Guide.pdf (#1764) * Change release date from 2/17/2020 to 2/18/2020 (#1769) Co-authored-by: Tiangang Song <[email protected]> Co-authored-by: Pavan Madehalli Ranganath <[email protected]> Co-authored-by: Yuhui.Zheng <[email protected]> Co-authored-by: yngki <[email protected]> Co-authored-by: Ravishankar Bhagavandas <[email protected]> Co-authored-by: AniruddhaKanhere <[email protected]> Co-authored-by: Muneeb Ahmed <[email protected]> Co-authored-by: Kareem Khazem <[email protected]> Co-authored-by: lundinc2 <[email protected]>
VanNamDinh
pushed a commit
to renesas/amazon-freertos
that referenced
this pull request
Mar 17, 2020
This ensures that CBMC proofs are able to build after the name-change in commit 23839bb.
VanNamDinh
pushed a commit
to renesas/amazon-freertos
that referenced
this pull request
Mar 23, 2020
* Bringing changes for AFR Release 202002.00 (aws#1723) * Fix a dependency parsing bug in CMake from aws#1161 (aws#1655) In previous PR when we add a feature to disable building demos and test, we add a check to not search dependencies of aws_demos and aws_tests target when demos or tests are disabled. But we forgot to also move adding the dependencies to demos_base and tests_base inside the check. As a result, the "dependencies" from previous for loop was added to demos_base and tests_base. * Add board dir for cypress in CMake (aws#1684) * Merge pull request aws#1700 from tgsong/ota_e2e_s3_cleanup Only delete files uploaded in OTA E2E * OTA e2e scripts: Replace dots with underscores (aws#1717) * Update FreeRTOS-Kernel submodule branch to release-candidate Update FreeRTOS-Kernel submodule branch from V10.2.1-convergence-FreeRTOS-Source to release-candidate_10.3.0_rc3 commit id: d7550ef1a0560ceddac7c0b8bc0148272ac641a6 Co-authored-by: Tiangang Song <[email protected]> Co-authored-by: Pavan Madehalli Ranganath <[email protected]> * Variable name change from uxPendedTicks to xPendedTicks. (aws#1724) Due to the kernel version bump, Tracealyzer also needs to be updated. This is to fix the build failure on Windows and Microchip in this PR -- aws#1723 * Update FreeRTOS-Kernel submodule to V10.3.0-kernel-only (aws#1743) Update FreeRTOS-Kernel submodule branch from release-candidate_10.3.0_rc3 to V10.3.0-kernel-only commit id: 210b1ff * Change http echo server from 'httpbin.org' to 'postman-echo.com' (aws#1742) HTTPS_Client_System test Group is fails for TI when connecting to 'httpbin.org'. Connect to 'postman-echo.com' to solve this issue. * Update checksums.json file (aws#1744) * Update CHANGELOG.md (aws#1748) * Change name from "Amazon FreeRTOS" to "FreeRTOS" (aws#1736) * Cypress kernel dependency workaround (aws#1750) * From FreeRTOS kernel 10.2.0, copying over Wiced_CY port to vendor directory. * Make Cortex R4 target use the kernel files at new location. * The project file update probably won't matter, but in IDE at least you'll now get the correct source files. * Change Nordic kernel portable files path (aws#1751) * Change paths for Nordic test and demo projects to build with kernel kernel_branch: release-candidate_10.3.0_rc3 commit id: d7550ef1a0560ceddac7c0b8bc0148272ac641a6 * Change Cmake and IDE to use kernel portable files from Nordic SDK * Temporary fix for Renesas test/demo failure * Temporary fix for Renesas test/demo failure * Changes for 202002.00 Release (aws#1756) * Fix: GGD Test failures (aws#1616) * Fix: GGD Test failures on ST and other boards GGD_JSONRequestGetFile() would not receive the entire file in one call on some boards. This adds a loop to receive the file in chunks if the request was not completed. * Add logging statement to GGD File Retrieval * Unapologetically deleting WiFi test cases. (aws#1685) * Unapologetically deleting WiFi test cases that don't do much. Test case references are left in commented out. Consider this shame mark. * uncrustify. * Deleting all references to unused references. * Update Major number for Release from 201912 to 202002 * Update checksum file for 202002.00 release Co-authored-by: Muneeb Ahmed <[email protected]> Co-authored-by: Yuhui.Zheng <[email protected]> * Change uxPendedTicks to xPendedTicks in all proofs (aws#1758) This ensures that CBMC proofs are able to build after the name-change in commit 23839bb. * ECC key import fix. (aws#1760) * Add FreeRTOS_Porting_Guide.pdf and FreeRTOS_Qualification_Guide.pdf (aws#1764) * Change release date from 2/17/2020 to 2/18/2020 (aws#1769) Co-authored-by: Tiangang Song <[email protected]> Co-authored-by: Pavan Madehalli Ranganath <[email protected]> Co-authored-by: Yuhui.Zheng <[email protected]> Co-authored-by: yngki <[email protected]> Co-authored-by: Ravishankar Bhagavandas <[email protected]> Co-authored-by: AniruddhaKanhere <[email protected]> Co-authored-by: Muneeb Ahmed <[email protected]> Co-authored-by: Kareem Khazem <[email protected]> Co-authored-by: lundinc2 <[email protected]>
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This ensures that CBMC proofs are able to build after the name-change in
commit 23839bb.