Creusot: A deductive verifier for Rust code
Creusot helps you prove your code is correct in an automated fashion. - creusot-rs/creusot... (more…)
Read more »In December 2021, we opened an issue to solicit feedback regarding the porting of the YJIT codebase from C99 to Rust. There were some reservations, but this project was given the go ahead by Ruby c… Read more