delta/freertos-git.git/FreeRTOS/Test/VeriFast/queue/prvCopyDataFromQueue.c, branch main

[AUTO][RELEASE]: Bump file header version to "202212.00"

2022-12-10T01:17:30+00:00

[AUTO][RELEASE]: Bump file header version to "202211.00"

2022-12-01T00:34:31+00:00

Update VeriFast proofs (#836)

2022-10-27T21:54:38+00:00

* Undo syntax changes preventing VeriFast parsing

* Update proofs inline with source changes

Outstanding:
  - xQueueGenericReset return code
  - Not using prvIncrementQueueTxLock or prvIncrementQueueRxLock macros

* Remove git hash check

* Document new changes between proven code and implementation

* Update copyright header

* VeriFast proofs: turn off uncrustify checks

Uncrustify requires formatting of comments that is at odds with VeriFast's
proof annotations, which are contained within comments.

* Update ci.yml

Co-authored-by: Joseph Julicher 
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>

Apply release changes to main branch (#759)

2021-12-23T18:16:27+00:00

* Update History.txt and README.md for December release (#744)

* Update History.txt and README.md for release

* Bump mbedtls submodule to v2.28.0 (#745)

* Patch project files for mbedtls (#751)

* Apply group 1 patches

* Apply patches for group 2

* Update project files for mbedTLS new version

Signed-off-by: Gaurav Aggarwal 

* Fix warnings in projects

Signed-off-by: Gaurav Aggarwal 

* Fix warnings in HTTP_S3_Download demo

Signed-off-by: Gaurav Aggarwal 

Co-authored-by: Gaurav Aggarwal 

* Update changelog and history for corePKCS11 update (#752)

* Update submodule pointer and manifest.yml for corePKCS11 (#754)

* Update readme and history.txt to show that Sigv4 is a newly added library (#756)

* Revert update to v143 of VS toolset (#757)

* [AUTO][RELEASE]: Bump file header version to "202112.00"

* Update file headers to satisfy core checks

Co-authored-by: Muneeb Ahmed <54290492+muneebahmed10@users.noreply.github.com>
Co-authored-by: Gaurav Aggarwal 
Co-authored-by: johnrhen

[AUTO][RELEASE]: Bump file header version to "202111.00"

2021-11-13T02:37:14+00:00

[AUTO][RELEASE]: Bump file header version to "202107.00"

2021-07-24T00:32:35+00:00

Add uncrustify github workflow (#659)

2021-07-22T21:23:48+00:00

* 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

Merge FreeRTOS 202104.00 to main (#585)

2021-04-29T21:53:40+00:00

Minor VeriFast proof changes to match V10.4.3 (#519)

2021-02-25T21:00:22+00:00

* Minor changes for V10.4.3

* Update license

[AUTO][RELEASE]: Bump file header version to "202012.00"

2020-12-15T18:50:37+00:00