len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-10-15 17:27:46 -04:00
Code Issues Projects Releases Packages Wiki Activity
FreeRTOS-Kernel/FreeRTOS/Test/CBMC/patches
History
Aniruddha Kanhere 1277ba1661
Revert "Remove coroutines (#874)" (#1019) 
* Revert "Remove coroutines (#874)"

This reverts commit 569c78fd8c.

* Update freertos Kernel submodule to latest head

* Remove temporary files

* Fix MingW demos and spell check

* Fix manifest version; fix headers

* Add ignore files and paths to core-checker.py

* Fix copyright in remaining files

* Fix PR check build failure

1. Remove defining `inline` in Makefile. This was causing build
   warnings.
2. Ensure that the linker removed unused functions from various
   compilation units.
3. Update the linker script so that all the functions are correctly
   placed in FLASH section.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>

---------

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
2023-06-09 15:25:48 -07:00
..
.gitattributes Copying CBMC proofs from aws/amazon-freertos repo ./tools/cbmc to this repo ./FreeRTOS/Test/CBMC as is. 2020-03-31 14:21:53 -07:00
.gitignore Copying CBMC proofs from aws/amazon-freertos repo ./tools/cbmc to this repo ./FreeRTOS/Test/CBMC as is. 2020-03-31 14:21:53 -07:00
0005-remove-static-from-prvCopyDataToQueue.patch Add CBMC viewer configuration files (#683) 2021-09-13 21:23:35 -04:00
0005-Remove-volatile-qualifier-from-tasks-variables.patch Fix CBMC proof failures (#946) 2023-03-06 15:15:38 +05:30
0006-Remove-static-from-prvNotifyQueueSetContainer.patch Move forward Kernel submodule pointer (#218) 2020-08-26 23:50:09 -07:00
0007-Remove-static-from-prvUnlockQueue.patch Copying CBMC proofs from aws/amazon-freertos repo ./tools/cbmc to this repo ./FreeRTOS/Test/CBMC as is. 2020-03-31 14:21:53 -07:00
__init__.py Adding FreeRTOS+TCP CBMC proofs to FreeRTOS/FreeRTOS (#56) 2020-04-21 15:40:08 -07:00
compute_patch.py Adding FreeRTOS+TCP CBMC proofs to FreeRTOS/FreeRTOS (#56) 2020-04-21 15:40:08 -07:00
FreeRTOSConfig.h Revert "Remove coroutines (#874)" (#1019) 2023-06-09 15:25:48 -07:00
FreeRTOSIPConfig.h [AUTO][RELEASE]: Bump file header version to "202212.00" 2022-12-10 01:17:30 +00:00
Makefile Adding FreeRTOS+TCP CBMC proofs to FreeRTOS/FreeRTOS (#56) 2020-04-21 15:40:08 -07:00
patch.py Adding FreeRTOS+TCP CBMC proofs to FreeRTOS/FreeRTOS (#56) 2020-04-21 15:40:08 -07:00
patches_constants.py Adding FreeRTOS+TCP CBMC proofs to FreeRTOS/FreeRTOS (#56) 2020-04-21 15:40:08 -07:00
README.md Copying CBMC proofs from aws/amazon-freertos repo ./tools/cbmc to this repo ./FreeRTOS/Test/CBMC as is. 2020-03-31 14:21:53 -07:00
unpatch.py Adding FreeRTOS+TCP CBMC proofs to FreeRTOS/FreeRTOS (#56) 2020-04-21 15:40:08 -07:00

README.md

This directory includes patches to FreeRTOS required to run the CBMC proofs.

The patches fall into three classes:

  • First is a refactoring of prvCheckOptions
  • Second is the removal of static attributes from some functions
  • Third is two patches dealing with shortcomings of CBMC that should be removed soon.