len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-09 13:15:15 -05:00
Code Issues Projects Releases Packages Wiki Activity
3105 commits 3 branches 99 tags 214 MiB
Commit graph

3 commits

Author SHA1 Message Date
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
669084ee8f
List proofs and signoff (#194) 2020-08-27 11:59:12 -07:00