Skip to content

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

Open
jakemas wants to merge 1 commit into
mainfrom
use-hint-x86-proofs-pr
Open

x86_64 + HOL-Light: Replace poly_use_hint AVX2 intrinsics with hand-written assembly and HOL-Light proofs#1189
jakemas wants to merge 1 commit into
mainfrom
use-hint-x86-proofs-pr

x86_64 + HOL-Light: Replace poly_use_hint AVX2 intrinsics with hand-w…

9e615b9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar