about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass-dep/concurrency
AgeCommit message (Expand)AuthorLines
2025-06-30linux futex: fix for val > i32::MAXRalf Jung-0/+5
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-6/+6
2025-04-29Added random schedulinggeetanshjuneja-6/+6
2025-04-10Merge pull request #4209 from LorrensP-2158466/freebsd_futexRalf Jung-0/+260
2025-04-10feature: implement WAIT & WAKE operations of FreeBSD _umtx_op syscall for Fut...LorrensP-2158466-0/+260
2025-04-04fix windows_join_multipleRalf Jung-2/+8
2025-03-27run a few more concurrency tests on aarch64-linux-androidRalf Jung-3/+3
2025-02-02shim Apple's futex primitivesjoboet-0/+276
2025-01-26make linux-futex test less flakyRalf Jung-3/+2
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-10-28Android: Added syscall supportYoh Deadfall-0/+1
2024-10-14ensure that a macOS os_unfair_lock that is moved while being held is not impl...Ralf Jung-2/+2
2024-09-29let rustfmt format importsRalf Jung-4/+2
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-2/+2
2024-09-20Auto merge of #124895 - obeis:static-mut-hidden-ref, r=compiler-errorsbors-0/+6
2024-09-16Bump ui testOli Scherer-7/+7
2024-09-13Update tests for hidden references to mutable staticObei Sideg-0/+6
2024-09-15move two tests to a better locationRalf Jung-166/+0
2024-08-27Make Tree Borrows Provenance GC compact the treeJohannes Hostert-1/+3
2024-07-14implement the `os_unfair_lock` functions on macOSjoboet-0/+25
2024-06-15std: refactor the TLS implementationjoboet-3/+3
2024-05-06organize libc tests into a proper folder, and run some of them on WindowsRalf Jung-3/+25
2024-03-09windows: remove support for slim rwlockRalf Jung-286/+0
2024-03-04linux-futex test: add commentRalf Jung-0/+1
2024-02-17add direct test of pthread_condRalf Jung-0/+0
2024-02-12comment tweaksRalf Jung-2/+2
2023-12-29undo some lockfile changes, add explicit types to testsDrMeepster-63/+45
2023-12-25have windows tests use windows-sysDrMeepster-0/+536
2023-10-24futex text: avoid spurious non-atomic readsRalf Jung-13/+13
2023-04-14Fix spellingJosh Soref-8/+8
2022-10-28relative futex and condvar timeouts can work with isolationRalf Jung-0/+82
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+448
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 12:07:18 +0000