halfagg: Add docs

477c688

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 28

Build x64 Docker image

Build arm64 Docker image

x86_64: macOS Sequoia, Valgrind (int64, 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)

x86_64: macOS Sequoia, Valgrind (int128, yes)

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

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

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

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

x86_64: macOS Sequoia, Valgrind (int128, 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, yes)

ARM64: macOS Sonoma (int128_struct, 2, 4)

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

ARM64: macOS Sonoma (int128, yes)

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

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

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

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, yes, gcc)

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

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

x86_64: Linux (Debian stable) (int64, yes, 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, 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, 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, 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, yes, gcc)

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

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

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

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

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

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

x86_64: Linux (Debian stable) (no, yes, 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, gcc)

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

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

x86_64: Linux (Debian stable) (-O1, 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)

Build arm64 Docker image

succeeded Jul 12, 2026 in 24s

Loading

Re-running jobs...