corpus.blog
41,554 blogs · 5,197,919 posts Claim your blog
Record · corpus.blog/posts/01a08791-c04b-7350-90d3-a5b0e9fb5291

miri

Jake Roggenbuck · published 7 October 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at jr0.org Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
75
Words captured
5,544

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://doc.rust-lang.org/reference/behavior-considered-undefined.html
doc.rust-lang.org
https://doc.rust-lang.org/stable/std/hint/fn.unreachable_unchecked.html
doc.rust-lang.org
https://doc.rust-lang.org/stable/std/ptr/fn.copy_nonoverlapping.html
doc.rust-lang.org
https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md
github.com
https://perso.crans.org/vanille/treebor/
perso.crans.org
https://github.com/rust-lang/miri/labels/I-misses-UB
github.com
https://github.com/tokio-rs/loom
github.com
https://rust-lang.github.io/unsafe-code-guidelines/glossary.html
rust-lang.github.io
https://doc.rust-lang.org/rustc/platform-support.html
doc.rust-lang.org
https://nexte.st
nexte.st
https://nexte.st/book/miri.html
nexte.st
https://doc.rust-lang.org/nightly/std/ptr/fn.with_exposed_provenance.html
doc.rust-lang.org
https://github.com/rust-lang/rust/issues/95228
github.com
https://rust-lang.zulipchat.com/
rust-lang.zulipchat.com
https://www.usask.ca/
usask.ca
https://solson.me/miri-slides.pdf
solson.me
https://solson.me/miri-report.pdf
solson.me
https://github.com/rust-lang/rust/issues/53566
github.com
https://github.com/rust-lang/rust/pull/53804
github.com
https://github.com/rust-lang/rust/issues/54908
github.com
https://github.com/rust-lang/rust/issues/54957
github.com
https://github.com/rust-lang/rust/pull/61082
github.com
https://github.com/rust-lang/rust/pull/56319
github.com
https://github.com/rust-lang/rust/pull/58200
github.com
https://github.com/rust-random/rand/issues/779
github.com
https://github.com/rust-lang/rust/issues/62251
github.com
https://github.com/rust-random/getrandom/pull/73
github.com
https://github.com/rust-lang/rust/issues/69770
github.com
https://github.com/rust-lang/rust/issues/69769
github.com
https://github.com/maciejhirsz/beef/issues/12
github.com
https://github.com/Firstyear/concread/commit/b15be53b6ec076acb295a5c0483cdb4bf9be838f
github.com
https://github.com/tikv/tikv/issues/7613
github.com
https://github.com/servo/servo/issues/26357
github.com
https://github.com/tikv/tikv/pull/7751
github.com
https://github.com/hsivonen/encoding_rs/pull/53
github.com
https://github.com/tikv/agatedb/pull/24
github.com
https://github.com/rust-lang/rust/pull/84052
github.com
https://github.com/rust-lang/rust/pull/84053
github.com
https://github.com/Gankra/thin-vec/pull/27
github.com
https://github.com/crossbeam-rs/crossbeam/pull/779
github.com
https://github.com/dermesser/integer-encoding-rs/pull/23
github.com
https://github.com/rkyv/rkyv/commit/a9417193a34757e12e24263178be8b2eebb72456
github.com
https://github.com/vorner/arc-swap/issues/76
github.com
https://github.com/rust-lang/rust/issues/98498
github.com
https://www.reddit.com/r/rust/comments/vq3mmu/comment/ienc7t0?context=3
reddit.com
https://github.com/matklad/once_cell/issues/186
github.com
https://github.com/rust-lang/rust/pull/106084
github.com
https://github.com/rust-lang/rust/pull/118460
github.com
https://github.com/taiki-e/portable-atomic/pull/138
github.com
https://github.com/rust-lang/rust/issues/121582
github.com
https://github.com/crossbeam-rs/crossbeam/pull/1084
github.com
https://github.com/rust-lang/rust/pull/124281
github.com
https://github.com/rust-lang/rust/pull/56161
github.com
https://github.com/rust-lang/rust/pull/58431
github.com
https://github.com/rust-lang/rust/issues/73915
github.com
https://github.com/rust-lang/rust/issues/78477
github.com
https://github.com/rust-lang/rust/pull/60072
github.com
https://github.com/rust-lang/rust/issues/60847
github.com
https://github.com/rust-lang/rust/issues/68549
github.com
https://github.com/bodil/sized-chunks/issues/8
github.com
https://github.com/rust-lang/rust/issues/70301
github.com
https://github.com/dtolnay/ryu/issues/24
github.com
https://github.com/rust-lang/miri/issues/1364
github.com
https://github.com/tikv/tikv/pull/7709
github.com
https://github.com/rust-lang/rust/pull/70479
github.com
https://github.com/rust-lang/rust/issues/74029
github.com
https://github.com/rust-lang/rust/pull/78602
github.com
https://github.com/rust-lang/rust/pull/85610
github.com
https://plv.mpi-sws.org/rustbelt/stacked-borrows/
plv.mpi-sws.org
https://www.amazon.science/publications/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3
amazon.science
https://dl.acm.org/doi/10.1145/3453483.3454084
dl.acm.org
https://github.com/nextest-rs/nextest/issues/16
github.com
https://github.com/rust-lang/measureme
github.com
http://www.apache.org/licenses/LICENSE-2.0
apache.org
http://opensource.org/licenses/MIT
opensource.org
Elsewhere on jr0.org (4)