Write `kani` proofs for `neon f32` kernels

cospectrum / microgemm

General matrix multiplication with custom configuration in Rust. Supports no_std and no_alloc environments.

Apache License 2.0

6 stars 1 forks source link

Open cospectrum opened 3 months ago

cospectrum commented 3 months ago

Write simd module to mock neon simd calls, since kani doesn't understand them
Write kani checks for neon 4x4 and 8x8 microkernels