Skip to content
HOL-Light

[DRAFT] Add polyvec_[de]compress_du to backend and add AVX2 intrinsics implementation #7

Sign in to view logs

[DRAFT] Add polyvec_[de]compress_du to backend and add AVX2 intrinsics implementation

[DRAFT] Add polyvec_[de]compress_du to backend and add AVX2 intrinsics implementation #7

Triggered via pull request January 24, 2025 14:25
@hanno-beckerhanno-becker
opened #695
poly_compress
Status Cancelled
Total duration 3m 21s
Billable time 6m
Artifacts –

hol_light.yml

on: pull_request
Matrix: hol_light_proofs
Fit to window
Zoom out
Zoom in

Annotations

2 errors
HOL Light proof for mlkem_ntt.S
Canceling since a higher priority waiting request for 'HOL-Light-refs/pull/695/merge' exists
HOL Light proof for mlkem_intt.S
Canceling since a higher priority waiting request for 'HOL-Light-refs/pull/695/merge' exists