about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail-dep
AgeCommit message (Expand)AuthorLines
2024-10-08fix behavior of release_clock()Ralf Jung-0/+51
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-6/+4
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-2/+2
2024-09-16Bump ui testOli Scherer-218/+218
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-25Support blocking for epolltiif-29/+0
2024-08-24Handle edge case for epoll_ctltiif-0/+32
2024-08-14Implement epoll shimtiif-3/+3
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-16/+10
2024-08-05bump dependenciesRalf Jung-1/+1
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-2/+2
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-15/+15
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-07-10Auto merge of #3720 - safinaskar:read, r=RalfJungbors-0/+42
2024-07-09Fix libc::read shim: make it write to a buffer correct amount of bytes. Add t...Askar Safin-0/+42
2024-07-05implement `libc::sched_getaffinity` and `libc::sched_setaffinity`Folkert-0/+37
2024-06-17tell people how to set miri flagsRalf Jung-6/+6
2024-06-10Add socketpair shimtiif-0/+56
2024-06-09Follow up fix for eventfd shimtiif-4/+2
2024-06-08Add eventfd shimtiif-0/+62
2024-05-18support aligned_alloc for unixes support.David Carlier-0/+30
2024-05-12Add non-null pointer for posix_memaligntiif-0/+64
2024-05-09Implement non-null pointer for malloc(0)tiif-0/+52
2024-05-06organize libc tests into a proper folder, and run some of them on WindowsRalf Jung-50/+42
2024-05-05pthread shims: reorganize field offset handlingRalf Jung-0/+1
2024-05-04only show the 'basic API common for this target' message when this is a missi...Ralf Jung-6/+2
2024-05-04update 'unsupported' messageRalf Jung-5/+10
2024-04-18make realloc with a size of zero failRalf Jung-0/+25
2024-04-16deadlock: show backtrace for all threadsRalf Jung-5/+110
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-12/+19
2024-01-19Fix typo in munmap_partial.rsIkko Eltociear Ashimine-1/+1
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-12-17Make mmap not use expose semanticsBen Kimock-99/+11
2023-11-25blessRalf Jung-1/+1
2023-11-25Merge from rustcRalf Jung-48/+48
2023-11-24Bless Miri testsNilstrieb-48/+48
2023-11-23detect and test for data races between setenv and getenvRalf Jung-0/+37
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-2/+2
2023-09-22Move `fail` tests that need dependencies into their own folder, so that wasm ...Oli Scherer-0/+1565
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-24 18:57:17 +0000