about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-08-28address nitsJohannes Hostert-15/+26
2024-08-28Add benchmark for TB slowdownJohannes Hostert-0/+41
2024-08-28Add test for tokio file io and mpsctiif-9/+72
2024-08-28Merge from rustcThe Miri Cronjob Bot-111/+157
2024-08-28Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-08-27Auto merge of #3804 - tiif:blockit, r=oli-obkbors-64/+316
2024-08-27Make Tree Borrows Provenance GC compact the treeJohannes Hostert-17/+185
2024-08-27Add explanation to TB's "piecewise bottom-up" traversalJohannes Hostert-44/+111
2024-08-27Arbitrary self types v2: pointers feature gate.Adrian Taylor-1/+1
2024-08-27miri: Remove feature(new_uninit)Jubilee Young-5/+0
2024-08-27Auto merge of #128134 - joboet:move_pal_alloc, r=cupiverbors-3/+5
2024-08-27Make TB tree traversal bottom-upJohannes Hostert-270/+237
2024-08-27Auto merge of #3847 - JoJoDeveloping:master, r=RalfJungbors-5/+59
2024-08-27Add testcase for #3846Johannes Hostert-0/+54
2024-08-27Auto merge of #3849 - RalfJung:tb-test, r=RalfJungbors-1/+2
2024-08-27tree_borrows test: ensure we can actually read the variableRalf Jung-1/+2
2024-08-27bless miri testjoboet-3/+5
2024-08-27Auto merge of #3827 - RalfJung:gc-comment, r=RalfJungbors-25/+27
2024-08-27Rollup merge of #128942 - RalfJung:interpret-weak-memory, r=saethlinTrevor Gross-108/+152
2024-08-26Disable tree traversal optimization that is wrong due to lazy nodes.Johannes Hostert-5/+5
2024-08-26interpret: do not make const-eval query result depend on tcx.sessRalf Jung-6/+40
2024-08-26const-eval: do not make UbChecks behavior depend on current crate's flagsRalf Jung-0/+4
2024-08-26silence an overreaching clippy lintRalf Jung-0/+1
2024-08-26Merge from rustcThe Miri Cronjob Bot-34/+34
2024-08-26Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-08-25Add test for triggering notification after timeouttiif-1/+40
2024-08-24Rollup merge of #129510 - GrigorenkoPV:fix-elided-named-lifetimes, r=cjgillotMatthias Krüger-1/+1
2024-08-24Rollup merge of #129501 - RalfJung:miri-rust-backtrace, r=NoratriebMatthias Krüger-33/+33
2024-08-25Add 0 preemption rate flagtiif-0/+2
2024-08-25Add 0 preemption rate flag for blocking test and fix commenttiif-1/+1
2024-08-25Make blocking_epoll_callback a private functiontiif-43/+41
2024-08-25Remove thread_id from epoll::thread_ids after timeouttiif-13/+9
2024-08-25Fix error introduced by rebasetiif-4/+9
2024-08-25Check if the thread is blocked before waking them uptiif-1/+13
2024-08-25Change timeout valuetiif-2/+2
2024-08-25Fix error in the timeout value error messagetiif-1/+1
2024-08-25Rename event to eventstiif-2/+2
2024-08-25Pass dest place reference to epoll_waittiif-5/+6
2024-08-25Improve commentbyt-1/+1
2024-08-25Support blocking for epolltiif-40/+239
2024-08-24Fix `elided_named_lifetimes` in codePavel Grigorenko-1/+1
2024-08-24panicking: improve hint for Miri's RUST_BACKTRACE behaviorRalf Jung-33/+33
2024-08-24Handle edge case for epoll_ctltiif-24/+105
2024-08-24Auto merge of #3836 - tiif:einval_ctl, r=oli-obkbors-0/+21
2024-08-24epoll: Add EINVAL casetiif-0/+21
2024-08-24Auto merge of #3840 - RalfJung:pipe-to-array, r=RalfJungbors-1/+12
2024-08-24fix calling pipe, pipe2, socketpair with a pointer-to-arrayRalf Jung-1/+12
2024-08-22Auto merge of #3835 - JoJoDeveloping:tb-fix-stack-overflow, r=RalfJungbors-21/+24
2024-08-22Avoid extra copy by using `retain_mut` and moving the deletion into the closureJohannes Hostert-21/+24
2024-08-22fix a misleading comment in TB testssun-jacobi-1/+1