You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Nathan Chong 4f87f485d5 Update VeriFast proofs (#836) ... * 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 <jjulicher@mac.com> Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>		2 years ago
..
ISSUE_TEMPLATE	Update feature_request.md (#821)	3 years ago
scripts	Handle patch versions in versioning script (#850)	3 years ago
workflows	Update VeriFast proofs (#836)	2 years ago
CODEOWNERS	Added CODEOWNERS to require PRBR code review (#364)	4 years ago
CODE_OF_CONDUCT.md	Add code of conduct. (#430)	4 years ago
CONTRIBUTING.md	Add uncrustify github workflow (#659)	4 years ago
SECURITY.md	Add uncrustify github workflow (#659)	4 years ago
pull_request_template.md	GitHub PR template. (#29)	5 years ago