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
/
function_calls
Age
Commit message (
Expand
)
Author
Lines
2025-09-22
TB: rename Active → Unique to match paper
Ralf Jung
-14
/
+14
2025-09-02
improve process::abort rendering in Miri backtraces
Ralf Jung
-13
/
+9
2025-08-22
miri: also detect aliasing of in-place argument and return place
Ralf Jung
-0
/
+95
2025-08-20
bless new tests
Ralf Jung
-0
/
+1
2025-08-20
Merge ref 'f605b57042ff' from rust-lang/rust
The Miri Cronjob Bot
-37
/
+129
2025-08-19
God bless the tests
Johannes Hostert
-0
/
+5
2025-08-19
miri: detect passing the same local twice as an in-place argument
Ralf Jung
-0
/
+92
2025-08-18
interpret: fix in-place return place semantics when the return place expressi...
Ralf Jung
-37
/
+37
2025-08-07
Rollup merge of #144903 - Kivooeo:panic_handler-is-not-begin, r=m-ou-se
Trevor Gross
-4
/
+4
2025-08-06
Print thread ID in panic message if thread name is unknown
Trevor Gross
-7
/
+7
2025-08-04
remove begin prefix
Kivooeo
-4
/
+4
2025-08-03
remove rust_ prefixes
Kivooeo
-2
/
+2
2025-07-17
Report the range of uninit bytes in CTFE errors
Oli Scherer
-4
/
+32
2025-06-07
bless non-Linux tests
Ralf Jung
-1
/
+1
2025-06-07
diagnostics: do not repeat the entire message in the span label
Ralf Jung
-32
/
+32
2025-05-17
Rollup merge of #139103 - joboet:abort_dedup, r=tgross35
Matthias Krüger
-3
/
+3
2025-05-15
normalize abort calls in miri tests
joboet
-3
/
+3
2025-03-12
bless test
tiif
-12
/
+12
2025-03-12
Implement Display by mapping Conv to ExternAbi
tiif
-3
/
+3
2025-02-06
some more argument checking cleanup
Ralf Jung
-9
/
+9
2025-01-01
Try to write the panic message with a single `write_all` call
John Kåre Alsaker
-0
/
+7
2024-12-13
Fix miri tests
Esteban Küber
-10
/
+0
2024-09-16
Bump ui test
Oli Scherer
-115
/
+115
2024-08-29
fix wasm test
Ralf Jung
-0
/
+26
2024-08-24
panicking: improve hint for Miri's RUST_BACKTRACE behavior
Ralf Jung
-5
/
+5
2024-08-18
stabilize raw_ref_op
Ralf Jung
-4
/
+0
2024-08-13
remove the concept of a Call ID
Ralf Jung
-10
/
+10
2024-08-07
Merge from rustc
The Miri Cronjob Bot
-3
/
+3
2024-08-06
interpret: refactor function call handling to be better-abstracted
Ralf Jung
-3
/
+3
2024-08-06
add return-place-protection tail-call test, and fix previous test
Ralf Jung
-39
/
+157
2024-06-19
Remove c_unwind from tests and fix tests
Gary Guo
-3
/
+1
2024-06-16
std: move `sys_common::backtrace` to `sys`
joboet
-2
/
+2
2024-04-18
when suggesting RUST_BACKTRACE=1, add a special note for Miri's env var isola...
Ralf Jung
-0
/
+5
2024-03-06
Auto merge of #3340 - RalfJung:no-disable-abi-check, r=oli-obk
bors
-6
/
+2
2024-03-02
Tree Borrows: print where the forbidden access happens; make tag tracking les...
Ralf Jung
-8
/
+8
2024-03-02
remove the ability to disable ABI checking
Ralf Jung
-6
/
+2
2024-03-02
print thread name in miri error backtraces
Ralf Jung
-0
/
+2
2024-02-26
rename 'try' intrinsic to 'catch_unwind'
Ralf Jung
-2
/
+2
2024-01-11
std: update miri tests
joboet
-4
/
+4
2023-12-26
custom mir: make it clear what the return block is
Ralf Jung
-27
/
+27
2023-11-24
Bless Miri tests
Nilstrieb
-30
/
+30
2023-11-14
Custom MIR: Support cleanup blocks
Tomasz Miąsko
-27
/
+27
2023-10-09
return_pointer_aliasing2 should also run with SB
Ralf Jung
-2
/
+45
2023-10-09
add test to ensure RET assignments do not get propagated on unwinding
Ralf Jung
-0
/
+74
2023-10-05
Tree Borrows: do not create new tags as 'Active'
Ralf Jung
-4
/
+28
2023-10-02
add test for a function ABI mismatch due to target features
Ralf Jung
-0
/
+50
2023-09-23
Merge from rustc
The Miri Conjob Bot
-2
/
+2
2023-09-21
adjust how closure/generator types and rvalues are printed
Ralf Jung
-2
/
+2
2023-09-21
deprecate -Zmiri-disable-abi-check
Ralf Jung
-0
/
+2
2023-08-22
fix some bad regex capture group references in test normalization
Ralf Jung
-2
/
+2
[next]