about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-04-18do not reuse stack addresses; make reuse rate configurableRalf Jung-17/+45
2024-04-18when an address gets reused, establish a happens-before link in the data race...Ralf Jung-36/+129
2024-04-18Auto merge of #3484 - RalfJung:realloc, r=RalfJungbors-158/+205
2024-04-18move allocator shim logic into its own fileRalf Jung-157/+178
2024-04-18make realloc with a size of zero failRalf Jung-5/+31
2024-04-18when suggesting RUST_BACKTRACE=1, add a special note for Miri's env var isola...Ralf Jung-0/+31
2024-04-18Auto merge of #3486 - RalfJung:mir-validate, r=RalfJungbors-0/+42
2024-04-18add test checking that we do run MIR validationRalf Jung-0/+42
2024-04-18Auto merge of #124008 - nnethercote:simpler-static_assert_size, r=Nilstriebbors-3/+3
2024-04-18move read_byte_slice to general helpers file, next to read_c_strRalf Jung-16/+21
2024-04-18add test for Drop terminator on non-drop typeRalf Jung-0/+21
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-3/+3
2024-04-17fmtRalf Jung-5/+1
2024-04-17Merge from rustcRalf Jung-39/+46
2024-04-17Preparing for merge from rustcRalf Jung-1/+1
2024-04-17Rollup merge of #124030 - RalfJung:adjust_alloc_base_pointer, r=oli-obkMatthias Krüger-39/+46
2024-04-17Auto merge of #3480 - RalfJung:alloc_error_handler, r=RalfJungbors-120/+171
2024-04-17no need to use miri's native stderr hereRalf Jung-3/+2
2024-04-17tests/utils: add fmt::Write implementations for miri's native stdout/stderrRalf Jung-59/+64
2024-04-17alloc_error_handler tests: directly call handle_alloc_error; test more codepathsRalf Jung-75/+122
2024-04-17interpret: rename base_pointer -> root_pointerRalf Jung-35/+35
2024-04-17interpret: pass MemoryKind to adjust_alloc_base_pointerRalf Jung-7/+14
2024-04-17fmtThe Miri Cronjob Bot-10/+12
2024-04-17Merge from rustcThe Miri Cronjob Bot-25/+69
2024-04-17Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-04-17Rollup merge of #124013 - RalfJung:box-to-raw, r=oli-obkGuillaume Gomez-2/+42
2024-04-16Auto merge of #3478 - RalfJung:alloc_error_handler, r=RalfJungbors-7/+207
2024-04-16implement support for __rust_alloc_error_handlerRalf Jung-7/+207
2024-04-16no_std works on Windows nowRalf Jung-4/+0
2024-04-16Add simple async drop glue generationzetanumbers-0/+235
2024-04-16Rollup merge of #124018 - RalfJung:dealloc-memory-kind, r=oli-obkMatthias Krüger-18/+19
2024-04-16Rollup merge of #124007 - RalfJung:miri, r=RalfJungMatthias Krüger-143/+345
2024-04-16interpret: pass MemoryKind to before_memory_deallocationRalf Jung-18/+19
2024-04-16Auto merge of #3472 - RalfJung:deadlock, r=RalfJungbors-25/+175
2024-04-16deadlock: show backtrace for all threadsRalf Jung-25/+175
2024-04-16Box::into_raw: make Miri understand that this is a box-to-raw castRalf Jung-2/+42
2024-04-16Miri: adopt to new intrinsic typesMaybe Waffle-3/+3
2024-04-16threads: keep track of why we are blocked, and sanity-check that when waking upRalf Jung-95/+108
2024-04-16avoid passing --sysroot twice in bootstrapRalf Jung-5/+8
2024-04-16bless test-cargo-miriRalf Jung-11/+11
2024-04-16Merge from rustcThe Miri Cronjob Bot-146/+204
2024-04-16Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-04-15Auto merge of #3467 - RossSmyth:bumpSysroot, r=RalfJungbors-3/+3
2024-04-15Auto merge of #3462 - eduardosm:chunk-128, r=RalfJungbors-44/+33
2024-04-15Bump rustc-build-sysroot to 0.4.6Ross Smyth-3/+3
2024-04-15Make `split_simd_to_128bit_chunks` take only one operandEduardo Sánchez Muñoz-44/+33
2024-04-15Auto merge of #3466 - RalfJung:GetFullPathNameW, r=RalfJungbors-22/+174
2024-04-15Auto merge of #3411 - RalfJung:sysroot, r=RalfJungbors-54/+51
2024-04-15add some basic support for GetFullPathNameWRalf Jung-22/+174
2024-04-15Auto merge of #3465 - RalfJung:run-dep-error-format, r=RalfJungbors-1/+2