d-flex flex-column width-full">

Test CBMC target models in CI

749fddd

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

DCO

DCO

DCO-2

DCO

Legacy compilers on: pull_request

Compiler tests (${{ matrix.compiler.family }}-${{ matrix.compiler.version }}, ${{ matrix.target.name }}, ${{ matrix.cflags }})

Compiler tests (${{ matrix.compiler.family }}-${{ matrix.compiler.version }}, macos, ${{ matrix.cflags }})

Compiler tests (Mingw-w64 ${{ matrix.mingw-version }}, x86_64)

Constant-time test ${{ matrix.compiler.family }}-${{ matrix.compiler.version }} ${{ matrix.system }}

HOL-Light on: pull_request

AArch64 HOL-Light bytecode check

x86_64 HOL-Light bytecode check

AArch64 HOL-Light interactive shell test

AArch64 HOL Light proof for ${{ matrix.proof.name }}.S

x86_64 HOL-Light interactive shell test

x86_64 HOL Light proof for ${{ matrix.proof.name }}.S

CI on: pull_request 115

Base / Linting (ubuntu-latest)

Base / Linting (ubuntu-24.04-arm)

Base / Quickcheck (aarch64)

Base / Quickcheck (x86_64)

Base / Quickcheck (macos (aarch64))

Base / Quickcheck (macos (x86_64))

Base / Quickcheck ACVP (aarch64, v1.1.0.40)

Base / Quickcheck ACVP (aarch64, v1.1.0.41)

Base / Quickcheck ACVP (aarch64, v1.1.0.42)

Base / Quickcheck ACVP (x86_64, v1.1.0.40)

Base / Quickcheck ACVP (x86_64, v1.1.0.41)

Base / Quickcheck ACVP (x86_64, v1.1.0.42)

Base / Quickcheck bench (aarch64)

Base / Quickcheck bench (x86_64)

Base / Quickcheck bench (macos (aarch64))

Base / Quickcheck bench (macos (x86_64))

Base / Quickcheck C90 (aarch64)

Base / Quickcheck C90 (x86_64)

Base / Quickcheck windows-2025

Base / Quickcheck windows-2022

Base / Quickcheck (Mingw-w64 5.4.0)

Base / Quickcheck (Mingw-w64 13.2.0)

Base / Quickcheck (Mingw-w64 14.2.0)

Base / Quickcheck (Mingw-w64 15.2.0)

Base / Quickcheck lib (macos-latest)

Base / Quickcheck lib (macos-15-intel)

Base / Quickcheck lib (ubuntu-latest)

Base / Quickcheck lib (ubuntu-24.04-arm)

Base / Examples (macos-latest)

Base / Examples (macos-15-intel)

Base / Examples (ubuntu-latest)

Base / Examples (ubuntu-24.04-arm)

Base / AArch64 dev backend (Clean, Simplified)

Base / AArch64 dev backend (Clean, Unmodified)

Base / AArch64 dev backend (Optimized, Simplified)

Base / AArch64 dev backend (Optimized, Unmodified)

Base / x86_64 Intel syntax

Base / scan-build (aarch64)

Base / scan-build (x86_64)

Base / symlink-check

Lint Markdown / lint-markdown-link

Nix / check_modified_files

Nix / build nix cache (${{ matrix.runner }})

Nix / nix setup test (nixos/nix:2.18.0, nix via native)

Nix / nix setup test (ubuntu-24.04, nix via apt)

Nix / nix setup test (macos-latest, nix via installer)

Nix / nix setup test (ubuntu-22.04, nix via installer)

Nix / nix setup test (ubuntu-24.04, nix via installer)

RISC-V / Quickcheck (riscv)

libOQS / Build (Haswell, ubuntu-latest)

libOQS / Build (C, ubuntu-latest)

libOQS / Build (Auto, ubuntu-24.04-arm)

libOQS / Build (C, ubuntu-24.04-arm)

Pavona / Start EC2 instance

Pavona / Pavona ML-KEM Test (verilator)

Pavona / Stop EC2 instance

AWS-LC / AWS-LC FIPS test (ubuntu-latest, FIPS=0)

AWS-LC / AWS-LC FIPS test (ubuntu-latest, FIPS=1)

AWS-LC / AWS-LC FIPS test (ubuntu-24.04-arm, FIPS=0)

AWS-LC / AWS-LC FIPS test (ubuntu-24.04-arm, FIPS=1)

AWS-LC / Posix test (Debug mode, ubuntu-latest)

AWS-LC / Posix test (Release mode, ubuntu-latest)

AWS-LC / Posix test (Small compilation, ubuntu-latest)

AWS-LC / Posix test (No-ASM, ubuntu-latest)

AWS-LC / Posix test (Shared, ubuntu-latest)

AWS-LC / Posix test (Pre-Gen ASM, ubuntu-latest)

AWS-LC / Posix test (DIT, ubuntu-latest)

AWS-LC / Posix test (Debug mode, ubuntu-24.04-arm)

AWS-LC / Posix test (Release mode, ubuntu-24.04-arm)

AWS-LC / Posix test (Small compilation, ubuntu-24.04-arm)

AWS-LC / Posix test (No-ASM, ubuntu-24.04-arm)

AWS-LC / Posix test (Shared, ubuntu-24.04-arm)

AWS-LC / Posix test (Pre-Gen ASM, ubuntu-24.04-arm)

AWS-LC / Posix test (DIT, ubuntu-24.04-arm)

AWS-LC / Prefix test (Prefix+Debug, ubuntu-latest)

AWS-LC / Prefix test (Prefix+Release, ubuntu-latest)

AWS-LC / Prefix test (Prefix+Debug, ubuntu-24.04-arm)

AWS-LC / Prefix test (Prefix+Release, ubuntu-24.04-arm)

AWS-LC / Prefix test (Prefix+Debug, macos-latest)

AWS-LC / Prefix test (Prefix+Release, macos-latest)

AWS-LC / Prefix test (Prefix+Debug, macos-15-intel)

AWS-LC / Prefix test (Prefix+Release, macos-15-intel)

Baremetal / Baremetal tests (M55-AN547)

Baremetal / Baremetal tests (M33-AN524)

Baremetal / Baremetal tests (AVR ATmega128RFR2 (modified for 32K RAM))

Baremetal / AArch64-virt no-MMU (x1_scalar)

Baremetal / AArch64-virt no-MMU (x1_v84a)

Baremetal / AArch64-virt no-MMU (x2_v84a)

Baremetal / AArch64-virt no-MMU (x4_v8a_scalar)

Baremetal / AArch64-virt no-MMU (x4_v8a_v84a_scalar)

Extended / Functional tests (macOS (aarch64))

Extended / Functional tests (macOS (x86_64))

Extended / Functional tests (aarch64)

Extended / Functional tests (x86_64, cross)

Extended / Functional tests (x86_64, cross, no AVX2)

Extended / Functional tests (riscv64, cross, VLEN=128)

Extended / Functional tests (riscv64, cross, VLEN=256)

Extended / Functional tests (riscv64, cross, VLEN=512)

Extended / Functional tests (riscv64, cross, VLEN=1024)

Extended / Functional tests (riscv32, cross)

Extended / Functional tests (ppc64le, cross)

Extended / Functional tests (x86_64)

Extended / Functional tests (aarch64, cross)

Extended / Functional tests (aarch64_be, cross)

Extended / Functional tests (ppc64le/POWER10, native)

Extended / AArch64 FIPS202 backends (x1_scalar)

Extended / AArch64 FIPS202 backends (x1_v84a)

Extended / AArch64 FIPS202 backends (x2_v84a)

Extended / AArch64 FIPS202 backends (x4_v8a_scalar)

Extended / AArch64 FIPS202 backends (x4_v8a_v84a_scalar)

Extended / Compiler tests (gcc-4.8, aarch64, -O0)

Extended / Compiler tests (gcc-14, aarch64, -O0)

Extended / Compiler tests (gcc-15, aarch64, -O0)

Extended / Compiler tests (gcc-16, aarch64, -O0)

Extended / Compiler tests (clang-6, aarch64, -O0)

Extended / Compiler tests (clang-20, aarch64, -O0)

Extended / Compiler tests (clang-21, aarch64, -O0)

Extended / Compiler tests (clang-22, aarch64, -O0)

Extended / Compiler tests (zig-0.10, aarch64, -O0)

Extended / Compiler tests (zig-0.14, aarch64, -O0)

Extended / Compiler tests (zig-0.15, aarch64, -O0)

Extended / Compiler tests (zig-0.16, aarch64, -O0)

Extended / Compiler tests (gcc-4.8, x86_64, -O0)

Extended / Compiler tests (gcc-14, x86_64, -O0)

Extended / Compiler tests (gcc-15, x86_64, -O0)

Extended / Compiler tests (gcc-16, x86_64, -O0)

Extended / Compiler tests (clang-6, x86_64, -O0)

Extended / Compiler tests (clang-20, x86_64, -O0)

Extended / Compiler tests (clang-21, x86_64, -O0)

Extended / Compiler tests (clang-22, x86_64, -O0)

Extended / Compiler tests (zig-0.10, x86_64, -O0)

Extended / Compiler tests (zig-0.14, x86_64, -O0)

Extended / Compiler tests (zig-0.15, x86_64, -O0)

Extended / Compiler tests (zig-0.16, x86_64, -O0)

Extended / Compiler tests (gcc-4.8, macos, -O0)

Extended / Compiler tests (gcc-14, macos, -O0)

Extended / Compiler tests (gcc-15, macos, -O0)

Extended / Compiler tests (gcc-16, macos, -O0)

Extended / Compiler tests (clang-6, macos, -O0)

Extended / Compiler tests (clang-20, macos, -O0)

Extended / Compiler tests (clang-21, macos, -O0)

Extended / Compiler tests (clang-22, macos, -O0)

Extended / Compiler tests (zig-0.10, macos, -O0)

Extended / Compiler tests (zig-0.14, macos, -O0)

Extended / Compiler tests (zig-0.15, macos, -O0)

Extended / Compiler tests (zig-0.16, macos, -O0)

Extended / Compiler tests (gcc-4.8, aarch64, -Os)

Extended / Compiler tests (gcc-14, aarch64, -Os)

Extended / Compiler tests (gcc-15, aarch64, -Os)

Extended / Compiler tests (gcc-16, aarch64, -Os)

Extended / Compiler tests (clang-6, aarch64, -Os)

Extended / Compiler tests (clang-20, aarch64, -Os)

Extended / Compiler tests (clang-21, aarch64, -Os)

Extended / Compiler tests (clang-22, aarch64, -Os)

Extended / Compiler tests (zig-0.10, aarch64, -Os)

Extended / Compiler tests (zig-0.14, aarch64, -Os)

Extended / Compiler tests (zig-0.15, aarch64, -Os)

Extended / Compiler tests (zig-0.16, aarch64, -Os)

Extended / Compiler tests (gcc-4.8, x86_64, -Os)

Extended / Compiler tests (gcc-14, x86_64, -Os)

Extended / Compiler tests (gcc-15, x86_64, -Os)

Extended / Compiler tests (gcc-16, x86_64, -Os)

Extended / Compiler tests (clang-6, x86_64, -Os)

Extended / Compiler tests (clang-20, x86_64, -Os)

Extended / Compiler tests (clang-21, x86_64, -Os)

Extended / Compiler tests (clang-22, x86_64, -Os)

Extended / Compiler tests (zig-0.10, x86_64, -Os)

Extended / Compiler tests (zig-0.14, x86_64, -Os)

Extended / Compiler tests (zig-0.15, x86_64, -Os)

Extended / Compiler tests (zig-0.16, x86_64, -Os)

Extended / Compiler tests (gcc-4.8, macos, -Os)

Extended / Compiler tests (gcc-14, macos, -Os)

Extended / Compiler tests (gcc-15, macos, -Os)

Extended / Compiler tests (gcc-16, macos, -Os)

Extended / Compiler tests (clang-6, macos, -Os)

Extended / Compiler tests (clang-20, macos, -Os)

Extended / Compiler tests (clang-21, macos, -Os)

Extended / Compiler tests (clang-22, macos, -Os)

Extended / Compiler tests (zig-0.10, macos, -Os)

Extended / Compiler tests (zig-0.14, macos, -Os)

Extended / Compiler tests (zig-0.15, macos, -Os)

Extended / Compiler tests (zig-0.16, macos, -Os)

Extended / Compiler tests (gcc-4.8, aarch64, -O3)

Extended / Compiler tests (gcc-14, aarch64, -O3)

Extended / Compiler tests (gcc-15, aarch64, -O3)

Extended / Compiler tests (gcc-16, aarch64, -O3)

Extended / Compiler tests (clang-6, aarch64, -O3)

Extended / Compiler tests (clang-20, aarch64, -O3)

Extended / Compiler tests (clang-21, aarch64, -O3)

Extended / Compiler tests (clang-22, aarch64, -O3)

Extended / Compiler tests (zig-0.10, aarch64, -O3)

Extended / Compiler tests (zig-0.14, aarch64, -O3)

Extended / Compiler tests (zig-0.15, aarch64, -O3)

Extended / Compiler tests (zig-0.16, aarch64, -O3)

Extended / Compiler tests (gcc-4.8, x86_64, -O3)

Extended / Compiler tests (gcc-14, x86_64, -O3)

Extended / Compiler tests (gcc-15, x86_64, -O3)

Extended / Compiler tests (gcc-16, x86_64, -O3)

Extended / Compiler tests (clang-6, x86_64, -O3)

Extended / Compiler tests (clang-20, x86_64, -O3)

Extended / Compiler tests (clang-21, x86_64, -O3)

Extended / Compiler tests (clang-22, x86_64, -O3)

Extended / Compiler tests (zig-0.10, x86_64, -O3)

Extended / Compiler tests (zig-0.14, x86_64, -O3)

Extended / Compiler tests (zig-0.15, x86_64, -O3)

Extended / Compiler tests (zig-0.16, x86_64, -O3)

Extended / Compiler tests (gcc-4.8, macos, -O3)

Extended / Compiler tests (gcc-14, macos, -O3)

Extended / Compiler tests (gcc-15, macos, -O3)

Extended / Compiler tests (gcc-16, macos, -O3)

Extended / Compiler tests (clang-6, macos, -O3)

Extended / Compiler tests (clang-20, macos, -O3)

Extended / Compiler tests (clang-21, macos, -O3)

Extended / Compiler tests (clang-22, macos, -O3)

Extended / Compiler tests (zig-0.10, macos, -O3)

Extended / Compiler tests (zig-0.14, macos, -O3)

Extended / Compiler tests (zig-0.15, macos, -O3)

Extended / Compiler tests (zig-0.16, macos, -O3)

Extended / Stack analysis (x86_64, -O3)

Extended / Stack analysis (x86_64, -Os)

Extended / Stack analysis (aarch64, -O3)

Extended / Stack analysis (aarch64, -Os)

Extended / Unit tests + valgrind (x86_64, -O3)

Extended / Unit tests + valgrind (x86_64, -Os)

Extended / Unit tests + valgrind (aarch64, -O3)

Extended / Unit tests + valgrind (aarch64, -Os)

Extended / Non-standard configurations (false, ubuntu-24.04-arm, ubuntu-latest (aarch64))

Extended / Non-standard configurations (false, ubuntu-latest, ubuntu-latest (x86_64))

Extended / Test control-flow protections (gcc-14, x86_64)

Extended / Test control-flow protections (gcc-15, x86_64)

Extended / Test control-flow protections (clang-19, x86_64)

Extended / Check API consistency (false, ubuntu-24.04-arm, aarch64)

Extended / Check API consistency (false, ubuntu-latest, x86_64)

Extended / Platform tests (${{ matrix.target.name }})

Extended / Compatibility tests (debian:bullseye)

Extended / Compatibility tests (debian:bookworm)

Extended / Compatibility tests (nixos/nix:latest)

Extended / Compatibility tests (${{ matrix.container.id }})

Extended / Check autogenerated files (macos-latest, cross-autogen, true, --force-cross)

Extended / Check autogenerated files (ubuntu-latest, cross-autogen, true, --force-cross)

Extended / Check autogenerated files (ubuntu-24.04-arm, cross-autogen, true, --force-cross)

Extended / Check object code in HOL-Light proofs (macos-latest, true, hol_light-cross-x86_64, --force-cross ...

Extended / Check object code in HOL-Light proofs (ubuntu-latest, hol_light-cross-aarch64, true, --force-cros...

Extended / Check object code in HOL-Light proofs (ubuntu-24.04-arm, hol_light-cross-x86_64, true, --force-cr...

CBMC / CBMC (ML-KEM-512)

CBMC / CBMC (ML-KEM-768)

CBMC / CBMC (ML-KEM-1024)

CBMC / CBMC target model (${{ matrix.cbmc_target }})

Constant-time / CT test valgrind-varlat_clang6 ubuntu-latest

Constant-time / CT test valgrind-varlat_clang20 ubuntu-latest

Constant-time / CT test valgrind-varlat_clang21 ubuntu-latest

Constant-time / CT test valgrind-varlat_clang22 ubuntu-latest

Constant-time / CT test valgrind-varlat_gcc48 ubuntu-latest

Constant-time / CT test valgrind-varlat_gcc14 ubuntu-latest

Constant-time / CT test valgrind-varlat_gcc15 ubuntu-latest

Constant-time / CT test valgrind-varlat_gcc16 ubuntu-latest

Constant-time / CT test valgrind-varlat_clang6 ubuntu-24.04-arm

Constant-time / CT test valgrind-varlat_clang20 ubuntu-24.04-arm

Constant-time / CT test valgrind-varlat_clang21 ubuntu-24.04-arm

Constant-time / CT test valgrind-varlat_clang22 ubuntu-24.04-arm

Constant-time / CT test valgrind-varlat_gcc48 ubuntu-24.04-arm

Constant-time / CT test valgrind-varlat_gcc14 ubuntu-24.04-arm

Constant-time / CT test valgrind-varlat_gcc15 ubuntu-24.04-arm

Constant-time / CT test valgrind-varlat_gcc16 ubuntu-24.04-arm

SLOTHY / SLOTHY

DCO / DCO succeeded Jun 26, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO

Loading

Re-running checks...