disable fadd f32 formal proofs by default -- they're too slow
[ieee754fpu.git] / expand-simd-map-input.sh
2021-10-22 Jacob Lifshayadd type annotations .pyi file for SimdScope