Michael Tautschnig e6fd5d47e5 Use CBMC version 5.95.1 (#1226) ...

The upcoming CBMC version 6 release includes changes that may affect
existing proofs. This PR will make sure that FreeRTOS PRs are not
negatively impacted by this release. After releasing CBMC version 6 we
will issue a follow-up PR that will return FreeRTOS to using CBMC's
latest release, and will include any changes to proofs that may be
necessary to support the new version.

Co-authored-by: Rahul Kar <118818625+kar-rahul-aws@users.noreply.github.com>
Co-authored-by: Nikhil Kamath <110539926+amazonKamath@users.noreply.github.com>

2024-08-14 07:01:50 +00:00

..

auto-release.yml

Use CI-CD-Github-Actions for spelling and formatting, add in the bot formatting action, update the CI-CD workflow files. Fix incorrect spelling and formatting on files. (#1083)

2023-09-06 12:35:37 -07:00

ci.yml

Use CBMC version 5.95.1 (#1226)

2024-08-14 07:01:50 +00:00

core-checks.yml

Use CI-CD-Github-Actions for spelling and formatting, add in the bot formatting action, update the CI-CD workflow files. Fix incorrect spelling and formatting on files. (#1083)

2023-09-06 12:35:37 -07:00

formatting.yml

Update the formatting bot (#1095)

2023-10-05 16:15:03 -07:00

freertos_demos.yml

Add x64 configuration to Win32-MSVC demo (#1164)

2024-01-30 10:44:47 +05:30

freertos_mpu_demo.yml

Update Cortex R4F and Cortex R5F MPU Demos (#1200)

2024-03-28 12:37:03 -07:00

freertos_plus_demos.yml

Fleet provisioning winsim demo - fix warnings and reduce demo path length (#1222)

2024-05-17 11:29:10 +05:30

kernel-unit-tests.yml

Use CI-CD-Github-Actions for spelling and formatting, add in the bot formatting action, update the CI-CD workflow files. Fix incorrect spelling and formatting on files. (#1083)

2023-09-06 12:35:37 -07:00