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-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
2024-09-15
Rollup merge of #129828 - RalfJung:miri-data-race, r=saethlin
Matthias Krüger
-0
/
+192
2024-09-14
Merge from rustc
The Miri Cronjob Bot
-156
/
+65
2024-09-13
Rollup merge of #130245 - RalfJung:miri-alloc-backtrace, r=Amanieu
Stuart Cook
-156
/
+65
2024-09-12
Merge from rustc
The Miri Cronjob Bot
-0
/
+22
2024-09-11
make basic allocation functions track_caller in Miri for nicer backtraces
Ralf Jung
-156
/
+65
2024-09-11
miri: fix overflow detection for unsigned pointer offset
Ralf Jung
-0
/
+22
2024-09-11
Merge from rustc
The Miri Cronjob Bot
-21
/
+21
2024-09-10
Auto merge of #129403 - scottmcm:only-array-simd, r=compiler-errors
bors
-21
/
+21
2024-09-10
miri: treat non-memory local variables properly for data race detection
Ralf Jung
-0
/
+192
2024-09-10
fmt
Ralf Jung
-46
/
+58
2024-09-09
Update the MIRI tests
Scott McMurray
-21
/
+21
2024-09-09
fix UB in a test
Ralf Jung
-2
/
+35
2024-09-08
interpret: reset padding during validation
Ralf Jung
-15
/
+198
2024-09-08
interpret: reset provenance on typed copies
Ralf Jung
-0
/
+185
2024-09-01
Rollup merge of #128495 - joboet:more_memcmp, r=scottmcm
Matthias Krüger
-4
/
+4
2024-08-30
Merge from rustc
The Miri Cronjob Bot
-3
/
+0
2024-08-29
fix wasm test
Ralf Jung
-1
/
+27
[prev]
[next]