about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-01-02tweak docs a littleRalf Jung-35/+19
2025-01-01Try to write the panic message with a single `write_all` callJohn Kåre Alsaker-0/+58
2024-12-31Merge from rustcThe Miri Cronjob Bot-10/+60
2024-12-31Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-12-30Auto merge of #134757 - RalfJung:const_swap, r=scottmcmbors-10/+60
2024-12-30fmtRalf Jung-2/+2
2024-12-29Merge pull request #4115 from RalfJung/epollOli Scherer-41/+40
2024-12-29concurrency: Generalize UnblockCallback to MachineCallbackshamb0-130/+186
2024-12-29an EpollEventInterest does not need to ref both its FD and its ready listRalf Jung-15/+18
2024-12-29triagebot: enable merge conflict notificationRalf Jung-0/+8
2024-12-28epoll: avoid some clonesRalf Jung-28/+24
2024-12-28epoll: keep strong reference while blockingRalf Jung-39/+27
2024-12-28FD handling: avoid unnecessary dynamic downcastsRalf Jung-247/+243
2024-12-28fix toolchain flag parsingRyan Mehri-0/+1
2024-12-27also clean up eventfd code in the same veinRalf Jung-30/+25
2024-12-27add test for close-while-blockedRalf Jung-8/+78
2024-12-27bring socket logic back together and fix logic bugRalf Jung-86/+74
2024-12-27clippyRalf Jung-6/+6
2024-12-27Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-12-25swap_typed_nonoverlapping: properly detect overlap even when swapping scalar ...Ralf Jung-3/+25
2024-12-25rename typed_swap → typed_swap_nonoverlappingRalf Jung-12/+12
2024-12-25we generally make later flags overwrite earlier flags, so remove some logic g...Ralf Jung-18/+3
2024-12-25remove some flags that have been hard errors for a whileRalf Jung-9/+0
2024-12-25show an error on some invalid flag combinations: TB + permissive provenance; ...Ralf Jung-17/+21
2024-12-25miri: add test for overlapping typed_swapRalf Jung-0/+28
2024-12-23use std::sync::Once instead of hand-rolling a bad version of itRalf Jung-13/+12
2024-12-23many-seeds: add flag to keep going even after we found a failing seedRalf Jung-7/+24
2024-12-23stop using process-wide state, now that we are running multiple interpreters ...Ralf Jung-47/+47
2024-12-23remove --many-seeds from ./miri runRalf Jung-120/+30
2024-12-23remove many-seeds mode from cargo-miriRalf Jung-182/+104
2024-12-23add -Zmiri-many-seeds flag to the driver itselfRalf Jung-94/+172
2024-12-22CONTRIBUTING: explain how to do benchmarking with a baselineRalf Jung-0/+9
2024-12-22miri-script: add option to compare with baseline resultsRalf Jung-8/+50
2024-12-22miri-script: support saving bench results in a baseline JSON fileRalf Jung-10/+60
2024-12-21Merge pull request #4103 from RalfJung/remove-unusedRalf Jung-14/+5
2024-12-21remove an unused helper methodRalf Jung-14/+5
2024-12-21Merge pull request #4090 from RalfJung/sc-testRalf Jung-204/+355
2024-12-21Merge from rustcThe Miri Cronjob Bot-6/+8
2024-12-21Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-12-20Rollup merge of #134514 - bjorn3:more_driver_refactors, r=jieyouxuDianQK-6/+8
2024-12-20fmtRalf Jung-411/+211
2024-12-20Merge from rustcRalf Jung-447/+472
2024-12-20Preparing for merge from rustcRalf Jung-1/+1
2024-12-20Rollup merge of #133103 - tiif:fnabi, r=RalfJungJacob Pratt-446/+471
2024-12-20Merge from rustcThe Miri Cronjob Bot-1/+1
2024-12-20Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-12-19Make DependencyList an IndexVecbjorn3-6/+8
2024-12-19Pass FnAbi to find_mir_or_eval_fntiif-446/+471
2024-12-19add warning explaining the limitations of the native code modeRalf Jung-10/+88
2024-12-18Merge pull request #4072 from tiif/blockopOli Scherer-114/+391
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 03:55:27 +0000