summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2025-01-01Try to write the panic message with a single `write_all` callJohn Kåre Alsaker-0/+58
2024-12-30Auto merge of #134757 - RalfJung:const_swap, r=scottmcmbors-10/+60
2024-12-30fmtRalf Jung-2/+2
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-25show an error on some invalid flag combinations: TB + permissive provenance; ...Ralf Jung-8/+2
2024-12-25miri: add test for overlapping typed_swapRalf Jung-0/+28
2024-12-21Merge pull request #4090 from RalfJung/sc-testRalf Jung-204/+355
2024-12-19add warning explaining the limitations of the native code modeRalf Jung-0/+36
2024-12-18Merge pull request #4072 from tiif/blockopOli Scherer-34/+232
2024-12-19Implement blocking unnamed_sockettiif-34/+232
2024-12-18add more tests for SC access/fence consistencyRalf Jung-204/+355
2024-12-15Merge from rustcThe Miri Cronjob Bot-12/+1
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-13Merge from rustcThe Miri Cronjob Bot-4/+4
2024-12-13Stabilize async closuresMichael Goulet-4/+4
2024-12-12Merge from rustcRalf Jung-92/+0
2024-12-12Merge pull request #4069 from shamb0/string_deduplication_for_localtime_rRalf Jung-16/+219
2024-12-12Improve timezone handling in 'localtime_r()' using 'allocate_bytes()'shamb0-16/+219
2024-12-12solarish stat following-up, supports for readdir.David Carlier-6/+8
2024-12-11Merge pull request #4008 from JoJoDeveloping/tb-access-state-based-skippingRalf Jung-0/+60
2024-12-10TB: optimize accesses on large trees by ignoring subtrees if the access would...Johannes Hostert-6/+6
2024-12-09Rollup merge of #134055 - RalfJung:interpret-alloc-dedup, r=oli-obkLeón Orell Valerian Liehr-92/+0
2024-12-09interpret: clean up deduplicating allocation functionsRalf Jung-92/+0
2024-12-07add weak memory consistency test for mixing SC accesses and fencesRalf Jung-0/+30
2024-12-07fmtThe Miri Cronjob Bot-9/+3
2024-12-07Merge from rustcThe Miri Cronjob Bot-29/+319
2024-12-06remove a no-longer-needed work-aroundRalf Jung-6/+2
2024-12-06add testRalf Jung-1/+41
2024-12-06Auto merge of #133089 - eholk:stabilize-noop-waker, r=dtolnaybors-10/+4
2024-12-06Rollup merge of #133211 - Strophox:miri-correct-state-update-ffi, r=RalfJungMatthias Krüger-19/+315
2024-12-06Merge pull request #4057 from RalfJung/scfixRalf Jung-117/+87
2024-12-06Merge from rustcThe Miri Cronjob Bot-0/+4
2024-12-05Stabilize noop_wakerEric Holk-10/+4
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-19/+315
2024-12-05make SC fences stronger, to be correct wrt C++20Ralf Jung-117/+87
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-04implement simd_relaxed_fmaRalf Jung-30/+83
2024-12-04fmtThe Miri Cronjob Bot-1/+5
2024-12-04Merge from rustcThe Miri Cronjob Bot-17/+54
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-03Rollup merge of #132612 - compiler-errors:async-trait-bounds, r=lcnrMatthias Krüger-2/+2
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