Skip to content

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

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

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

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

0c2a297
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar