AVX2: Replace intrinsics implementation of rej_uniform_eta with assembly #419
Metadata
Metadata
Assignees
Type
Fields
Give feedbackNo fields configured for issues without a type.
{{ message }}
AVX2: Replace intrinsics implementation of
For formally verifying functional correctness using HOL-Light, we will require assembly instead of intrinsics.