summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2024-10-11intrinsics.fmuladdf{16,32,64,128}: expose llvm.fmuladd.* semanticsJed Brown-0/+62
2024-10-05Fix up testsMichael Goulet-2/+49
2024-10-05Auto merge of #3943 - RalfJung:pthread-mutex-reentrant, r=RalfJungbors-14/+48
2024-10-05pthread mutex: better error in reentrant-locking-UB, also test PTHREAD_MUTEX_...Ralf Jung-14/+48
2024-10-04Implement LLVM x86 gfni intrinsicsTobias Decking-0/+518
2024-10-04Merge from rustcThe Miri Cronjob Bot-7/+7
2024-10-03make sure we also detect mixed-size races that begin at different addressesRalf Jung-1/+47
2024-10-03fmtRalf Jung-2/+2
2024-10-03Merge from rustcRalf Jung-245/+229
2024-10-02epoll: add vector clock to the epoll ready_listFrank Rehwinkel-109/+40
2024-10-02epoll: add data_race testFrank Rehwinkel-0/+108
2024-10-02bless miri testsjoboet-7/+7
2024-09-30Auto merge of #131036 - RalfJung:miri-sync, r=RalfJungbors-121/+285
2024-09-29let rustfmt format importsRalf Jung-87/+64
2024-09-29skip old getrandom crate on SolarisRalf Jung-0/+5
2024-09-28Auto merge of #3918 - devnexen:solaris_arc4random_buf, r=RalfJungbors-0/+13
2024-09-28implements arc4random_buf shim for freebsd/solarish platforms.David Carlier-0/+13
2024-09-28add tests for validity of Box with custom allocatorRalf Jung-0/+99
2024-09-28Further clarificarion for atomic and UnsafeCell docs:Ralf Jung-0/+17
2024-09-28allow mixed-size atomic readsRalf Jung-140/+175
2024-09-28miri: no longer complain about read-read racesRalf Jung-105/+37
2024-09-25Auto merge of #3915 - RalfJung:target-json-test, r=RalfJungbors-25/+24
2024-09-25switch custom target JSON test to a less exotic targetRalf Jung-25/+24
2024-09-25Android: Fixed tests for libc time APIYoh Deadfall-5/+25
2024-09-25avoid using HashMap in fs testRalf Jung-3/+3
2024-09-25add test for std::randomRalf Jung-0/+5
2024-09-25fmtThe Miri Cronjob Bot-1/+3
2024-09-25Merge from rustcThe Miri Cronjob Bot-8/+48
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-1/+1
2024-09-23Rollup merge of #130727 - compiler-errors:objects, r=RalfJungMichael Goulet-8/+41
2024-09-23Check vtable projections for validity in miriMichael Goulet-8/+41
2024-09-23add test for new abort_unwind functionRalf Jung-0/+44
2024-09-23update miri testjoboet-1/+1
2024-09-23miri: shim `CCRandomGenerateBytes`joboet-0/+7
2024-09-22Merge from rustcRalf Jung-2/+2
2024-09-21Auto merge of #127546 - workingjubilee:5-level-paging-exists, r=saethlinbors-2/+2
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-68/+68
2024-09-21Merge from rustcRalf Jung-4/+40
2024-09-20Auto merge of #124895 - obeis:static-mut-hidden-ref, r=compiler-errorsbors-0/+35
2024-09-20miri: An error message got changedJubilee Young-2/+2
2024-09-19Make the intention of the miri test more clearAdwin White-4/+5
2024-09-19Adapt test to new layoutAdwin White-2/+2
2024-09-17Use `@only-target` in SSE and SSE2 tests tooEduardo Sánchez Muñoz-1784/+1760
2024-09-17ptr_offset_unsigned_overflow: extend testRalf Jung-5/+6
2024-09-17Auto merge of #3891 - tiif:tokiotest, r=RalfJungbors-0/+38
2024-09-17Tokio ICE fix: Changed the type of EpollEventInterest::epfd from i32 to WeakF...tiif-0/+38
2024-09-16Fix run --depOli Scherer-0/+1
2024-09-16Refator DependencyBuilder constructionOli Scherer-14/+15
2024-09-16Bump ui testOli Scherer-1937/+1855
2024-09-15test std::time APIs on FreeBSD and SolarishRalf Jung-3/+3