about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
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
2024-12-19Implement blocking unnamed_sockettiif-114/+391
2024-12-18add more tests for SC access/fence consistencyRalf Jung-204/+355
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-1/+1
2024-12-18Merge from rustcThe Miri Cronjob Bot-2/+2
2024-12-18Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-12-16rename rustc_attr to rustc_attr_parsing and create rustc_attr_data_structuresJonathan Dönszelmann-2/+2
2024-12-15Merge from rustcThe Miri Cronjob Bot-17/+9
2024-12-15Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-12-14Rollup merge of #134191 - willcrichton:dev, r=RalfJung,lqdMatthias Krüger-2/+6
2024-12-14Merge pull request #4036 from Mandragorian/clapRalf Jung-335/+254
2024-12-14fix 'rustc-push' and adjust help textsRalf Jung-32/+60
2024-12-14address commentsKonstantin Andrikopoulos-4/+4
2024-12-14Update miri-script/src/main.rsKostis Andrikopoulos-0/+2
2024-12-14experiment with using clapKonstantin Andrikopoulos-305/+194
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-12 08:00:57 +0000