about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-10-28Merge pull request #3992 from YohDeadfall/android-syscallRalf Jung-70/+93
2024-10-28Android: Added syscall supportYoh Deadfall-70/+93
2024-10-28Merge pull request #3954 from Mandragorian/coverage-reportRalf Jung-11/+173
2024-10-27Add option for generating coverage reportsKonstantin Andrikopoulos-11/+173
2024-10-27Merge pull request #3987 from TDecking/vpclmulRalf Jung-38/+249
2024-10-26Merge pull request #3995 from RalfJung/readdir_rOli Scherer-26/+16
2024-10-26Adjust the vpclmulqdq test caseTobias Decking-3/+7
2024-10-26Implement LLVM x86 vpclmulqdq intrinsicsTobias Decking-38/+245
2024-10-26do not set the file type to an error codeRalf Jung-1/+4
2024-10-26do not use host 'raw_os_error' to compute target error codeRalf Jung-24/+11
2024-10-26fix error returned from readdir_r when isolation is enabledRalf Jung-2/+2
2024-10-26Merge pull request #3993 from RalfJung/dir-entry-drop-explicitRalf Jung-2/+5
2024-10-26automatic PR: explain how to trigger CIRalf Jung-1/+1
2024-10-26indicate more explicitly where we close host file/dir handlesRalf Jung-2/+5
2024-10-25Merge pull request #3989 from RalfJung/ciRalf Jung-4/+5
2024-10-25some more opportunities for set_last_error_and_returnRalf Jung-14/+7
2024-10-25get rid of fd_not_found; improve error handling in FileMetadataRalf Jung-71/+54
2024-10-25CI workflow: tweak conclusion jobRalf Jung-4/+5
2024-10-25Clear more `eval_libc` errors from unix shimsNoah Bright-53/+28
2024-10-22Merge pull request #3981 from Kobzol/ci-merge-queueMarco Ieni-23/+16
2024-10-22Switch CI to merge queuesJakub Beránek-23/+16
2024-10-22Auto merge of #3982 - RalfJung:epoll_ctl, r=RalfJungbors-11/+4
2024-10-22fmtThe Miri Cronjob Bot-8/+4
2024-10-22Merge from rustcThe Miri Cronjob Bot-43/+8
2024-10-22Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-10-21Rollup merge of #130350 - RalfJung:strict-provenance, r=dtolnayMatthias Krüger-38/+4
2024-10-21epoll_ctl: throw unsupported error on unsupported opcodeRalf Jung-11/+4
2024-10-21Auto merge of #3899 - YohDeadfall:prctl-thread-name, r=RalfJungbors-7/+185
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-38/+4
2024-10-21Auto merge of #3941 - noahmbright:unix_shims, r=oli-obkbors-74/+42
2024-10-21Added support for prctl handling thread namesYoh Deadfall-7/+185
2024-10-21Replace `set_last_error` with `set_last_error_and_return_i*`Noah Bright-74/+42
2024-10-21Auto merge of #130950 - compiler-errors:yeet-eval, r=BoxyUwUbors-5/+4
2024-10-20fmtThe Miri Cronjob Bot-2/+7
2024-10-20Merge from rustcThe Miri Cronjob Bot-16/+70
2024-10-20Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-10-19Fix testsMichael Goulet-5/+4
2024-10-19interpret errors: add map_err_kind, rename InterpError -> InterpErrorKindRalf Jung-16/+15
2024-10-18tail_calls: add test ensuring local vars are indeed goneRalf Jung-0/+46
2024-10-18pthread-threadname: ensure we can see the name set via the Rust APIRalf Jung-0/+17
2024-10-18Add more testsJules Bertholet-0/+55
2024-10-17miri: improve support for `f16` and `f128`Eduardo Sánchez Muñoz-9/+181
2024-10-17data-race test: disable address reuse that can incur accidental syncRalf Jung-1/+1
2024-10-17Merge from rustcThe Miri Cronjob Bot-47/+4
2024-10-17Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-10-15update bootstrap configsJosh Stone-2/+2
2024-10-15Rollup merge of #131521 - jdonszelmann:rc, r=joboetMichael Goulet-2/+2
2024-10-15Rollup merge of #130568 - eduardosm:const-float-methods, r=RalfJung,tgross35Michael Goulet-43/+0
2024-10-15Make some float methods unstable `const fn`Eduardo Sánchez Muñoz-39/+0
2024-10-14use new check_min_arg_count helper in more placesRalf Jung-35/+17