about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
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-04add test to demonstrate the effect of #4008Johannes Hostert-0/+60
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
2024-12-02Gate async fn trait bound modifier on async_trait_boundsMichael Goulet-2/+2
2024-12-01Make metadata a FileDescription operationRune Tynan-14/+14
2024-12-01Split unix-specific function into UnixFileDescriptionRune Tynan-155/+190
2024-11-30Move FdTable to public location, fix up importsRune Tynan-456/+467
2024-11-30improve TagEncoding::Niche docs and sanity checkRalf Jung-0/+42
2024-11-28remove ctrlc, unusedklensy-30/+0
2024-11-28silence clippyRalf Jung-0/+1
2024-11-28fmtThe Miri Cronjob Bot-1/+2
2024-11-28Merge from rustcThe Miri Cronjob Bot-44/+64
2024-11-28Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-11-27Rollup merge of #132410 - bjorn3:yet_another_driver_refactor_round, r=cjgillotMatthias Krüger-44/+38
2024-11-26Merge pull request #4031 from devnexen/solarish_statRalf Jung-34/+75
2024-11-26filesystem support for solarish.David Carlier-34/+75
2024-11-26Merge pull request #4059 from tiif/fixtestOli Scherer-49/+18
2024-11-26Simplify thread blocking teststiif-49/+18