Formally Specifying and Testing the Rust Standard Library

Cryspen found and fixed bugs in the Rust SIMD libraries using formal specs

Modern programming languages typically come with a large standard library that implements essential language features like machine arithmetic and I/O, offers efficient data structures, provides …