Skip to content

simd(wasm): certify the F64x8::mul_add domain, keep exact-product lanes in the vector - #378

Merged
AdaWorldAPI merged 5 commits into
masterfrom
ccr-45a41fb4-0j3i0l
Oct 27, 2026
Merged

simd(wasm): certify the F64x8::mul_add domain, keep exact-product lanes in the vector#378
AdaWorldAPI merged 5 commits into
masterfrom
ccr-45a41fb4-0j3i0l

wasm mul_add audit: relaxed-SIMD arm, proof obligations, X11 rewritten

7861a5f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar