Merge remote-tracking branch 'origin/main' into claude/inspiring-pasc…

691a8ae

Select commit

Loading

Failed to load commit list.

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

CI on: pull_request 28

Plan the Lean build

Lean import discipline

Test vector provenance

rust (ubuntu-latest, stable)

rust (ubuntu-latest, 1.88)

rust (ubuntu-24.04-arm, stable)

rust (ubuntu-24.04-arm, 1.88)

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 -dmr)

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

Lean proofs (1 of 2)

Lean proofs (2 of 2)

coverage

Lean proofs

all-green

Benchmarks on: pull_request 1

Choose architectures

Compare with base (arm)