From 97dc53f5e96eba0be118c3cd14e11c91e8d76a03 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Tue, 5 Nov 2024 12:51:31 +0000 Subject: [PATCH 1/2] Update CBMC proof tooling to latest releases Use CBMC 6.3.1 and also the very latest solver releases. --- .github/workflows/proof_ci_resources/config.yaml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/proof_ci_resources/config.yaml b/.github/workflows/proof_ci_resources/config.yaml index fb955a76f..c87b1ab37 100644 --- a/.github/workflows/proof_ci_resources/config.yaml +++ b/.github/workflows/proof_ci_resources/config.yaml @@ -1,8 +1,8 @@ # Use exact versions (instead of "latest") so we're not broken by surprise upgrades. -cadical-tag: "rel-2.0.0" # tag of latest release: https://github.com/arminbiere/cadical/releases -cbmc-version: "6.2.0" # semver of latest release: https://github.com/diffblue/cbmc/releases -cbmc-viewer-version: "3.9" # semver of latest release: https://github.com/model-checking/cbmc-viewer/releases -kissat-tag: "rel-4.0.0" # tag of latest release: https://github.com/arminbiere/kissat/releases +cadical-tag: "rel-2.1.0" # tag of latest release: https://github.com/arminbiere/cadical/releases +cbmc-version: "6.3.1" # semver of latest release: https://github.com/diffblue/cbmc/releases +cbmc-viewer-version: "3.10" # semver of latest release: https://github.com/model-checking/cbmc-viewer/releases +kissat-tag: "rel-4.0.1" # tag of latest release: https://github.com/arminbiere/kissat/releases litani-version: "1.29.0" # semver of latest release: https://github.com/awslabs/aws-build-accumulator/releases proofs-dir: verification/cbmc/proofs run-cbmc-proofs-command: ./run-cbmc-proofs.py From d84df072ac0802024f5791f3d5b71ea81aab9cbf Mon Sep 17 00:00:00 2001 From: Michael Graeb Date: Tue, 26 Nov 2024 11:37:26 -0800 Subject: [PATCH 2/2] cbmc 6.4.0 is latest now --- .github/workflows/proof_ci_resources/config.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/proof_ci_resources/config.yaml b/.github/workflows/proof_ci_resources/config.yaml index c87b1ab37..0b4c4c723 100644 --- a/.github/workflows/proof_ci_resources/config.yaml +++ b/.github/workflows/proof_ci_resources/config.yaml @@ -1,6 +1,6 @@ # Use exact versions (instead of "latest") so we're not broken by surprise upgrades. cadical-tag: "rel-2.1.0" # tag of latest release: https://github.com/arminbiere/cadical/releases -cbmc-version: "6.3.1" # semver of latest release: https://github.com/diffblue/cbmc/releases +cbmc-version: "6.4.0" # semver of latest release: https://github.com/diffblue/cbmc/releases cbmc-viewer-version: "3.10" # semver of latest release: https://github.com/model-checking/cbmc-viewer/releases kissat-tag: "rel-4.0.1" # tag of latest release: https://github.com/arminbiere/kissat/releases litani-version: "1.29.0" # semver of latest release: https://github.com/awslabs/aws-build-accumulator/releases