Lobsters
- Strict provenance: a teachable memory model (experiment) for Rust https://doc.rust-lang.org/nightly/std/ptr/index.html#strict-provenance 4 comments plt , release , rust
Linking pages
- Pointers Are Complicated III, or: Pointer-integer casts exposed https://www.ralfj.de/blog/2022/04/11/provenance-exposed.html 228 comments
- The Tower of Weakenings: Memory Models For Everyone - Faultlore https://gankra.github.io/blah/tower-of-weakenings/ 120 comments
- The last two years in Miri https://www.ralfj.de/blog/2022/07/02/miri.html 36 comments
Related searches:
Search whole site: site:doc.rust-lang.org
Search title: std::ptr - Rust
See how to search.