Emulating avx-512 intrinsics in Miri

100 points folkertdev 2025-12-09 10:32:55 3 comments

I wrote up how we added some avx-512 instruction support to Miri so that we can run the zlib-rs test suite on standard CI machines.