len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-10-14 08:47:45 -04:00
Code Issues Projects Releases Packages Wiki Activity
FreeRTOS-Kernel/FreeRTOS/Test/CBMC/patches
History
Monika Singh f60dd88609
Remove deprecated ipconfigRAND32 (#1108) 
* Remove deprecated ipconfigRAND32

* Uncrustify: triggered by comment.

* Update

* Check for return value

* Uncrustify: triggered by comment.

* Update

---------

Co-authored-by: GitHub Action <action@github.com>
2023-11-01 12:33:25 +05:30
..
.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 Update single core CMBC and unit test (#1045) 2023-07-24 15:42:20 +05:30
0005-Remove-volatile-qualifier-from-tasks-variables.patch Update single core CMBC and unit test (#1045) 2023-07-24 15:42:20 +05:30
0006-Remove-static-from-prvNotifyQueueSetContainer.patch Update single core CMBC and unit test (#1045) 2023-07-24 15:42:20 +05:30
0007-Remove-static-from-prvUnlockQueue.patch Update single core CMBC and unit test (#1045) 2023-07-24 15:42:20 +05:30
0008-Fix-preemption-macro-for-queueYIELD_IF_USING_PREEMPT.patch Update single core CMBC and unit test (#1045) 2023-07-24 15:42:20 +05:30
__init__.py Adding FreeRTOS+TCP CBMC proofs to FreeRTOS/FreeRTOS (#56) 2020-04-21 15:40:08 -07:00
compute_patch.py Use CI-CD-Github-Actions for spelling and formatting, add in the bot formatting action, update the CI-CD workflow files. Fix incorrect spelling and formatting on files. (#1083) 2023-09-06 12:35:37 -07:00
FreeRTOSConfig.h Use CI-CD-Github-Actions for spelling and formatting, add in the bot formatting action, update the CI-CD workflow files. Fix incorrect spelling and formatting on files. (#1083) 2023-09-06 12:35:37 -07:00
FreeRTOSIPConfig.h Remove deprecated ipconfigRAND32 (#1108) 2023-11-01 12:33:25 +05:30
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 Use CI-CD-Github-Actions for spelling and formatting, add in the bot formatting action, update the CI-CD workflow files. Fix incorrect spelling and formatting on files. (#1083) 2023-09-06 12:35:37 -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 Use CI-CD-Github-Actions for spelling and formatting, add in the bot formatting action, update the CI-CD workflow files. Fix incorrect spelling and formatting on files. (#1083) 2023-09-06 12:35:37 -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.