Skip to content

Faster INTT on AArch64 by more efficient reduction #301

Faster INTT on AArch64 by more efficient reduction

Faster INTT on AArch64 by more efficient reduction #301

Triggered via pull request March 12, 2025 09:25
Status Success
Total duration 22m 12s
Artifacts

all.yml

on: pull_request
Matrix: Base / Examples
Matrix: Base / Linting
Matrix: Base / quickcheck-c90
Matrix: Base / Quickcheck lib
Matrix: Base / quickcheck-windows-mingw-w64
Matrix: Base / quickcheck-windows
Matrix: Base / quickcheck
Matrix: Base / quickcheck_bench
Matrix: Base / scan-build
Matrix: Base / simpasm
Base  /  lint-markdown-link
46s
Base / lint-markdown-link
CBMC  /  ...  /  Run tests
6m 3s
CBMC / CBMC (ML-KEM-512) / Run tests
CBMC  /  ...  /  Run tests
7m 32s
CBMC / CBMC (ML-KEM-768) / Run tests
CBMC  /  ...  /  Run tests
7m 3s
CBMC / CBMC (ML-KEM-1024) / Run tests
CBMC  /  ...  /  Stop instance (c7g.4xlarge)
5s
CBMC / CBMC (ML-KEM-512) / Stop instance (c7g.4xlarge)
CBMC  /  ...  /  Stop instance (c7g.4xlarge)
4s
CBMC / CBMC (ML-KEM-768) / Stop instance (c7g.4xlarge)
CBMC  /  ...  /  Stop instance (c7g.4xlarge)
4s
CBMC / CBMC (ML-KEM-1024) / Stop instance (c7g.4xlarge)
Fit to window
Zoom out
Zoom in

Annotations

104 errors
Extended / Compiler tests (gcc-4.8, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-4.8, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-4.8, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-7, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-7, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-7, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-4.9, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-4.9, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-4.9, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-4.9, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-4.9, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-4.9, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-4.8, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-4.8, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-4.8, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-7, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-7, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-7, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-11, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-11, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-11, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-11, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-13, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-13, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-13, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-13, aarch64)
Process completed with exit code 2.
Extended / Functional tests (aarch64)
Process completed with exit code 2.
Extended / Functional tests (x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-11, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-11, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-11, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-11, x86_64)
Process completed with exit code 2.
Extended / Functional tests (mac)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-13, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-13, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-13, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-13, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-11, macos)
Process completed with exit code 2.
Extended / Compiler tests (gcc-11, macos)
Process completed with exit code 2.
Extended / Compiler tests (gcc-11, macos)
Process completed with exit code 2.
Extended / Compiler tests (gcc-11, macos)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, aarch64)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, macos)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, macos)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, macos)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, macos)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, macos)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, macos)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, macos)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, macos)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, macos)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, macos)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, macos)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, macos)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, macos)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, macos)
Process completed with exit code 2.
Extended / Compiler tests (gcc-14, macos)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (clang-18, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (clang-19, x86_64)
Process completed with exit code 2.
Extended / Compiler tests (gcc-13, macos)
Process completed with exit code 2.
Extended / Compiler tests (gcc-13, macos)
Process completed with exit code 2.
Extended / Compiler tests (gcc-13, macos)
Process completed with exit code 2.
Extended / Compiler tests (gcc-13, macos)
Process completed with exit code 2.
Extended / Non-standard configurations (false, pqcp-x64, ubuntu-latest (x86_64))
Process completed with exit code 2.
Extended / Non-standard configurations (false, pqcp-x64, ubuntu-latest (x86_64))
Process completed with exit code 2.
Extended / Non-standard configurations (false, pqcp-x64, ubuntu-latest (x86_64))
Process completed with exit code 2.
Extended / Non-standard configurations (false, pqcp-x64, ubuntu-latest (x86_64))
Process completed with exit code 2.
Extended / Non-standard configurations (false, pqcp-x64, ubuntu-latest (x86_64))
Process completed with exit code 2.
Extended / Functional tests (mac)
Process completed with exit code 2.
CBMC / CBMC (ML-KEM-512) / Run tests
Process completed with exit code 2.
CBMC / CBMC (ML-KEM-1024) / Run tests
Process completed with exit code 2.
CBMC / CBMC (ML-KEM-768) / Run tests
Process completed with exit code 2.