about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-10-14Auto merge of #3973 - RalfJung:os-unfair-lock, r=RalfJungbors-122/+297
2024-10-14ensure that a macOS os_unfair_lock that is moved while being held is not impl...Ralf Jung-59/+178
2024-10-14move lazy_sync helper methods to be with InterpCxRalf Jung-79/+103
2024-10-14De-duplicate and move `adjust_nan` to `InterpCx`Eduardo Sánchez Muñoz-4/+0
2024-10-14Auto merge of #3968 - YohDeadfall:variadic-arg-helper, r=RalfJungbors-84/+85
2024-10-14add test ensuring a moved mutex deadlocksRalf Jung-0/+32
2024-10-14Added a variadic argument helperYoh Deadfall-84/+85
2024-10-14Avoid some needless monomorphizationsOli Scherer-10/+7
2024-10-14pick more clear names for the typesRalf Jung-22/+19
2024-10-14turns out relaxed accesses suffice hereRalf Jung-2/+2
2024-10-14make lazy_sync_get_data also take a closure to initialize if neededRalf Jung-51/+32
2024-10-14Windows InitOnce: also store ID outside addressable memoryRalf Jung-165/+114
2024-10-14macOS os_unfair_lock: also store ID outside addressable memoryRalf Jung-49/+42
2024-10-14pthread_cond: also store ID outside addressable memoryRalf Jung-172/+109
2024-10-14pthread_rwlock: also store ID outside addressable memoryRalf Jung-135/+112
2024-10-14pthread_mutex: store mutex ID outside adressable memory, so it can be trustedRalf Jung-127/+181
2024-10-14clippyRalf Jung-0/+2
2024-10-14Merge from rustcRalf Jung-7/+154
2024-10-14Preparing for merge from rustcRalf Jung-1/+1
2024-10-14Rollup merge of #131593 - RalfJung:alloc-no-clone, r=saethlinMatthias Krüger-4/+12
2024-10-13Auto merge of #3957 - YohDeadfall:macos-thread-name, r=RalfJungbors-61/+191
2024-10-13rework threadname test for more consistencyRalf Jung-62/+122
2024-10-12Stabilize `const_option`Trevor Gross-1/+0
2024-10-12Fixed get thread name behavior for FreeBSDYoh Deadfall-8/+10
2024-10-12Fixed pthread get/set name for macOSYoh Deadfall-23/+91
2024-10-12miri: avoid cloning AllocExtraRalf Jung-4/+12
2024-10-11intrinsics.fmuladdf{16,32,64,128}: expose llvm.fmuladd.* semanticsJed Brown-0/+93
2024-10-11simplify Tree Borrows write-during-2phase exampleRalf Jung-13/+15
2024-10-11rename RcBox in other places tooJonathan Dönszelmann-2/+2
2024-10-10Auto merge of #3960 - tiif:smallchange, r=RalfJungbors-25/+68
2024-10-10add libc-pipe test to CI for freebsd, solarishRalf Jung-4/+4
2024-10-10Pipe minor changes: diagnostics, flag support and commentstiif-21/+64
2024-10-10Auto merge of #3950 - RalfJung:handle_unsupported_foreign_item, r=RalfJung,sa...bors-69/+3
2024-10-10remove -Zmiri-panic-on-unsupported flagRalf Jung-42/+2
2024-10-10remove handle_unsupported_foreign_item helperRalf Jung-36/+10
2024-10-10Auto merge of #3956 - RalfJung:epoll-ready-list, r=RalfJungbors-4/+5
2024-10-10epoll event adding: no need to join, there's no old clock hereRalf Jung-1/+1
2024-10-10Auto merge of #3959 - JakeRoggenbuck:fix-spelling-in-readme, r=saethlinbors-2/+2
2024-10-09syscall/eventfd2: add supportFrank Rehwinkel-29/+21
2024-10-09syscall/eventfd2: add failing testFrank Rehwinkel-0/+29
2024-10-09Auto merge of #3946 - FrankReh:fix-over-synchronization-of-epoll, r=RalfJungbors-11/+128
2024-10-09epoll: change clock to be per eventFrank Rehwinkel-28/+41
2024-10-09Auto merge of #3953 - YohDeadfall:glibc-thread-name, r=RalfJungbors-24/+80
2024-10-09Fixed pthread_getname_np impl for glibcYoh Deadfall-24/+80
2024-10-09epoll: rename blocking_epoll_callback since it is not just called after unblo...Ralf Jung-4/+5
2024-10-09explain the review bot useRalf Jung-0/+8
2024-10-08epoll: test case showing too much clock syncFrank Rehwinkel-0/+104
2024-10-08fix behavior of release_clock()Ralf Jung-30/+90
2024-10-07Fix spelling in READMEJake-2/+2
2024-10-07bump rustc_tools_util versionRalf Jung-4/+4