Skip to content
Constant-time tests

Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light #175

Sign in to view logs

Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light

Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light #175

Triggered via pull request January 28, 2025 09:44
@hanno-beckerhanno-becker
synchronize #662
hol_light
Status Success
Total duration 27m 36s
Artifacts –

ct-tests.yml

on: pull_request
Matrix: check-ct-varlat
Matrix: check-ct
Fit to window
Zoom out
Zoom in

Annotations

19 warnings
CT test ci_clang14 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test ci_clang15 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test (Variable-latency instructions) ci_valgrind-varlat_clang15 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test (Variable-latency instructions) ci_valgrind-varlat_clang16 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test ci_clang17 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test (Variable-latency instructions) ci_valgrind-varlat_clang17 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test ci_gcc49 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test (Variable-latency instructions) ci_valgrind-varlat_gcc48 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test (Variable-latency instructions) ci_valgrind-varlat_gcc49 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test (Variable-latency instructions) ci_valgrind-varlat_clang18 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test ci_clang19 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test ci_gcc7 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test (Variable-latency instructions) ci_valgrind-varlat_gcc7 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test (Variable-latency instructions) ci_valgrind-varlat_gcc11 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test ci_gcc11 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test ci_gcc12 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test ci_gcc13 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test (Variable-latency instructions) ci_valgrind-varlat_gcc13 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CT test (Variable-latency instructions) ci_valgrind-varlat_gcc14 ubuntu-latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636