mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-10-15 01:07:47 -04:00
* Added spell check * All words * Add a missing word * Fix header checks * Fix header checks v1 * Fix header check v2 * Updated freertos link in header * Fixed afr link in the header * Fix last of header checks * Update the spell check script to check amazon licensed files only * Fixed paths and added comments * Try with modified repo * Add inplace substitute option to sed * Use official repo as the spell checker source * Add vendor file to the ignored list Co-authored-by: root <root@ip-172-31-5-28.us-west-2.compute.internal> |
||
---|---|---|
.. | ||
CBMCStubLibrary | ||
Queue | ||
Task | ||
utility | ||
.gitignore | ||
CMakeLists.txt | ||
make_cbmc_batch_files.py | ||
make_common_makefile.py | ||
make_configuration_directories.py | ||
make_proof_makefiles.py | ||
make_remove_makefiles.py | ||
make_type_header_files.py | ||
Makefile.template | ||
MakefileCommon.json | ||
MakefileLinux.json | ||
MakefileWindows.json | ||
ninja.py | ||
prepare.py | ||
README.md | ||
run-cbmc-proofs.py |
This directory contains the proofs checked by CBMC. For each entry point of FreeRTOS tested, there is a directory that contains the test harness and cbmc configuration information needed to check the proof.