CBMC: Add and prove x86_64 backend contracts #2856
Triggered via pull request
December 31, 2025 07:38
willieyz
Status
Success
Total duration
41m 58s
Artifacts
–
all.yml
on: pull_request
Matrix: Base / Examples
Matrix: Base / Linting
Matrix: Base / quickcheck-acvp
Matrix: Base / quickcheck-c90
Matrix: Base / Quickcheck lib
Matrix: Base / quickcheck-windows-mingw-w64
Matrix: Base / quickcheck-windows
Matrix: Base / quickcheck
Matrix: Base / quickcheck_bench
Matrix: Base / scan-build
Matrix: Base / simpasm
Base
/
x86_64 Intel syntax
2m 22s
Nix
/
check_modified_files
33s
Lint Markdown
/
lint-markdown-link
21s
Matrix: AWS-LC (v1.64.0) / aws_lc_integration_fips
Matrix: AWS-LC (v1.64.0) / posix
Matrix: AWS-LC (v1.64.0) / prefix
Matrix: AWS-LC (HEAD) / aws_lc_integration_fips
Matrix: AWS-LC (HEAD) / posix
Matrix: AWS-LC (HEAD) / prefix
Matrix: Baremetal / baremetal_tests
Matrix: libOQS / oqs_basic_build
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
CBMC
/
...
/
Start instance (r8g.xlarge)
1m 3s
CBMC
/
...
/
Start instance (r8g.xlarge)
1m 2s
CBMC
/
...
/
Start instance (r8g.xlarge)
1m 6s
Extended
/
Functional tests (ppc64le/POWER10, native)
2m 13s
Matrix: Extended / backend_tests
Matrix: Extended / build_kat
Matrix: Extended / Check API consistency
Matrix: Extended / check-cf-protections
Matrix: Extended / Check autogenerated files
Matrix: Extended / compatibility_tests
Matrix: Extended / compiler_tests
Matrix: Extended / Non-standard configurations
Matrix: Extended / ec2_compatibilitytests
Matrix: Extended / ec2_functests
Matrix: Extended / stack_analysis
Matrix: Constant-time / check-ct-varlat
OpenTitan
/
Stop EC2 instance
8s
CBMC
/
...
/
Stop instance (r8g.xlarge)
5s
CBMC
/
...
/
Stop instance (r8g.xlarge)
5s
CBMC
/
...
/
Stop instance (r8g.xlarge)
8s
SLOTHY
/
...
/
Stop instance (c8g.8xlarge)
5s