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
Age
Commit message (
Expand
)
Author
Lines
2024-12-30
fmt
Ralf Jung
-2
/
+2
2024-12-25
swap_typed_nonoverlapping: properly detect overlap even when swapping scalar ...
Ralf Jung
-3
/
+25
2024-12-25
rename typed_swap → typed_swap_nonoverlapping
Ralf Jung
-12
/
+12
2024-12-25
miri: add test for overlapping typed_swap
Ralf Jung
-0
/
+28
2024-12-15
Merge from rustc
The Miri Cronjob Bot
-10
/
+0
2024-12-13
Fix miri tests
Esteban Küber
-10
/
+0
2024-12-11
Merge pull request #4008 from JoJoDeveloping/tb-access-state-based-skipping
Ralf Jung
-0
/
+60
2024-12-10
TB: optimize accesses on large trees by ignoring subtrees if the access would...
Johannes Hostert
-6
/
+6
2024-12-05
make SC fences stronger, to be correct wrt C++20
Ralf Jung
-107
/
+0
2024-12-04
add test to demonstrate the effect of #4008
Johannes Hostert
-0
/
+60
2024-12-03
Rollup merge of #133726 - joshtriplett:breakpoint, r=oli-obk
Matthias Krüger
-5
/
+3
2024-12-03
miri: Adapt for `breakpoint` becoming safe
Josh Triplett
-5
/
+3
2024-11-30
improve TagEncoding::Niche docs and sanity check
Ralf Jung
-0
/
+42
2024-11-11
stacked borrows tests: add those that fail under TB
Ralf Jung
-2
/
+2
2024-11-08
remove support for rustc_safe_intrinsic attribute; use rustc_intrinsic functi...
Ralf Jung
-1
/
+1
2024-10-29
Rollup merge of #132233 - WaffleLapkin:box-module-split, r=workingjubilee
Jubilee
-1
/
+1
2024-10-28
Bless a miri test
Maybe Lapkin
-1
/
+1
2024-10-22
fmt
The Miri Cronjob Bot
-1
/
+0
2024-10-22
Merge from rustc
The Miri Cronjob Bot
-13
/
+0
2024-10-21
move strict provenance lints to new feature gate, remove old feature gates
Ralf Jung
-13
/
+0
2024-10-18
tail_calls: add test ensuring local vars are indeed gone
Ralf Jung
-0
/
+46
2024-10-15
Rollup merge of #131521 - jdonszelmann:rc, r=joboet
Michael Goulet
-2
/
+2
2024-10-14
add test ensuring a moved mutex deadlocks
Ralf Jung
-0
/
+32
2024-10-11
simplify Tree Borrows write-during-2phase example
Ralf Jung
-13
/
+15
2024-10-11
rename RcBox in other places too
Jonathan Dönszelmann
-2
/
+2
2024-10-04
Merge from rustc
The Miri Cronjob Bot
-3
/
+3
2024-10-03
make sure we also detect mixed-size races that begin at different addresses
Ralf Jung
-1
/
+47
2024-10-03
fmt
Ralf Jung
-2
/
+2
2024-10-02
bless miri tests
joboet
-3
/
+3
2024-09-30
Auto merge of #131036 - RalfJung:miri-sync, r=RalfJung
bors
-13
/
+152
2024-09-29
let rustfmt format imports
Ralf Jung
-12
/
+6
2024-09-28
add tests for validity of Box with custom allocator
Ralf Jung
-0
/
+99
2024-09-28
allow mixed-size atomic reads
Ralf Jung
-140
/
+154
2024-09-28
miri: no longer complain about read-read races
Ralf Jung
-104
/
+0
2024-09-25
fmt
The Miri Cronjob Bot
-1
/
+3
2024-09-25
Merge from rustc
The Miri Cronjob Bot
-8
/
+41
2024-09-24
be even more precise about "cast" vs "coercion"
Lukas Markeffsky
-1
/
+1
2024-09-23
Check vtable projections for validity in miri
Michael Goulet
-8
/
+41
2024-09-23
add test for new abort_unwind function
Ralf Jung
-0
/
+44
2024-09-22
Merge from rustc
Ralf Jung
-2
/
+2
2024-09-21
Auto merge of #127546 - workingjubilee:5-level-paging-exists, r=saethlin
bors
-2
/
+2
2024-09-21
fmt (with a huge diff for some reason)
Ralf Jung
-16
/
+16
2024-09-21
Merge from rustc
Ralf Jung
-4
/
+5
2024-09-20
miri: An error message got changed
Jubilee Young
-2
/
+2
2024-09-19
Make the intention of the miri test more clear
Adwin White
-4
/
+5
2024-09-19
Adapt test to new layout
Adwin White
-2
/
+2
2024-09-17
ptr_offset_unsigned_overflow: extend test
Ralf Jung
-5
/
+6
2024-09-16
Bump ui test
Oli Scherer
-1398
/
+1394
2024-09-16
fmt
The Miri Cronjob Bot
-2
/
+2
2024-09-16
Merge from rustc
The Miri Cronjob Bot
-0
/
+192
[prev]
[next]