about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
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
2024-12-14Rollup merge of #134251 - bjorn3:various_cleanups2, r=oli-obkMatthias Krüger-3/+2
2024-12-14Rollup merge of #134181 - estebank:trim-render, r=oli-obkMatthias Krüger-12/+1
2024-12-13Fix miri testsEsteban Küber-12/+1
2024-12-13Make dependency_formats an FxIndexMap rather than a list of tuplesbjorn3-3/+2
2024-12-13Merge from rustcThe Miri Cronjob Bot-4/+4
2024-12-13Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-12-13Stabilize async closuresMichael Goulet-4/+4
2024-12-12Make BorrowSet/BorrowData fields accessible via public gettersWill Crichton-2/+6
2024-12-12fix use of this.allocate_bytesRalf Jung-8/+1
2024-12-12Merge from rustcRalf Jung-104/+3
2024-12-12Preparing for merge from rustcRalf Jung-1/+1
2024-12-12Merge pull request #4069 from shamb0/string_deduplication_for_localtime_rRalf Jung-20/+233
2024-12-12Improve timezone handling in 'localtime_r()' using 'allocate_bytes()'shamb0-20/+233
2024-12-12Merge pull request #4091 from RalfJung/bench-bumpRalf Jung-75/+138
2024-12-12bench-cargo-miri: bump lockfilesRalf Jung-75/+138
2024-12-12Merge pull request #4068 from devnexen/solarish_stat2Ralf Jung-31/+62
2024-12-12./miri bench: add a flag to skip the install stepRalf Jung-8/+18
2024-12-12ci TEST_BENCH: show outputRalf Jung-1/+1
2024-12-12solarish stat following-up, supports for readdir.David Carlier-31/+62
2024-12-11./miri bench: set toolchain explicitlyRalf Jung-1/+2
2024-12-11Merge pull request #4008 from JoJoDeveloping/tb-access-state-based-skippingRalf Jung-1/+88
2024-12-10TB: optimize accesses on large trees by ignoring subtrees if the access would...Johannes Hostert-7/+34
2024-12-09Rollup merge of #134055 - RalfJung:interpret-alloc-dedup, r=oli-obkLeón Orell Valerian Liehr-104/+3
2024-12-09interpret: clean up deduplicating allocation functionsRalf Jung-104/+3
2024-12-09Enable `[bot-pull-requests]` triagebot featureJakub Beránek-0/+3
2024-12-09Merge from rustcRalf Jung-1/+2
2024-12-09Preparing for merge from rustcRalf Jung-1/+1
2024-12-09Rollup merge of #134050 - RalfJung:miri-sync, r=RalfJungMatthias Krüger-1163/+1755
2024-12-09Rollup merge of #133567 - bjorn3:various_cleanups, r=cjgillotMatthias Krüger-1/+2
2024-12-08fix buildRalf Jung-2/+2
2024-12-08Merge from rustcThe Miri Cronjob Bot-1/+1
2024-12-08Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-12-07add weak memory consistency test for mixing SC accesses and fencesRalf Jung-0/+30
2024-12-07Auto merge of #133978 - matthiaskrgr:rollup-6gh1iho, r=matthiaskrgrbors-1/+1
2024-12-07fmtThe Miri Cronjob Bot-15/+10
2024-12-07Merge from rustcThe Miri Cronjob Bot-57/+370