index
:
rust
this commit
auto
automation/bors/try
automation/bors/try-merge
beta
cargo_update
lcnr/rustc-dev-guide
master
perf-tmp
stable
try
try-perf
https://github.com/rust-lang/rust
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
tools
/
miri
/
tests
/
fail
/
weak_memory
Age
Commit message (
Expand
)
Author
Lines
2025-06-07
diagnostics: do not repeat the entire message in the span label
Ralf Jung
-1
/
+1
2025-05-08
remove stray stderr file
Ralf Jung
-22
/
+0
2025-04-29
Added random scheduling
geetanshjuneja
-1
/
+1
2024-09-28
allow mixed-size atomic reads
Ralf Jung
-102
/
+0
2024-09-16
Bump ui test
Oli Scherer
-8
/
+8
2024-08-27
miri: Remove feature(new_uninit)
Jubilee Young
-1
/
+0
2024-08-12
miri weak memory emulation: initialize store buffer only on atomic writes; pr...
Ralf Jung
-0
/
+58
2024-04-18
when reusing an address, most of the time only reuse from the current thread
Ralf Jung
-2
/
+4
2024-03-02
print thread name in miri error backtraces
Ralf Jung
-8
/
+8
2023-11-24
Bless Miri tests
Nilstrieb
-2
/
+2
2023-11-10
data_race: link to docs for 'unusual' race conditions
Ralf Jung
-0
/
+2
2023-10-27
give some more help for the unusual data races
Ralf Jung
-6
/
+8
2023-10-27
data-race: preserve structured access information longer, and don't upper-cas...
Ralf Jung
-4
/
+4
2023-10-23
don't talk about 'Data race' when both accesses are atomic
Ralf Jung
-4
/
+4
2023-10-23
clean up imperfect overlap detection in weak-mem emulation
Ralf Jung
-12
/
+24
2022-09-21
Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'
Oli Scherer
-0
/
+106