From f66ee2f7a7f340f60cfc4b7a643ac9995fff9db7 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 6 Jun 2024 09:03:04 +0000 Subject: [PATCH 1/2] Bump CBMC version to 5.95.1 This will make proofs use the latest stable release of CBMC. --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e486e498..7f9b7165 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -179,7 +179,7 @@ jobs: uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main with: kissat_tag: latest - cbmc_version: "5.73.0" + cbmc_version: "5.95.1" - run: | git submodule update --init --recursive --checkout sudo apt-get update From cc54d3da005498b219cb03811b4f3638ba200859 Mon Sep 17 00:00:00 2001 From: Gaurav Aggarwal Date: Wed, 21 Aug 2024 11:58:31 +0000 Subject: [PATCH 2/2] Fix link verifier check Signed-off-by: Gaurav Aggarwal --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index d4a4fab9..188c22b2 100644 --- a/README.md +++ b/README.md @@ -116,7 +116,7 @@ locations below: | Location | | :------------------------------------------------------------------------------------------------------------------: | | [AWS IoT Device SDK for Embedded C](https://github.com/aws/aws-iot-device-sdk-embedded-C#releases-and-documentation) | -| [FreeRTOS.org](https://freertos.org/Documentation/api-ref/coreHTTP/docs/doxygen/output/html/index.html) | +| [API Documentation](https://freertos.github.io/coreHTTP/main/index.html) | Note that the latest included version of coreHTTP may differ across repositories.