about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-03-08Tweak the way we protect in-place function arguments in interpretersMaybe Waffle-11/+4
2024-03-08Rollup merge of #121194 - beetrees:rustc-raw-args, r=petrochenkovMatthias Krüger-2/+4
2024-03-08fix clippy lintsRalf Jung-5/+5
2024-03-08Merge from rustcThe Miri Cronjob Bot-113/+118
2024-03-08Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-03-07Auto merge of #122139 - GuillaumeGomez:rollup-37vtwsc, r=GuillaumeGomezbors-1/+7
2024-03-07Auto merge of #121985 - RalfJung:interpret-return-place, r=oli-obkbors-112/+111
2024-03-07Use `rustc_driver::args::raw_args()` in Miribeetrees-2/+4
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-06make remaining FloatTy matches exhaustiveRalf Jung-19/+17
2024-03-06Merge from rustcRalf Jung-2/+33
2024-03-06Preparing for merge from rustcRalf Jung-1/+1
2024-03-06Auto merge of #121956 - ChrisDenton:srwlock, r=joboetbors-0/+21
2024-03-06Stabilize `imported_main`clubby789-6/+0
2024-03-06Auto merge of #3340 - RalfJung:no-disable-abi-check, r=oli-obkbors-128/+11
2024-03-05Rename `DiagnosticMessage` as `DiagMessage`.Nicholas Nethercote-2/+2
2024-03-05Windows: Implement mutex using futexChris Denton-0/+21
2024-03-04consistently use MPlaceTy for return placesRalf Jung-112/+111
2024-03-04Bump mio from 0.8.10 to 0.8.11 in /test_dependenciesdependabot[bot]-2/+2
2024-03-04Auto merge of #3358 - RalfJung:zzz, r=RalfJungbors-10/+17
2024-03-04give macOS even more time to sleepRalf Jung-10/+17
2024-03-04Auto merge of #3357 - RalfJung:imports, r=RalfJungbors-8/+12
2024-03-04Auto merge of #3356 - RalfJung:typo, r=RalfJungbors-1/+1
2024-03-04reorder rustc crate imports a bitRalf Jung-8/+12
2024-03-04Conjob → CronjobRalf Jung-1/+1
2024-03-04Use cargo miri clean in build-all-targets.shBen Kimock-1/+1
2024-03-04we properly rebuild the cache now when MIRI_LIB_SRC contents changeRalf Jung-5/+1
2024-03-04Auto merge of #3351 - RalfJung:diagnostic-dedup-considered-harmful, r=RalfJungbors-5/+36
2024-03-04Auto merge of #3339 - RalfJung:remove-old-flags, r=saethlinbors-11/+0
2024-03-04linux-futex test: add commentRalf Jung-0/+1
2024-03-04implement manual deduplication for isolation-error=warn-nobacktraceRalf Jung-5/+16
2024-03-04disable diagnostic deduplicationRalf Jung-0/+19
2024-03-03Auto merge of #121936 - RalfJung:miri, r=RalfJungbors-343/+607
2024-03-03Auto merge of #3330 - RossSmyth:win-fmt, r=RalfJungbors-30/+64
2024-03-03nits and typosRalf Jung-3/+4
2024-03-03do not rely on tracing's scope exit logging, it is wrongRalf Jung-9/+19
2024-03-03log when we change the active threadRalf Jung-4/+12
2024-03-03fix MIRI_LOG=info not setting the level for miri itselfRalf Jung-1/+1
2024-03-03Auto merge of #3345 - RalfJung:win-get-thread-name, r=RalfJungbors-44/+145
2024-03-03Windows: support getting the thread nameRalf Jung-20/+94
2024-03-03fix wording of alloc access tracking messageRalf Jung-1/+1
2024-03-03readmeRalf Jung-0/+2
2024-03-03move thread-panic tests to their own file; test getting the thread nameRalf Jung-24/+51
2024-03-02Fix .\miri fmt on WindowsRoss Smyth-30/+63
2024-03-02Tree Borrows: print where the forbidden access happens; make tag tracking les...Ralf Jung-104/+125
2024-03-02remove the ability to disable ABI checkingRalf Jung-128/+11
2024-03-02add option to track all read/write accesses to tracked allocationsRalf Jung-14/+38
2024-03-02print thread name in miri error backtracesRalf Jung-170/+219
2024-03-02remove some flags that haven't had an effect in a whileRalf Jung-11/+0