FreeRTOS

mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2026-08-13 00:23:53 +00:00

Files

alfred gedeon ae92d8c6ee Add uncrustify github workflow (#659 )

* Add uncrustify github workflow

* Fix exclusion pattern

* fix find expression

* exclude uncrustify files

* Uncrustify common demo and test files

* exlude white space checking files

* Fix EOL whitespace checker

* Remove whitespaces from EOL

* Fix space at EOL

* Fix find spaces at EOL

Co-authored-by: Archit Aggarwal <architag@amazon.com>

2021-07-22 14:23:48 -07:00

direct.h

Add uncrustify github workflow (#659 )

2021-07-22 14:23:48 -07:00

README.md

…

winbase.h

Remove CBMC proofs of TCP source code (#325 )

2020-10-06 13:03:52 -07:00

windows.h

Remove CBMC proofs of TCP source code (#325 )

2020-10-06 13:03:52 -07:00

README.md

This directory contains include files used by the CBMC proofs:

Windows.h and WinBase.h are include files used to build FreeRTOS (the parts we currently test) on Linux