Add aarch64 constant-time (f_events) proof for rej_uniform_eta2

641f7eb

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

CI on: pull_request 11

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.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 (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 (${{ (((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 / 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

RISC-V

libOQS

AWS-LC

Baremetal

Zephyr

Pavona

Isabelle

Extended

CBMC

Constant-time

SLOTHY

CI Summary

DCO / DCO succeeded Aug 18, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO

Loading

Re-running checks...