about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail-dep/concurrency
AgeCommit message (Expand)AuthorLines
2025-09-10bless miri testsjoboet-12/+12
2025-07-18Show the memory of uninit readsOli Scherer-32/+25
2025-07-17Report the range of uninit bytes in CTFE errorsOli Scherer-10/+42
2025-06-29Add shims for `gettid`-esque functionsTrevor Gross-0/+22
2025-06-07bless non-Linux testsRalf Jung-17/+17
2025-06-07make better use of label for data-race and some other errorsRalf Jung-21/+21
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-36/+36
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-3/+9
2025-04-29Added random schedulinggeetanshjuneja-3/+3
2025-04-08Implement trivial file operations - opening and closing handles. Just enough ...Rune Tynan-1/+1
2024-12-13Fix miri testsEsteban Küber-2/+1
2024-10-14ensure that a macOS os_unfair_lock that is moved while being held is not impl...Ralf Jung-0/+26
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-05avoid pthread_attr_t in testsRalf Jung-18/+24
2024-10-05pthread mutex: better error in reentrant-locking-UB, also test PTHREAD_MUTEX_...Ralf Jung-14/+48
2024-09-29let rustfmt format importsRalf Jung-2/+1
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-2/+2
2024-09-16Bump ui testOli Scherer-126/+126
2024-09-15pthread: add FreeBSD, remove PTHREAD_MUTEX_NORMAL_FLAG hackRalf Jung-1/+2
2024-09-14detect when pthread_cond_t is movedKonstantinos Andrikopoulos-0/+77
2024-09-09detect when pthread_rwlock_t is movedKonstantinos Andrikopoulos-0/+29
2024-09-05Detect pthread_mutex_t is movedKonstantinos Andrikopoulos-0/+68
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-16/+10
2024-07-15lib: replace some `mem::forget`'s with `ManuallyDrop`Pavel Grigorenko-3/+3
2024-07-14implement the `os_unfair_lock` functions on macOSjoboet-0/+102
2024-06-17tell people how to set miri flagsRalf Jung-1/+1
2024-05-06organize libc tests into a proper folder, and run some of them on WindowsRalf Jung-8/+766
2024-04-16deadlock: show backtrace for all threadsRalf Jung-2/+47
2024-03-02remove the ability to disable ABI checkingRalf Jung-50/+0
2024-03-02add option to track all read/write accesses to tracked allocationsRalf Jung-0/+2
2024-03-02print thread name in miri error backtracesRalf Jung-6/+6
2024-01-11std: update miri testsjoboet-2/+2
2023-12-29undo some lockfile changes, add explicit types to testsDrMeepster-2/+2
2023-12-25have windows tests use windows-sysDrMeepster-0/+112
2023-11-24Bless Miri testsNilstrieb-9/+9
2023-09-22Move `fail` tests that need dependencies into their own folder, so that wasm ...Oli Scherer-0/+325