Skip to content
CI

CBMC: Add prove and spec for adrs_set_hash_address #74

Sign in to view logs

CBMC: Add prove and spec for adrs_set_hash_address

CBMC: Add prove and spec for adrs_set_hash_address #74

Triggered via pull request August 15, 2025 12:55
@h2parsonh2parson
synchronize #32
h2parson:set_adrs
Status Success
Total duration 29m 21s
Artifacts –

all.yml

on: pull_request
Matrix: Base / quickcheck-c90
Matrix: Base / quickcheck
Nix  /  check_modified_files
5s
Nix / check_modified_files
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
CBMC  /  CBMC
2m 14s
CBMC / CBMC
Matrix: Extended / compiler_tests
Fit to window
Zoom out
Zoom in

Annotations

14 notices
Base / Quickcheck (macos (aarch64), ACVP v1.1.0.40)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Base / Quickcheck (macos (aarch64), ACVP v1.1.0.39)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-20, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-19, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-18, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-19, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-20, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-18, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-11, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-14, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-14, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-13, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-11, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-13, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520