CBMC: Add a second solver for 2 slow proofs

a611f76

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 3

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

CI on: pull_request 5

Base / Linting (ubuntu-latest)

Base / Linting (ubuntu-24.04-arm)

Base / Quickcheck (aarch64)

Base / Quickcheck (x86_64)

Base / Quickcheck (macos (aarch64))

Base / Quickcheck (macos (aarch64, Xcode 27))

Base / Quickcheck (macos (x86_64))

Base / Quickcheck ACVP (aarch64, v1.1.0.41)

Base / Quickcheck ACVP (aarch64, v1.1.0.42)

Base / Quickcheck ACVP (aarch64, v1.1.0.43)

Base / Quickcheck ACVP (x86_64, v1.1.0.41)

Base / Quickcheck ACVP (x86_64, v1.1.0.42)

Base / Quickcheck ACVP (x86_64, v1.1.0.43)

Base / Quickcheck bench (aarch64)

Base / Quickcheck bench (x86_64)

Base / Quickcheck bench (macos (aarch64))

Base / Quickcheck bench (macos (aarch64, Xcode 27))

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 (xcode-27)

Base / Quickcheck lib (macos-15-intel)

Base / Quickcheck lib (ubuntu-latest)

Base / Quickcheck lib (ubuntu-24.04-arm)

Base / Examples (macos-latest)

Base / Examples (xcode-27)

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 (${{ (((matrix.target.container != '') && matrix.target.container) || matrix.target.runner) }}, nix via ${{ matrix.target.install }})

HOL-Light / Determine changed files

HOL-Light / AArch64 HOL-Light bytecode check

HOL-Light / x86_64 HOL-Light bytecode check

HOL-Light / RV32IM HOL-Light bytecode check

HOL-Light / AArch64 HOL-Light interactive shell test

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

HOL-Light / x86_64 HOL-Light interactive shell test

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

HOL-Light / RV32IM HOL-Light interactive shell test

HOL-Light / RV32IM HOL Light proof for ${{ matrix.proof.name }}.S

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, xcode-27)

AWS-LC / Prefix test (Prefix+Release, xcode-27)

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

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

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)

Zephyr / Zephyr tests (mps2-an385, Cortex-M3)

Zephyr / Zephyr tests (mps2-an386, Cortex-M4)

Zephyr / Zephyr tests (mps2-an500, Cortex-M7)

Zephyr / Zephyr tests (mps2-an521, Cortex-M33)

Zephyr / Zephyr tests (mps3-an547, Cortex-M55)

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 (aarch64, Xcode 27))

Extended / Functional tests (macOS (x86_64))

Extended / Functional tests (aarch64)

Extended / Functional tests (aarch64, no Neon)

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-21, aarch64, -O0)

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

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

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

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

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

Extended / Compiler tests (zig-0.17, 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-21, x86_64, -O0)

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

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

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

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

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

Extended / Compiler tests (zig-0.17, 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-21, macos, -O0)

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

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

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

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

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

Extended / Compiler tests (zig-0.17, 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-21, aarch64, -Os)

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

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

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

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

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

Extended / Compiler tests (zig-0.17, 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-21, x86_64, -Os)

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

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

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

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

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

Extended / Compiler tests (zig-0.17, 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-21, macos, -Os)

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

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

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

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

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

Extended / Compiler tests (zig-0.17, 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-21, aarch64, -O3)

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

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

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

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

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

Extended / Compiler tests (zig-0.17, 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-21, x86_64, -O3)

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

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

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

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

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

Extended / Compiler tests (zig-0.17, 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-21, macos, -O3)

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

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

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

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

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

Extended / Compiler tests (zig-0.17, 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 / Sign-hook attempt distribution (x86_64, ML-DSA-44)

Extended / Sign-hook attempt distribution (x86_64, ML-DSA-65)

Extended / Sign-hook attempt distribution (x86_64, ML-DSA-87)

Extended / Sign-hook attempt distribution (aarch64, ML-DSA-44)

Extended / Sign-hook attempt distribution (aarch64, ML-DSA-65)

Extended / Sign-hook attempt distribution (aarch64, ML-DSA-87)

Extended / Config: pct (aarch64)

Extended / Config: signing-bound (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: signing-bound (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...

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

CBMC / CBMC (ML-DSA-44) / Start instance (c9g.4xlarge)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Constant-time / CT test valgrind-varlat_clang6 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_clang23 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_clang21 ubuntu-24.04-arm

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

Constant-time / CT test valgrind-varlat_clang23 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 / Determine changed files

SLOTHY / SLOTHY

CI Summary

Code scanning results

CodeQL

DCO / DCO succeeded Oct 29, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO

Loading

Re-running checks...