| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| __pycache__/ | 18-Mar-2025 | - | ||||
| .gitattributes | D | 18-Mar-2025 | 79 | 3 | 2 | |
| .gitignore | D | 18-Mar-2025 | 20 | 3 | 2 | |
| FreeRTOSConfig.h | D | 18-Mar-2025 | 10.9 KiB | 235 | 109 | |
| FreeRTOSIPConfig.h | D | 18-Mar-2025 | 16.7 KiB | 332 | 84 | |
| Makefile | D | 18-Mar-2025 | 611 | 25 | 14 | |
| README.md | D | 18-Mar-2025 | 309 | 6 | 5 | |
| __init__.py | D | 18-Mar-2025 | 0 | 1 | 0 | |
| compute_patch.py | D | 18-Mar-2025 | 9.3 KiB | 242 | 171 | |
| patch.py | D | 18-Mar-2025 | 1 KiB | 37 | 27 | |
| patches_constants.py | D | 18-Mar-2025 | 1.7 KiB | 43 | 13 | |
| unpatch.py | D | 18-Mar-2025 | 1.8 KiB | 43 | 16 |
README.md
1This directory includes patches to FreeRTOS required to run the CBMC proofs. 2 3The patches fall into three classes: 4* First is a refactoring of prvCheckOptions 5* Second is the removal of static attributes from some functions 6* Third is two patches dealing with shortcomings of CBMC that should be removed soon.