FreeRTOS

mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2026-07-28 08:43:45 +00:00

Files

Cobus van Eeden 4a026fd703 Move forward Kernel submodule pointer (#218 )

* Move forward Kernel submodule pointer
* Fixing patches for CBMC proofs
* Update proofs to assume cTxLock != 127
* Update proofs to assume cRxLock != 127

2020-08-26 23:50:09 -07:00

aws_freertos_ip_verification_access_ip_define.h

Move CBMC proofs to FreeRTOS+ directory (#64 )

2020-05-05 09:57:18 -07:00

aws_freertos_tcp_verification_access_tcp_define.h

Move CBMC proofs to FreeRTOS+ directory (#64 )

2020-05-05 09:57:18 -07:00

cbmc.h

Sync with a:FR (#75 )

2020-05-28 10:11:58 -07:00

queue_init.h

Move forward Kernel submodule pointer (#218 )

2020-08-26 23:50:09 -07:00

README.md

Move CBMC proofs to FreeRTOS+ directory (#64 )

2020-05-05 09:57:18 -07:00

tasksStubs.h

Move CBMC proofs to FreeRTOS+ directory (#64 )

2020-05-05 09:57:18 -07:00

README.md

This directory contains include files used by the CBMC proofs:

cbmc.h defines some macros used in the proof test harnesses