Skip to content

x86_64 + HOL-Light: Replace polyz_unpack AVX2 intrinsics with hand-written assembly and HOL-Light proofs#1182

Merged
hanno-becker merged 1 commit into
mainfrom
jakemas/polyz-unpack-asm
Jun 16, 2026
Merged

x86_64 + HOL-Light: Replace polyz_unpack AVX2 intrinsics with hand-written assembly and HOL-Light proofs#1182
hanno-becker merged 1 commit into
mainfrom
jakemas/polyz-unpack-asm

x86_64: Add AVX2 assembly for polyz_unpack with HOL-Light proofs

59d66bc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar