ml-kem: add Kani proof harnesses and CI verification

bb12849

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

Workspace on: pull_request

clippy

doc

rustfmt

hqc-kem on: pull_request

set-msrv / set-msrv

minimal-versions

test (1.85.0)

test (stable)

cross (powerpc-unknown-linux-gnu, 1.85.0)

cross (powerpc-unknown-linux-gnu, stable)

sntrup-kem on: pull_request

set-msrv / set-msrv

minimal-versions

test (1.85.0)

test (stable)

cross (powerpc-unknown-linux-gnu, 1.85.0)

cross (powerpc-unknown-linux-gnu, stable)

frodo-kem on: pull_request

set-msrv / set-msrv

careful

build (1.85.0)

build (stable)

test (1.85.0)

test (stable)

ml-kem on: pull_request 3

set-msrv / set-msrv

minimal-versions / minimal-versions

Primitive proofs (Kani)

no_std (1.85.0, thumbv7em-none-eabi)

no_std (1.85.0, wasm32-unknown-unknown)

no_std (stable, thumbv7em-none-eabi)

no_std (stable, wasm32-unknown-unknown)

test (1.85.0)

test (stable)

cross (powerpc-unknown-linux-gnu, 1.85.0)

cross (powerpc-unknown-linux-gnu, stable)

x-wing on: pull_request

set-msrv / set-msrv

minimal-versions

no_std (1.85.0, thumbv7em-none-eabi)

no_std (1.85.0, wasm32-unknown-unknown)

no_std (stable, thumbv7em-none-eabi)

no_std (stable, wasm32-unknown-unknown)

test (1.85.0)

test (stable)

cross (powerpc-unknown-linux-gnu, 1.85.0)

cross (powerpc-unknown-linux-gnu, stable)

module-lattice on: pull_request

set-msrv / set-msrv

minimal-versions / minimal-versions

build-no-std

test (1.85.0)

test (stable)

dhkem on: pull_request

set-msrv / set-msrv

minimal-versions

no_std (1.85.0, thumbv7em-none-eabi)

no_std (1.85.0, wasm32-unknown-unknown)

no_std (stable, thumbv7em-none-eabi)

no_std (stable, wasm32-unknown-unknown)

test (1.85.0)

test (stable)

cross (powerpc-unknown-linux-gnu, 1.85.0)

cross (powerpc-unknown-linux-gnu, stable)

rustfmt

succeeded Sep 8, 2026 in 18s

Loading

Re-running jobs...