about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2024-03-23disable RUST_BACKTRACE in CI, set it inside the test harness insteadRalf Jung-4/+9
2024-03-23when a test fails, repeat the target after the failure reportRalf Jung-0/+2
2024-03-23Auto merge of #3385 - Zoxc:read-types, r=RalfJungbors-11/+23
2024-03-23Report retags as distinct from real memory accesses for data racesJohn Kåre Alsaker-11/+23
2024-03-23Auto merge of #122582 - scottmcm:swap-intrinsic-v2, r=oli-obkbors-0/+78
2024-03-23rename ptr::from_exposed_addr -> ptr::with_exposed_provenanceRalf Jung-22/+22
2024-03-23add support for missing SIMD float intrinsicsRalf Jung-0/+18
2024-03-21Allow `llvm.x86.sse2.pause` instrinsic to be called without SSE2Eduardo Sánchez Muñoz-0/+30
2024-03-19remove duplicate testRalf Jung-5/+0
2024-03-19Merge from rustcThe Miri Cronjob Bot-6/+2
2024-03-18Rollup merge of #122060 - clubby789:stabilize-imported-main, r=lcnrMatthias Krüger-4/+0
2024-03-18add_retag: ensure box-to-raw-ptr casts are preserved for MiriRalf Jung-2/+2
2024-03-18add exposed-provenance example where we miss UBRalf Jung-0/+26
2024-03-17MIRI tests to confirm it's typedScott McMurray-0/+78
2024-03-17Auto merge of #121885 - reitermarkus:generic-nonzero-inner, r=oli-obk,wesleyw...bors-4/+4
2024-03-15Merge from rustcRalf Jung-1/+1
2024-03-14Remove `feature(unchecked_math)` from miriScott McMurray-8/+0
2024-03-14Auto merge of #3379 - RalfJung:time-with-isolation, r=saethlinbors-10/+14
2024-03-14explain time-with-isolation test betterRalf Jung-10/+14
2024-03-14Merge from rustcThe Miri Cronjob Bot-2/+18
2024-03-14update virtual clock in miri test since signed loops now execute more methodsThe 8472-1/+1
2024-03-13Auto merge of #122240 - RalfJung:miri-addr-reuse, r=oli-obkbors-2/+18
2024-03-12Auto merge of #3370 - RalfJung:windows-sync, r=RalfJungbors-286/+0
2024-03-12Merge from rustcThe Miri Cronjob Bot-4/+76
2024-03-11Rollup merge of #122249 - RalfJung:machine-read-hook, r=oli-obkJubilee-0/+62
2024-03-10test into_boxed_slice with custom allocator in MiriRalf Jung-4/+14
2024-03-10Fix `miri` tests.Markus Reiter-4/+4
2024-03-10Auto merge of #122246 - RalfJung:miri, r=RalfJungbors-136/+69
2024-03-10fmtThe Miri Cronjob Bot-12/+4
2024-03-10Merge from rustcThe Miri Cronjob Bot-0/+123
2024-03-09windows: remove support for slim rwlockRalf Jung-286/+0
2024-03-09interpret: do not call machine read hooks during validationRalf Jung-0/+62
2024-03-09miri: add some chance to reuse addresses of previously freed allocationsRalf Jung-2/+18
2024-03-09simplify no-std testsRalf Jung-17/+9
2024-03-09miri: do not apply aliasing restrictions to Box with custom allocatorRalf Jung-0/+123
2024-03-09rename tests/compiletest → tests/uiRalf Jung-1/+1
2024-03-09compiletest: create fresh tempdir for tests to useRalf Jung-15/+30
2024-03-08Merge from rustcThe Miri Cronjob Bot-1/+7
2024-03-06Add advice for failing `shims/fs.rs` miri testMaybe Waffle-0/+4
2024-03-06Make `x t miri` respect `MIRI_TEMP`Maybe Waffle-1/+3
2024-03-06Stabilize `imported_main`clubby789-4/+0
2024-03-06Auto merge of #3340 - RalfJung:no-disable-abi-check, r=oli-obkbors-111/+5
2024-03-04give macOS even more time to sleepRalf Jung-10/+17
2024-03-04linux-futex test: add commentRalf Jung-0/+1
2024-03-04disable diagnostic deduplicationRalf Jung-0/+16
2024-03-03Auto merge of #3345 - RalfJung:win-get-thread-name, r=RalfJungbors-27/+100
2024-03-03Windows: support getting the thread nameRalf Jung-3/+49
2024-03-03move thread-panic tests to their own file; test getting the thread nameRalf Jung-24/+51
2024-03-02Tree Borrows: print where the forbidden access happens; make tag tracking les...Ralf Jung-94/+94
2024-03-02remove the ability to disable ABI checkingRalf Jung-111/+5