about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
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-13Stabilize async closuresMichael Goulet-4/+4
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-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
2024-12-07Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-12-06Rollup merge of #130254 - GrigorenkoPV:QuotaExceeded, r=dtolnayMatthias Krüger-1/+1
2024-12-06remove a no-longer-needed work-aroundRalf Jung-6/+2
2024-12-06add testRalf Jung-1/+41
2024-12-06Remove all threading through of ErrorGuaranteed from the driverbjorn3-1/+2
2024-12-06Auto merge of #133089 - eholk:stabilize-noop-waker, r=dtolnaybors-10/+4
2024-12-06fix SC fence logicRalf Jung-4/+8
2024-12-06Rollup merge of #133211 - Strophox:miri-correct-state-update-ffi, r=RalfJungMatthias Krüger-47/+366
2024-12-06Merge pull request #4057 from RalfJung/scfixRalf Jung-241/+225
2024-12-06Merge from rustcThe Miri Cronjob Bot-0/+4
2024-12-06Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-12-05Stabilize noop_wakerEric Holk-10/+4
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-47/+366
2024-12-05Avoid passing byte slice to anonsocket_readtiif-8/+8
2024-12-05make SC fences stronger, to be correct wrt C++20Ralf Jung-147/+120
2024-12-05move GlobalState definition further up so the types are mor concentrated at t...Ralf Jung-98/+98
2024-12-05extend some comments regarding weak memory emulationRalf Jung-6/+17
2024-12-05Rollup merge of #118833 - Urgau:lint_function_pointer_comparisons, r=cjgillotLeón Orell Valerian Liehr-0/+4
2024-12-04Merge pull request #4006 from JoJoDeveloping/tb-fix-3846-retagRalf Jung-90/+329
2024-12-04Properly fix #3846 by resetting parents on lazy node creationJohannes Hostert-90/+306
2024-12-04implement simd_relaxed_fmaRalf Jung-33/+97
2024-12-04update lockfileRalf Jung-12/+12
2024-12-04fmtThe Miri Cronjob Bot-1/+5
2024-12-04Merge from rustcThe Miri Cronjob Bot-19/+58
2024-12-04Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-12-04Auto merge of #133818 - matthiaskrgr:rollup-iav1wq7, r=matthiaskrgrbors-5/+45
2024-12-03Rollup merge of #133726 - joshtriplett:breakpoint, r=oli-obkMatthias Krüger-5/+3
2024-12-03Rollup merge of #133681 - RalfJung:niches, r=wesleywiserMatthias Krüger-0/+42
2024-12-03Auto merge of #133803 - matthiaskrgr:rollup-8ag5ncy, r=matthiaskrgrbors-2/+2
2024-12-03Rollup merge of #132612 - compiler-errors:async-trait-bounds, r=lcnrMatthias Krüger-2/+2
2024-12-03switch jemalloc-sys back to tikv-jemalloc-sys, and update to 0.6.0Rémy Rakic-2/+4
2024-12-03miri: Adapt for `breakpoint` becoming safeJosh Triplett-5/+3
2024-12-02Use c"lit" for CStrings without unwrapKornel-10/+7
2024-12-02Allow fn pointers comparisons lint in UI testsUrgau-0/+4