d-flex flex-column width-full">

Add CBMC target platform support

bbad39e

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)

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 ntt_aarch64_asm.S

AArch64 HOL Light proof for intt_aarch64_asm.S

AArch64 HOL Light proof for pointwise_montgomery_aarch64_asm.S

AArch64 HOL Light proof for mld_polyvecl_pointwise_acc_montgomery_l4_aarch64_asm.S

AArch64 HOL Light proof for mld_polyvecl_pointwise_acc_montgomery_l5_aarch64_asm.S

AArch64 HOL Light proof for mld_polyvecl_pointwise_acc_montgomery_l7_aarch64_asm.S

AArch64 HOL Light proof for poly_caddq_aarch64_asm.S

AArch64 HOL Light proof for poly_chknorm_aarch64_asm.S

AArch64 HOL Light proof for poly_use_hint_32_aarch64_asm.S

AArch64 HOL Light proof for poly_use_hint_88_aarch64_asm.S

AArch64 HOL Light proof for rej_uniform_eta2_aarch64_asm.S

AArch64 HOL Light proof for rej_uniform_eta4_aarch64_asm.S

AArch64 HOL Light proof for keccak_f1600_x1_scalar_aarch64_asm.S

AArch64 HOL Light proof for keccak_f1600_x1_v84a_aarch64_asm.S

AArch64 HOL Light proof for keccak_f1600_x2_v84a_aarch64_asm.S

AArch64 HOL Light proof for keccak_f1600_x4_v8a_scalar_hybrid_aarch64_asm.S

AArch64 HOL Light proof for keccak_f1600_x4_v8a_v84a_scalar_hybrid_aarch64_asm.S

AArch64 HOL Light proof for polyz_unpack_17_aarch64_asm.S

AArch64 HOL Light proof for polyz_unpack_19_aarch64_asm.S

AArch64 HOL Light proof for poly_decompose_32_aarch64_asm.S

AArch64 HOL Light proof for poly_decompose_88_aarch64_asm.S

AArch64 HOL Light proof for rej_uniform_aarch64_asm.S

x86_64 HOL-Light interactive shell test

x86_64 HOL Light proof for poly_caddq_avx2_asm.S

x86_64 HOL Light proof for poly_chknorm_avx2_asm.S

x86_64 HOL Light proof for polyz_unpack_17_avx2_asm.S

x86_64 HOL Light proof for polyz_unpack_19_avx2_asm.S

x86_64 HOL Light proof for ntt_avx2_asm.S

x86_64 HOL Light proof for intt_avx2_asm.S

x86_64 HOL Light proof for nttunpack_avx2_asm.S

x86_64 HOL Light proof for pointwise_avx2_asm.S

x86_64 HOL Light proof for pointwise_acc_l4_avx2_asm.S

x86_64 HOL Light proof for pointwise_acc_l5_avx2_asm.S

x86_64 HOL Light proof for pointwise_acc_l7_avx2_asm.S

x86_64 HOL Light proof for keccak_f1600_x4_avx2_asm.S

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 31

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

libOQS

AWS-LC

Baremetal

Pavona

Isabelle

Extended

CBMC

Constant-time

SLOTHY

Code scanning results

CodeQL

Select a check to view from the sidebar