summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-08-31Auto merge of #129831 - matthiaskrgr:rollup-befq6zx, r=matthiaskrgrbors-5/+257
2024-08-31Rollup merge of #129684 - Strophox:miri-pass-pointer-to-ffi, r=RalfJungMatthias Krüger-5/+257
2024-08-31Rollup merge of #129785 - RalfJung:miri-sync, r=RalfJungMatthias Krüger-441/+1197
2024-08-30enable Miri to pass const pointers through FFIStrophox-5/+257
2024-08-30Merge from rustcThe Miri Cronjob Bot-5/+0
2024-08-30Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-08-29interpret/visitor: make memory order iteration slightly more efficientRalf Jung-8/+5
2024-08-29fix wasm testRalf Jung-15/+28
2024-08-29Merge from rustcThe Miri Cronjob Bot-6/+44
2024-08-29Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-08-28Rollup merge of #129401 - workingjubilee:partial-initialization-of-stabilizat...Jubilee-5/+0
2024-08-28Rollup merge of #129613 - RalfJung:interpret-target-feat, r=saethlinMatthias Krüger-6/+40
2024-08-28Rollup merge of #129608 - RalfJung:const-eval-ub-checks, r=saethlinMatthias Krüger-0/+4
2024-08-28Auto merge of #3837 - JoJoDeveloping:tb-compacting-provenance-gc, r=RalfJungbors-17/+237
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-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