d-flex flex-column width-full">

Update to tagged build of CBMC 6.10.0

96f7137

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

CodeQL on: dynamic

Analyze (actions)

Analyze (c-cpp)

Analyze (python)

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 }}

Bench on: pull_request

matrix.target.name

matrix.target.name

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 }}

CI on: pull_request 117

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)

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 63.5K 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)

Pavona / Start EC2 instance

Pavona / Pavona ML-DSA Build Test

Pavona / Stop EC2 instance

Isabelle / compress

Isabelle / neon_ntt

Isabelle / Isabelle proofs (nix shell)

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 / 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 (x86_64, -O3 -DMLD_CONFIG_REDUCE_RAM)

Extended / Stack analysis (x86_64, -Os -DMLD_CONFIG_REDUCE_RAM)

Extended / Stack analysis (aarch64, -O3)

Extended / Stack analysis (aarch64, -Os)

Extended / Stack analysis (aarch64, -O3 -DMLD_CONFIG_REDUCE_RAM)

Extended / Stack analysis (aarch64, -Os -DMLD_CONFIG_REDUCE_RAM)

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 / Config: pct (aarch64)

Extended / Config: reduce-ram (aarch64)

Extended / Config: custom-hooks (aarch64)

Extended / Config: native-cap (aarch64)

Extended / Config: asm-fips202 (aarch64)

Extended / Config: nblocks (aarch64)

Extended / Config: reduced-api (aarch64)

Extended / Config: reduced-api-reduce-ram (aarch64)

Extended / Config: pct (x86_64)

Extended / Config: reduce-ram (x86_64)

Extended / Config: custom-hooks (x86_64)

Extended / Config: native-cap (x86_64)

Extended / Config: asm-fips202 (x86_64)

Extended / Config: nblocks (x86_64)

Extended / Config: reduced-api (x86_64)

Extended / Config: reduced-api-reduce-ram (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 (AMD EPYC 4th gen (t3a)) / Start instance (t3a.small)

Extended / Platform tests (AMD EPYC 4th gen (t3a)) / Run tests

Extended / Platform tests (AMD EPYC 4th gen (t3a)) / Stop instance (t3a.small)

Extended / Platform tests (Intel Xeon 4th gen (t3)) / Start instance (t3.small)

Extended / Platform tests (Intel Xeon 4th gen (t3)) / Run tests

Extended / Platform tests (Intel Xeon 4th gen (t3)) / Stop instance (t3.small)

Extended / Platform tests (Graviton2 (c6g.medium)) / Start instance (c6g.medium)

Extended / Platform tests (Graviton2 (c6g.medium)) / Run tests

Extended / Platform tests (Graviton2 (c6g.medium)) / Stop instance (c6g.medium)

Extended / Platform tests (Graviton3 (c7g.medium)) / Start instance (c7g.medium)

Extended / Platform tests (Graviton3 (c7g.medium)) / Run tests

Extended / Platform tests (Graviton3 (c7g.medium)) / Stop instance (c7g.medium)

Extended / Compatibility tests (debian:bullseye)

Extended / Compatibility tests (debian:bookworm)

Extended / Compatibility tests (nixos/nix:latest)

Extended / Compatibility tests (amazonlinux-2-aarch:base) / Start instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2-aarch:base) / Run tests

Extended / Compatibility tests (amazonlinux-2-aarch:base) / Stop instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2-aarch:gcc-7x) / Start instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2-aarch:gcc-7x) / Run tests

Extended / Compatibility tests (amazonlinux-2-aarch:gcc-7x) / Stop instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2-aarch:clang-7x) / Start instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2-aarch:clang-7x) / Run tests

Extended / Compatibility tests (amazonlinux-2-aarch:clang-7x) / Stop instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:base) / Start instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:base) / Run tests

Extended / Compatibility tests (amazonlinux-2023-aarch:base) / Stop instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:gcc-11x) / Start instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:gcc-11x) / Run tests

Extended / Compatibility tests (amazonlinux-2023-aarch:gcc-11x) / Stop instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:clang-15x) / Start instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:clang-15x) / Run tests

Extended / Compatibility tests (amazonlinux-2023-aarch:clang-15x) / Stop instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:clang-15x-sanitizer) / Start instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:clang-15x-sanitizer) / Run tests

Extended / Compatibility tests (amazonlinux-2023-aarch:clang-15x-sanitizer) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-22.04-aarch:gcc-12x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-22.04-aarch:gcc-12x) / Run tests

Extended / Compatibility tests (ubuntu-22.04-aarch:gcc-12x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-22.04-aarch:gcc-11x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-22.04-aarch:gcc-11x) / Run tests

Extended / Compatibility tests (ubuntu-22.04-aarch:gcc-11x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:gcc-8x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:gcc-8x) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:gcc-8x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:gcc-7x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:gcc-7x) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:gcc-7x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-9x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-9x) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-9x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-8x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-8x) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-8x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-7x-bm-framework) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-7x-bm-framework) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-7x-bm-framework) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-7x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-7x) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-7x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-10x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-10x) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-10x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-22.04-aarch:base) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-22.04-aarch:base) / Run tests

Extended / Compatibility tests (ubuntu-22.04-aarch:base) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:base) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:base) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:base) / Stop instance (t4g.small)

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 test vectors

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-DSA-44) / Start instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-44) / Run tests

CBMC / CBMC (ML-DSA-44) / Stop instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-44, REDUCE_RAM) / Start instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-44, REDUCE_RAM) / Run tests

CBMC / CBMC (ML-DSA-44, REDUCE_RAM) / Stop instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-65) / Start instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-65) / Run tests

CBMC / CBMC (ML-DSA-65) / Stop instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-65, REDUCE_RAM) / Start instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-65, REDUCE_RAM) / Run tests

CBMC / CBMC (ML-DSA-65, REDUCE_RAM) / Stop instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-87) / Start instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-87) / Run tests

CBMC / CBMC (ML-DSA-87) / Stop instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-87, REDUCE_RAM) / Start instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-87, REDUCE_RAM) / Run tests

CBMC / CBMC (ML-DSA-87, REDUCE_RAM) / Stop instance (c7g.4xlarge)

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 / Start instance (c8g.8xlarge)

SLOTHY / SLOTHY / Run tests

SLOTHY / SLOTHY / Stop instance (c8g.8xlarge)

Code scanning results

CodeQL

Select a check to view from the sidebar