about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-05-04remove some dead codeRalf Jung-3/+0
2024-05-04bless and fmtRalf Jung-5/+13
2024-05-04Merge from rustcRalf Jung-34/+65
2024-05-04Preparing for merge from rustcRalf Jung-1/+1
2024-05-04also test pthread_condattr_getclockRalf Jung-1/+42
2024-05-04factor some pthread offset into constantsRalf Jung-8/+16
2024-05-04sync: better error in invalid synchronization primitive IDRalf Jung-0/+9
2024-05-04interpret, miri: uniform treatments of intrinsics/functions with and without ...Ralf Jung-217/+184
2024-05-04Auto merge of #3559 - RalfJung:weak-extern-static, r=RalfJungbors-36/+50
2024-05-04make statx a regular function (so we don't need to support the syscall)Ralf Jung-26/+23
2024-05-04add helper function to declare an extern static for a weak symbolRalf Jung-10/+27
2024-05-04Auto merge of #3554 - RalfJung:freebsd, r=RalfJungbors-33/+34
2024-05-04Auto merge of #3558 - RalfJung:unsupported, r=RalfJungbors-22/+45
2024-05-04make some tests not need output (so they work on wasm)Ralf Jung-10/+6
2024-05-04document unofficially supported OSesRalf Jung-2/+5
2024-05-04freebsd: test std threadname and fs APIsRalf Jung-21/+23
2024-05-04update 'unsupported' messageRalf Jung-22/+45
2024-05-04Revert "moving out sched_getaffinity interception from linux'shim, FreeBSD su...Ralf Jung-19/+13
2024-05-04Auto merge of #3552 - RalfJung:ci, r=RalfJungbors-14/+12
2024-05-04Auto merge of #3556 - RalfJung:intrinsics, r=RalfJungbors-32/+32
2024-05-04move some minimal targets over to the macOS runner, to even out CI timesRalf Jung-10/+8
2024-05-04fix grouping of target-specific LLVM shimsRalf Jung-30/+30
2024-05-04Rollup merge of #124293 - oli-obk:miri_intrinsic_fallback_body, r=RalfJungMatthias Krüger-33/+64
2024-05-04move intrinsics implementations and tests into dedicated folderRalf Jung-2/+2
2024-05-04rename integer testRalf Jung-0/+0
2024-05-04move available-parallelism tests into shims/ folderRalf Jung-0/+0
2024-05-04Auto merge of #3533 - Luv-Ray:file-descriptors-to-refcount-references, r=Ralf...bors-201/+193
2024-05-04show time taken in run_tests_minimalRalf Jung-2/+2
2024-05-04speed up Windows runner: don't run GC_STRESS testRalf Jung-2/+2
2024-05-04Make file descriptors into refcount referencesLuv-Ray-201/+193
2024-05-04Auto merge of #3551 - RalfJung:getentropy, r=RalfJungbors-7/+0
2024-05-04macos: use getentropy from libcRalf Jung-7/+0
2024-05-04tls dtors: treat all unixes uniformlyRalf Jung-6/+6
2024-05-04Auto merge of #3548 - RalfJung:many-seeds, r=RalfJungbors-96/+134
2024-05-04remove a hack that is no longer neededRalf Jung-9/+0
2024-05-04make many-seeds a mode of ./miri run rather than a separate commandRalf Jung-87/+134
2024-05-03Rollup merge of #124480 - Enselic:on-broken-pipe, r=jieyouxuMichael Goulet-1/+1
2024-05-03CI: no need to surround if: condition in expansion bracesRalf Jung-3/+3
2024-05-03Auto merge of #3545 - RalfJung:miri-run, r=RalfJungbors-24/+29
2024-05-03./miri run: support -v flag to print what it is doingRalf Jung-24/+29
2024-05-03Auto merge of #3544 - RalfJung:rustup, r=RalfJungbors-1/+1
2024-05-03Preparing for merge from rustcRalf Jung-1/+1
2024-05-03run clippy on a Windows hostRalf Jung-0/+6
2024-05-03Ensure miri only uses fallback bodies that have manually been vetted to prese...Oli Scherer-0/+38
2024-05-03Let miri and const eval execute intrinsics' fallback bodiesOli Scherer-33/+26
2024-05-03Auto merge of #3537 - rust-lang:rustup-2024-05-03, r=RalfJungbors-13/+17
2024-05-03update lockfileRalf Jung-1/+0
2024-05-03update comments and URLRalf Jung-6/+2
2024-05-03Merge from rustcThe Miri Cronjob Bot-11/+16
2024-05-03Preparing for merge from rustcThe Miri Cronjob Bot-1/+1