about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
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
2024-11-30improve TagEncoding::Niche docs and sanity checkRalf Jung-0/+42
2024-11-28Merge from rustcThe Miri Cronjob Bot-0/+18
2024-11-26Merge pull request #4031 from devnexen/solarish_statRalf Jung-2/+5
2024-11-26filesystem support for solarish.David Carlier-2/+5
2024-11-26Merge pull request #4059 from tiif/fixtestOli Scherer-49/+18
2024-11-26Simplify thread blocking teststiif-49/+18
2024-11-25Fix the rest of the testsYoh Deadfall-6/+3
2024-11-25Fixed test targetYoh Deadfall-2/+1
2024-11-25Added epoll and eventfd for AndroidYoh Deadfall-0/+4
2024-11-25miri: implement `TlsFree`joboet-0/+18
2024-11-24sysconf: add _SC_OPEN_MAXDavid Carlier-0/+2
2024-11-24follow-up on #4052, making a miri evaluation context fn for strerror_r.David Carlier-0/+16
2024-11-23Merge pull request #4052 from devnexen/gh4050Ralf Jung-0/+17
2024-11-23sysconf interception fix for solarish systems.David Carlier-0/+17
2024-11-22epoll: fix comment typoRalf Jung-1/+1
2024-11-21eventfd: comment tweaksRalf Jung-2/+2
2024-11-20Merge pull request #4026 from eduardosm/soft-sqrtRalf Jung-2/+12