tianmc1
|
176f1cae02
|
[AUTO][RELEASE]: Bump file header version to "202107.00"
|
2021-07-24 00:32:35 +00:00 |
|
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 |
|
Archit Aggarwal
|
971a6e1d22
|
Merge FreeRTOS 202104.00 to main (#585)
|
2021-04-29 14:53:40 -07:00 |
|
Nathan Chong
|
5309372245
|
Minor VeriFast proof changes to match V10.4.3 (#519)
* Minor changes for V10.4.3
* Update license
|
2021-02-25 14:00:22 -07:00 |
|
Joseph Julicher
|
da9b9a800d
|
[AUTO][RELEASE]: Bump file header version to "202012.00"
|
2020-12-15 11:50:37 -07:00 |
|
Nathan Chong
|
bc54c6bc10
|
Syntactic proof changes to track 10.4.1 changes (#322)
All changes restricted to comments/formatting.
|
2020-10-06 13:17:29 -07:00 |
|
Nathan Chong
|
8e36bee30e
|
Prove buffer lemmas (#124)
* Prove buffer lemmas
* Update queue proofs to latest kernel source
All changes were syntactic due to uncrustify code-formatting
* Strengthen prvCopyDataToQueue proof
* Add extract script for diff comparison
Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
|
2020-07-21 09:51:20 -07:00 |
|
Nathan Chong
|
529c481c39
|
Add VeriFast kernel queue proofs (#117)
|
2020-07-02 12:55:20 -07:00 |
|