len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-15 16:15:08 -05:00
Code Issues Projects Releases Packages Wiki Activity
FreeRTOS-Kernel/FreeRTOS-Plus/Test/CBMC/proofs
History
AniruddhaKanhere d95624c5d6
Move CBMC proofs to FreeRTOS+ directory (#64) 
* move CBMC proofs to FreeRTOS+ directory

* Failing proofs corrected

* ParseDNSReply proof added back

* removed queue_init.h from -Plus/Test

Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
2020-05-05 09:57:18 -07:00
..
ARP Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
CBMCStubLibrary Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
CheckOptions Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
CheckOptionsInner Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
CheckOptionsOuter Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
DHCP Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
DNS Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
IP/SendEventToIPTask Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
ParseDNSReply Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
parsing Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
ProcessDHCPReplies Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
ReadNameField Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
SkipNameField Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
TCP Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
utility Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
.gitignore Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
CMakeLists.txt Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
make_cbmc_batch_files.py Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
make_common_makefile.py Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
make_configuration_directories.py Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
make_proof_makefiles.py Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
make_remove_makefiles.py Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
make_type_header_files.py Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
Makefile.template Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
MakefileCommon.json Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
MakefileLinux.json Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
MakefileWindows.json Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
ninja.py Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
prepare.py Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00
README.md Move CBMC proofs to FreeRTOS+ directory (#64) 2020-05-05 09:57:18 -07:00

README.md

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.