d-flex flex-column width-full">

dleq: Apply review feedback

45911b2

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

CI on: pull_request

Build x64 Docker image

Build arm64 Docker image

x86_64: macOS Sequoia, Valgrind (int64, yes, yes, yes, yes, yes, yes, yes)

x86_64: macOS Sequoia, Valgrind (int128_struct, 2, 4)

x86_64: macOS Sequoia, Valgrind (int128, yes, yes, yes, yes, yes, yes)

x86_64: macOS Sequoia, Valgrind (int128, yes)

x86_64: macOS Sequoia, Valgrind (int128, yes, yes, yes, yes, yes, yes, yes)

x86_64: macOS Sequoia, Valgrind (int128, yes, yes, yes, yes, yes, yes, yes, gcc)

x86_64: macOS Sequoia, Valgrind (int128, yes, yes, yes, yes, yes, yes, yes, valgrind --error-exit...

x86_64: macOS Sequoia, Valgrind (int128, yes, yes, yes, yes, yes, yes, yes, gcc, valgrind --error...

x86_64: macOS Sequoia, Valgrind (int128, yes, yes, yes, yes, yes, yes, yes, -DVERIFY, no)

x86_64: macOS Sequoia, Valgrind (distcheck)

ARM64: macOS Sonoma (int64, yes, yes, yes, yes, yes, yes, yes)

ARM64: macOS Sonoma (int128_struct, 2, 4)

ARM64: macOS Sonoma (int128, yes, yes, yes, yes, yes, yes)

ARM64: macOS Sonoma (int128, yes)

ARM64: macOS Sonoma (int128, yes, yes, yes, yes, yes, yes, yes)

ARM64: macOS Sonoma (int128, yes, yes, yes, yes, yes, yes, yes, gcc)

ARM64: macOS Sonoma (int128, yes, yes, yes, yes, yes, yes, yes, -DVERIFY)

ARM64: macOS Sonoma (distcheck)

x64 (MSVC): Windows (VS 2022, shared)

x64 (MSVC): Windows (VS 2022, static)

x64 (MSVC): Windows (VS 2022, int128_struct)

x64 (MSVC): Windows (VS 2022, int128_struct with __(u)mulh)

x86 (MSVC): Windows (VS 2022)

x64 (clang-cl): Windows (VS 2022, shared)

x64 (clang-cl): Windows (VS 2022, static)

x64 (clang-cl): Windows (VS 2022, int128_struct)

x64 (clang-cl): Windows (VS 2022, int128_struct with __(u)mulh)

x64 (MSVC): C++ (public headers)

SageMath prover

release

x86_64: Linux (Debian stable) (int64, yes, gcc)

x86_64: Linux (Debian stable) (int64, yes, clang)

x86_64: Linux (Debian stable) (int64, yes, gcc-snapshot)

x86_64: Linux (Debian stable) (int64, yes, clang-snapshot)

x86_64: Linux (Debian stable) (int64, yes, yes, yes, yes, yes, yes, gcc)

x86_64: Linux (Debian stable) (int64, yes, yes, yes, yes, yes, yes, clang)

x86_64: Linux (Debian stable) (int64, yes, yes, yes, yes, yes, yes, gcc-snapshot)

x86_64: Linux (Debian stable) (int64, yes, yes, yes, yes, yes, yes, clang-snapshot)

x86_64: Linux (Debian stable) (int128, gcc)

x86_64: Linux (Debian stable) (int128, clang)

x86_64: Linux (Debian stable) (int128, gcc-snapshot)

x86_64: Linux (Debian stable) (int128, clang-snapshot)

x86_64: Linux (Debian stable) (int128_struct, yes, gcc)

x86_64: Linux (Debian stable) (int128_struct, yes, clang)

x86_64: Linux (Debian stable) (int128_struct, yes, gcc-snapshot)

x86_64: Linux (Debian stable) (int128_struct, yes, clang-snapshot)

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, yes, gcc)

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, yes, clang)

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, yes, gcc-snapshot)

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, yes, clang-snapshot)

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, gcc)

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, clang)

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, gcc-snapshot)

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, clang-snapshot)

x86_64: Linux (Debian stable) (int128, x86_64, yes, gcc)

x86_64: Linux (Debian stable) (int128, x86_64, yes, clang)

x86_64: Linux (Debian stable) (int128, x86_64, yes, gcc-snapshot)

x86_64: Linux (Debian stable) (int128, x86_64, yes, clang-snapshot)

x86_64: Linux (Debian stable) (yes, yes, yes, yes, yes, gcc)

x86_64: Linux (Debian stable) (yes, yes, yes, yes, yes, clang)

x86_64: Linux (Debian stable) (yes, yes, yes, yes, yes, gcc-snapshot)

x86_64: Linux (Debian stable) (yes, yes, yes, yes, yes, clang-snapshot)

x86_64: Linux (Debian stable) (no, yes, yes, yes, yes, yes, yes, -DVERIFY, gcc)

x86_64: Linux (Debian stable) (no, yes, yes, yes, yes, yes, yes, -DVERIFY, clang)

x86_64: Linux (Debian stable) (no, yes, yes, yes, yes, yes, yes, -DVERIFY, gcc-snapshot)

x86_64: Linux (Debian stable) (no, yes, yes, yes, yes, yes, yes, -DVERIFY, clang-snapshot)

x86_64: Linux (Debian stable) (distcheck, no, no, no, gcc)

x86_64: Linux (Debian stable) (distcheck, no, no, no, clang)

x86_64: Linux (Debian stable) (distcheck, no, no, no, gcc-snapshot)

x86_64: Linux (Debian stable) (distcheck, no, no, no, clang-snapshot)

x86_64: Linux (Debian stable) (-DDETERMINISTIC, gcc)

x86_64: Linux (Debian stable) (-DDETERMINISTIC, clang)

x86_64: Linux (Debian stable) (-DDETERMINISTIC, gcc-snapshot)

x86_64: Linux (Debian stable) (-DDETERMINISTIC, clang-snapshot)

x86_64: Linux (Debian stable) (-O0, no, gcc)

x86_64: Linux (Debian stable) (-O0, no, clang)

x86_64: Linux (Debian stable) (-O0, no, gcc-snapshot)

x86_64: Linux (Debian stable) (-O0, no, clang-snapshot)

x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, yes, yes, yes, gcc)

x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, yes, yes, yes, clang)

x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, yes, yes, yes, gcc-snapshot)

x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, yes, yes, yes, clang-snapshot)

x86_64: Linux (Debian stable) (2, 2, gcc)

x86_64: Linux (Debian stable) (2, 2, clang)

x86_64: Linux (Debian stable) (2, 2, gcc-snapshot)

x86_64: Linux (Debian stable) (2, 2, clang-snapshot)

x86_64: Linux (Debian stable) (86, 4, gcc)

x86_64: Linux (Debian stable) (86, 4, clang)

x86_64: Linux (Debian stable) (86, 4, gcc-snapshot)

x86_64: Linux (Debian stable) (86, 4, clang-snapshot)

i686: Linux (Debian stable) (i686-linux-gnu-gcc)

i686: Linux (Debian stable) (clang --target=i686-pc-linux-gnu -isystem /usr/i686-linux-gnu/include)

s390x (big-endian): Linux (Debian stable, QEMU)

ARM32: Linux (Debian stable, QEMU)

ARM32: Linux (Debian stable, QEMU) (yes, arm32)

arm64: Linux (Debian stable) (gcc)

arm64: Linux (Debian stable) (clang)

arm64: Linux (Debian stable) (gcc-snapshot)

arm64: Linux (Debian stable) (clang-snapshot)

ppc64le: Linux (Debian stable, QEMU)

Valgrind x64 (memcheck)

Valgrind i686 (memcheck)

Valgrind arm64 (memcheck)

Valgrind x64 (memcheck)

Valgrind i686 (memcheck)

Valgrind arm64 (memcheck)

UBSan, ASan, LSan (clang, auto)

UBSan, ASan, LSan (i686-linux-gnu-gcc, i686-linux-gnu, auto)

UBSan, ASan, LSan (clang, no, 2, 2)

UBSan, ASan, LSan (i686-linux-gnu-gcc, i686-linux-gnu, no, 2, 2)

MSan (yes, -fsanitize=memory -fsanitize-recover=memory -g, clang)

MSan (yes, -fsanitize=memory -fsanitize-recover=memory -g, clang-snapshot)

MSan (2, 2, yes, -fsanitize=memory -fsanitize-recover=memory -g -O3, clang)

MSan (2, 2, yes, -fsanitize=memory -fsanitize-recover=memory -g -O3, clang-snapshot)

MSan (-fsanitize=memory -fsanitize-recover=memory -fsanitize-memory-param-retval -g, no, clang)

MSan (-fsanitize=memory -fsanitize-recover=memory -fsanitize-memory-param-retval -g, no, clang-sn...

x86_64 (mingw32-w64): Windows (Debian stable, Wine)

i686 (mingw32-w64): Windows (Debian stable, Wine)

C++ -fpermissive (entire project)

C++ (public headers)

The logs for this run have expired and are no longer available.

Loading

Re-running jobs...