Skip to content

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

Closed
jakemas wants to merge 1 commit into
mainfrom
jakemas/poly-decompose-asm
Closed

x86_64 + HOL-Light: Replace poly_decompose AVX2 intrinsics with hand-written assembly and HOL-Light proofs#1163
jakemas wants to merge 1 commit into
mainfrom
jakemas/poly-decompose-asm

x86_64: Replace poly_decompose AVX2 intrinsics with hand-written asse…

b138eef
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar