about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2024-08-18Auto merge of #3818 - tiif:loseevents, r=RalfJungbors-0/+64
2024-08-18epoll: iterate through output buffer then fetch an event from ready listtiif-0/+64
2024-08-18Auto merge of #3825 - RalfJung:epoll-miri, r=RalfJungbors-3/+9
2024-08-18epoll test_socketpair_read: explicitly check real and Miri behaviorRalf Jung-3/+9
2024-08-18Move the maxevents.try_into().unwrap() after value checktiif-3/+2
2024-08-18Set EINVAL for epoll_wait maxevent value 0tiif-0/+15
2024-08-18Apply test fixtiif-38/+65
2024-08-17tls_leak_main_thread_allowed: make test check target_thread_localRalf Jung-10/+13
2024-08-17Auto merge of #3819 - RalfJung:epoll-test, r=RalfJungbors-41/+37
2024-08-17epoll test: further clean up check_epoll_waitRalf Jung-41/+37
2024-08-17test cleanupRalf Jung-55/+30
2024-08-17socketpair: test behavior when one end got closedRalf Jung-0/+20
2024-08-17implement pipe and pipe2Ralf Jung-6/+120
2024-08-17Add epoll EPOLLHUP flag supporttiif-2/+4
2024-08-16Auto merge of #3809 - RalfJung:fd-refcell, r=oli-obkbors-145/+98
2024-08-16Auto merge of #3754 - Vanille-N:master, r=RalfJungbors-46/+46
2024-08-16explain the behavior on closed peersRalf Jung-0/+1
2024-08-16more epoll test cleanupRalf Jung-29/+25
2024-08-16comment and test regarding notifications on writes that dont change readinessRalf Jung-0/+12
2024-08-16epoll test cleanupRalf Jung-118/+58
2024-08-16FD: remove big surrounding RefCell, simplify socketpairRalf Jung-0/+4
2024-08-14Auto merge of #3712 - tiif:feat/epoll, r=oli-obkbors-3/+555
2024-08-14Implement epoll shimtiif-3/+555
2024-08-14Merge from rustcRalf Jung-2/+14
2024-08-13Auto merge of #3802 - RalfJung:no-more-call-id, r=RalfJungbors-34/+34
2024-08-13remove the concept of a Call IDRalf Jung-34/+34
2024-08-13Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlinbors-2/+14
2024-08-12Auto merge of #3798 - RalfJung:miri-script-remap-path-prefix, r=saethlinbors-5/+7
2024-08-12miri weak memory emulation: initialize store buffer only on atomic writes; pr...Ralf Jung-11/+66
2024-08-12fix tree borrows Unique testRalf Jung-11/+7
2024-08-12Merge from rustcRalf Jung-3/+9
2024-08-12Auto merge of #126793 - saethlin:mono-rawvec, r=scottmcmbors-3/+7
2024-08-10miri-script: use --remap-path-prefix to print errors relative to the right rootRalf Jung-5/+7
2024-08-10Fixes in various placesNadrieril-0/+2
2024-08-09Add a FIXME to the changed Miri testBen Kimock-0/+2
2024-08-09Bless MiriBen Kimock-3/+5
2024-08-09throw_unsup_format for alignment greater than 2^29 and refactor non-power-of-...tiif-0/+54
2024-08-07allow all code to call getuid()Ralf Jung-1/+5
2024-08-07Auto merge of #3747 - RalfJung:sse-cleanup, r=RalfJungbors-3/+3
2024-08-07remove some SSE/SSE2 intrinsics that are no longer used by stdarchRalf Jung-3/+3
2024-08-07Merge from rustcThe Miri Cronjob Bot-21/+15
2024-08-06miri: make vtable addresses not globally uniqueRalf Jung-2/+14
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-21/+15
2024-08-06add return-place-protection tail-call test, and fix previous testRalf Jung-39/+157
2024-08-05Auto merge of #3789 - RalfJung:deps, r=RalfJungbors-1/+1
2024-08-05bump dependenciesRalf Jung-1/+1
2024-08-05use a Miri-specific folder for ui testsRalf Jung-1/+1
2024-08-05Merge from rustcRalf Jung-0/+23
2024-08-03Miri: add a flag to do recursive validity checkingRalf Jung-0/+23
2024-08-03Merge from rustcThe Miri Cronjob Bot-25/+0