about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-05-29some refactoring of the allocatorRalf Jung-67/+74
2025-05-29add separate allocator for MiriMachineNia Espera-22/+519
2025-05-29Preparing for merge from rustcRalf Jung-1/+1
2025-05-28atomic_load intrinsic: use const generic parameter for orderingRalf Jung-5/+25
2025-05-28Merge pull request #4354 from RalfJung/before_stack_popRalf Jung-1/+1
2025-05-28fix comment in before_stack_popRalf Jung-1/+1
2025-05-28Merge pull request #4344 from CraftSpider/windows-file-cloneOli Scherer-1/+97
2025-05-28add Miri testsRalf Jung-0/+131
2025-05-28Merge pull request #4353 from rust-lang/rustup-2025-05-28Ralf Jung-6/+3
2025-05-28Merge pull request #4351 from RalfJung/squash-winRalf Jung-1/+22
2025-05-28Merge from rustcThe Miri Cronjob Bot-5/+2
2025-05-28Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-05-27Auto merge of #129658 - saethlin:spare-a-crumb, r=jhprattbors-4/+1
2025-05-27Update tests with Range parameter to `BTreeMap::extract_if` etc.Sidney Cammeresi-1/+1
2025-05-27attempt to fix squash on WindowsRalf Jung-1/+22
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-05-27Merge pull request #4212 from tiif/setflRalf Jung-8/+262
2025-05-27Support F_GETFL and F_SETFL for fcntltiif-8/+262
2025-05-27pacify clippyRalf Jung-3/+1
2025-05-27fmtThe Miri Cronjob Bot-2/+8
2025-05-27Merge from rustcThe Miri Cronjob Bot-60/+67
2025-05-27Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-05-27Rollup merge of #141513 - nia-e:allocbytes-extend, r=RalfJung许杰友 Jieyou Xu (Joe)-7/+13
2025-05-26Auto merge of #141406 - RalfJung:less-force-allocate, r=oli-obkbors-53/+54
2025-05-26extend allocbytes with associated typeNia Espera-7/+13
2025-05-25fmtThe Miri Cronjob Bot-1/+3
2025-05-25Merge from rustcThe Miri Cronjob Bot-28/+28
2025-05-25Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-05-24Rollup merge of #141511 - Noratrieb:codegen-fn-attrs, r=compiler-errorsGuillaume Gomez-2/+2
2025-05-24Cleanup CodegenFnAttrFlagsNoratrieb-2/+2
2025-05-24fix zulip topic URLRalf Jung-1/+1
2025-05-24rename internal panicking::try to catch_unwindRalf Jung-23/+23
2025-05-23GetUserProfileDirectoryW is now documented to always store the sizeRalf Jung-3/+3
2025-05-23Rollup merge of #141383 - RalfJung:miri-sync, r=RalfJungMatthias Krüger-199/+734
2025-05-23test some aarch64 windows targetsRalf Jung-1/+4
2025-05-23many-seeds tests have become a lot faster thanks to multithreadingRalf Jung-7/+5
2025-05-23./miri bench: sort results alphabeticallyRalf Jung-11/+15
2025-05-23Merge from rustcThe Miri Cronjob Bot-3/+3
2025-05-23Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-05-22interpret: do not force_allocate all return placesRalf Jung-53/+54
2025-05-22Implement file cloning on WindowsRune Tynan-1/+97
2025-05-22enable isolated-stdin test on WindowsRalf Jung-1/+1
2025-05-22Implement file read/write on WindowsRune Tynan-81/+460
2025-05-21document that the entire test suite passes under freebsdRalf Jung-1/+1
2025-05-21run the full test suite under FreeBSDRalf Jung-2/+2
2025-05-21Implement FreeBSD syscall cpuset_getaffinity.LorrensP-2158466-2/+117
2025-05-21Merge pull request #4338 from RalfJung/FileDescriptionRalf Jung-2/+8
2025-05-21Add some track_caller info to precondition panicsBen Kimock-4/+1
2025-05-21FileDescription: improve read/write docsRalf Jung-2/+8
2025-05-21Merge pull request #4337 from RalfJung/ioRalf Jung-17/+25