Archit Aggarwal
|
971a6e1d22
|
Merge FreeRTOS 202104.00 to main (#585)
|
2021-04-29 14:53:40 -07:00 |
|
Joseph Julicher
|
da9b9a800d
|
[AUTO][RELEASE]: Bump file header version to "202012.00"
|
2020-12-15 11:50:37 -07:00 |
|
David Chalco
|
07f3cbafee
|
[AUTO][RELEASE]: Bump file header version to "202011.00"
|
2020-11-10 14:45:34 -08:00 |
|
Cobus van Eeden
|
d5862dbe01
|
Sync back V10.4.1 (#282)
* Move Kernel submodule pointer to 10.4.1
* Update version number to V10.4.1 (#281)
|
2020-09-17 17:16:33 -07:00 |
|
David Chalco
|
89d475e9b1
|
Update Version number to 10.4.0 (#237)
|
2020-09-10 19:40:24 -07:00 |
|
Aniruddha Kanhere
|
f2611cc5e5
|
MISRA compliance changes in FreeRTOS_Sockets{.c/.h} (#161)
* MISRA changes Sockets
* add other changes
* Update FreeRTOSIPConfig.h
* Update FreeRTOSIPConfig.h
* Update FreeRTOSIPConfig.h
* Update FreeRTOSIPConfig.h
* correction
* Add 'U'
* Update FreeRTOS_Sockets.h
* Update FreeRTOS_Sockets.h
* Update FreeRTOS_Sockets.c
* Update FreeRTOS_Sockets.h
* Update after Gary's comments
* Correction reverted
|
2020-07-29 15:38:37 -07:00 |
|
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 |
|
AniruddhaKanhere
|
4db195c916
|
Adding FreeRTOS+TCP CBMC proofs to FreeRTOS/FreeRTOS (#56)
ParseDNSReply is to be added in the next PR.
|
2020-04-21 15:40:08 -07:00 |
|