Regenerate src/asm after merging main

53cb5f8

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Benchmarks on: pull_request 3

Choose architectures

Compare with base (x86)

Compare with base (x86, VG_CPU_FEATURES=none)

CI on: pull_request 29

Plan the Lean build

Lean import discipline

Test vector provenance

rust (ubuntu-latest, stable)

rust (ubuntu-latest, 1.88)

rust (ubuntu-latest, rust:slim, --platform linux/386, true, stable)

rust (ubuntu-latest, rust:slim, --platform linux/386, true, 1.88)

rust (ubuntu-24.04-arm, stable)

rust (ubuntu-24.04-arm, 1.88)

rust (ubuntu-24.04-arm, ghcr.io/pyca/cryptography-runner-ubuntu-rolling:armv7l, --env RUSTUP_HOME...

rust (ubuntu-24.04-arm, ghcr.io/pyca/cryptography-runner-ubuntu-rolling:armv7l, --env RUSTUP_HOME...

rust (macos-latest, stable)

rust (macos-latest, 1.88)

rust (windows-latest, stable)

rust (windows-latest, 1.88)

rust (ubuntu-latest, beta)

rust (ubuntu-latest, nightly)

Rust (Thumb, stable)

Rust (Thumb, 1.88)

Rust (native, x86_64)

Rust (sde -skx, x86_64)

Rust (sde -hsw, x86_64)

Rust (sde -p4p, x86_64)

Rust (native, x86)

Rust (native, x86, VG_CPU_FEATURES=none)

Rust (sde -arl)

Rust (sde -arl, VG_CPU_FEATURES=avx,avx2,sha512)

Rust (sde -skx, VG_CPU_FEATURES=bmi2,adx)

Rust (sde -icx)

Rust (sde -icx, VG_CPU_FEATURES=avx,avx2,bmi2,adx,avx512ifma,avx512vl)

Rust (sde -dmr)

Rust (native, ubuntu-24.04-arm, aarch64)

Lean proofs (1 of 3)

Lean proofs (2 of 3)

Lean proofs (3 of 3)

coverage

Lean proofs

all-green

Select a check to view from the sidebar