Oxide and Friends
Crates We Love
Eliza Weisman
I want to be able to write these deterministic models that will exhaustively explore all of the permitted interleaving, like the Rust compiler is allowed to emit or allowed to allow the operative scheduler to emit.
0
💬
0
Comments
Log in to comment.
There are no comments yet.