summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2024-11-17Likely unlikely fixJiri Bobek-1/+1
2024-11-10fix linux-futex test being accidentally disabledRalf Jung-3/+2
2024-11-10store futexes in per-allocation data rather than globallyRalf Jung-2/+5
2024-11-09Merge pull request #4020 from RalfJung/thread-sopeRalf Jung-0/+24
2024-11-09pthread-sync: avoid confusing error when running with preemptionRalf Jung-0/+24
2024-11-09Merge from rustcThe Miri Cronjob Bot-1/+25
2024-11-08Get/set thread name shims return errors for invalid handlesYoh Deadfall-0/+25
2024-11-08remove support for rustc_safe_intrinsic attribute; use rustc_intrinsic functi...Ralf Jung-1/+1
2024-11-04miri: update ABI compat checks to accept Option-like typesRalf Jung-0/+24
2024-11-02teach clippy about IeeeFloat, and make all 'allow' into 'expect'Ralf Jung-1/+1
2024-10-30Merge from rustcThe Miri Cronjob Bot-1/+1
2024-10-29Rollup merge of #132233 - WaffleLapkin:box-module-split, r=workingjubileeJubilee-1/+1
2024-10-28Bless a miri testMaybe Lapkin-1/+1
2024-10-28Merge pull request #3992 from YohDeadfall/android-syscallRalf Jung-20/+22
2024-10-28Android: Added syscall supportYoh Deadfall-20/+22
2024-10-26Adjust the vpclmulqdq test caseTobias Decking-3/+7
2024-10-26Implement LLVM x86 vpclmulqdq intrinsicsTobias Decking-0/+189
2024-10-22fmtThe Miri Cronjob Bot-1/+0
2024-10-22Merge from rustcThe Miri Cronjob Bot-36/+4
2024-10-21Auto merge of #3899 - YohDeadfall:prctl-thread-name, r=RalfJungbors-0/+106
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-36/+4
2024-10-21Added support for prctl handling thread namesYoh Deadfall-0/+106
2024-10-20fmtThe Miri Cronjob Bot-1/+2
2024-10-20Merge from rustcThe Miri Cronjob Bot-0/+55
2024-10-18tail_calls: add test ensuring local vars are indeed goneRalf Jung-0/+46
2024-10-18pthread-threadname: ensure we can see the name set via the Rust APIRalf Jung-0/+17
2024-10-18Add more testsJules Bertholet-0/+55
2024-10-17miri: improve support for `f16` and `f128`Eduardo Sánchez Muñoz-9/+151
2024-10-17data-race test: disable address reuse that can incur accidental syncRalf Jung-1/+1
2024-10-15Rollup merge of #131521 - jdonszelmann:rc, r=joboetMichael Goulet-2/+2
2024-10-14Auto merge of #3973 - RalfJung:os-unfair-lock, r=RalfJungbors-2/+60
2024-10-14ensure that a macOS os_unfair_lock that is moved while being held is not impl...Ralf Jung-2/+28
2024-10-14Auto merge of #3968 - YohDeadfall:variadic-arg-helper, r=RalfJungbors-4/+4
2024-10-14add test ensuring a moved mutex deadlocksRalf Jung-0/+32
2024-10-14Added a variadic argument helperYoh Deadfall-4/+4
2024-10-14pthread_cond: also store ID outside addressable memoryRalf Jung-6/+6
2024-10-14pthread_rwlock: also store ID outside addressable memoryRalf Jung-3/+3
2024-10-14pthread_mutex: store mutex ID outside adressable memory, so it can be trustedRalf Jung-6/+6
2024-10-14Merge from rustcRalf Jung-2/+111
2024-10-13Auto merge of #3957 - YohDeadfall:macos-thread-name, r=RalfJungbors-39/+122
2024-10-13rework threadname test for more consistencyRalf Jung-62/+122
2024-10-12Fixed get thread name behavior for FreeBSDYoh Deadfall-6/+5
2024-10-12Fixed pthread get/set name for macOSYoh Deadfall-2/+26
2024-10-11intrinsics.fmuladdf{16,32,64,128}: expose llvm.fmuladd.* semanticsJed Brown-0/+62
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-5/+26
2024-10-10Pipe minor changes: diagnostics, flag support and commentstiif-5/+26
2024-10-10remove -Zmiri-panic-on-unsupported flagRalf Jung-16/+0
2024-10-10remove handle_unsupported_foreign_item helperRalf Jung-13/+0