3 Commits (c4d8002634a955a586692c416f5d4557e2e8098c)

Author	SHA1	Message	Date
Carl Lundin	f6dff3fea3	Add Litani to run CBMC proofs (#501) ... Update to out of source makefile build and add run-cbmc-proofs.py CBMC proofs can now be run with Litani with the command "./run-cbmc-proofs.py" Based on commits: * 1646301 - Ignore CBMC proof failures, fail the build later (4 months ago) <Kareem Khazem> * 7e8c91a - Fix Makefile prerequisite symbol for CBMC proofs (4 months ago) <Kareem Khazem> * bee04be - Enable CBMC proofs to run in CI (4 months ago) <Kareem Khazem> Found in https://github.com/FreeRTOS/FreeRTOS-Plus-TCP	4 years ago
David Chalco	7bbf951c71	Color printing + New checker message and emphasis (#492) ... * Color printing + new message and emphasis * omit requirements.txt from checks	4 years ago
David Chalco	0527a2a02a	AutoRelease + Header Checker Upgrades (#482) ... * Initial version where all deps are pylibs * mechanism for undoing an autorelease * misc refactor touchups * +mechanism to baseline older commit into detached HEAD tag * decouple kernel check configs + misc refactor improvements * improved compatibility with git action * Get pushes working in git action with release * Fix header-check issue when same deletion occurs in parallel * Add help message in case check fails * Address PR feedback	4 years ago