about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2022-11-11Rollup merge of #104051 - RalfJung:miri, r=RalfJungManish Goregaokar-218/+831
2022-11-09Rollup merge of #104046 - RalfJung:run-miri-run, r=oli-obkMichael Goulet-10/+15
2022-11-09Rollup merge of #103570 - lukas-code:stabilize-ilog, r=scottmcmDylan DPC-2/+0
2022-11-06Auto merge of #2638 - DrMeepster:windows-condvars, r=RalfJungbors-30/+504
2022-11-06bootstrap: put Miri sysroot into local build dirRalf Jung-10/+15
2022-11-05fix shared behavior and add testsDrMeepster-3/+290
2022-11-05use enum for condvar locksDrMeepster-44/+76
2022-11-05impl condvars for windowsDrMeepster-30/+185
2022-11-05Merge from rustcRalf Jung-59/+13
2022-11-05Rollup merge of #103660 - ozkanonur:master, r=jyn514Dylan DPC-59/+11
2022-11-04Auto merge of #2641 - DrMeepster:init_once_acquire, r=RalfJungbors-33/+97
2022-11-04improve `filesearch::get_or_default_sysroot` r=ozkanonurOnur Özkan-59/+11
2022-11-03clarify no_data_race_after_complete testDrMeepster-2/+2
2022-11-03refactor into private functionsDrMeepster-26/+51
2022-11-02fix ./miri benchRalf Jung-1/+4
2022-10-31Auto merge of #102950 - oli-obk:check_miri, r=RalfJungbors-0/+2
2022-10-31bump up recursion limit for miri crateRalf Jung-0/+2
2022-10-31followup for pr 2640Rageking8-1/+1
2022-10-30add acquire when init once is already completeDrMeepster-20/+59
2022-10-31fix dupe word typosRageking8-2/+2
2022-10-30rustupRalf Jung-2/+2
2022-10-30Merge from rustcRalf Jung-4/+3
2022-10-30Auto merge of #103721 - RalfJung:miri, r=RalfJungbors-74/+346
2022-10-29Stacked Borrows: make scalar field retagging the defaultRalf Jung-42/+76
2022-10-29Auto merge of #2634 - RalfJung:miri-script, r=oli-obkbors-111/+146
2022-10-29explain how to go back to rustup-managed MiriRalf Jung-0/+3
2022-10-29merge rustup-toolchain into ./miriRalf Jung-68/+58
2022-10-29teach ./miri how to do Josh syncsRalf Jung-44/+89
2022-10-28relative futex and condvar timeouts can work with isolationRalf Jung-7/+100
2022-10-28cleanup some test cfgRalf Jung-13/+11
2022-10-28test most sync primitives on WindowsRalf Jung-5/+16
2022-10-28simplify Linux futex impl a bitRalf Jung-22/+7
2022-10-28threadleak_ignored should now pass with preemption (the issue has been fixed ...Ralf Jung-2/+1
2022-10-28implement thread parking on WindowsRalf Jung-8/+155
2022-10-28update ignore-windows commentsRalf Jung-7/+5
2022-10-28Auto merge of #2626 - RalfJung:pthread_setname_np, r=RalfJungbors-4/+19
2022-10-28pthread_setname_np returns an int on macOSRalf Jung-4/+19
2022-10-27Implement `ptr_mask` intrinsicMaybe Waffle-1/+30
2022-10-27Update miriMaybe Waffle-4/+3
2022-10-27change cronjob timeRalf Jung-1/+1
2022-10-26Auto merge of #2622 - RalfJung:ci, r=RalfJungbors-7/+3
2022-10-26simplify GHARalf Jung-7/+3
2022-10-26test on windows-gnu targetRalf Jung-0/+1
2022-10-26stabilize `int_log`Lukas Markeffsky-2/+0
2022-10-26Auto merge of #2620 - RalfJung:getname, r=RalfJungbors-36/+152
2022-10-26account for different max thread name lengths on different platformsRalf Jung-7/+23
2022-10-26add pthread_getname_npRalf Jung-31/+131
2022-10-26tweak docsRalf Jung-1/+4
2022-10-25Rename, improve docs, fail betterBen Kimock-14/+44
2022-10-25bless clippyRalf Jung-34/+34