7 commits

Author	SHA1	Message	Date
aggarg	ecd1a8f9f1	[AUTO][RELEASE]: Bump file header version to "202111.00"	2021-11-13 02:37:14 +00:00
tianmc1	176f1cae02	[AUTO][RELEASE]: Bump file header version to "202107.00"	2021-07-24 00:32:35 +00: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	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