about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-04-17ci.yml: always create sync PR when there's any differenceRalf Jung-35/+37
2025-04-17Merge pull request #4263 from geetanshjuneja/check_shim_abiRalf Jung-82/+405
2025-04-17replaced check_shim with check_shim_abi for env, file, sockets and time relat...geetanshjuneja-82/+405
2025-04-16use std-declared intrinsics rather than copying the declarationRalf Jung-106/+50
2025-04-15Merge pull request #4260 from CraftSpider/windows-file-deleteOli Scherer-5/+46
2025-04-14Rollup merge of #139813 - RalfJung:miri-sync, r=RalfJungMatthias Krüger-14/+42
2025-04-14Expose Pointer to/from AllocId conversion functions, make some arguments opti...Patrick-6-49/+62
2025-04-13Rollup merge of #139605 - oyvindln:update_miniz_oxide_0_8, r=Mark-SimulacrumChris Denton-2/+2
2025-04-12fmtThe Miri Cronjob Bot-1/+1
2025-04-12Merge from rustcThe Miri Cronjob Bot-1/+31
2025-04-12Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-04-11Implement DeleteFileWRune Tynan-5/+46
2025-04-11sync::mpsc: prevent double free on `Drop`Petros Angelatos-1/+1
2025-04-11sync::mpsc: add miri reproducer of double freePetros Angelatos-0/+45
2025-04-11fix build fail on macos bacause of libffi-sys 2.3.0; This updates libffi to n...LorrensP-2158466-5/+5
2025-04-11Auto merge of #139011 - Zoxc:no-rayon-iters, r=oli-obkbors-1/+1
2025-04-10Stabilize `slice_as_chunks` library featureScott McMurray-2/+1
2025-04-10Auto merge of #137412 - scottmcm:redo-swap, r=cuviperbors-0/+30
2025-04-10Remove the use of Rayon iteratorsJohn Kåre Alsaker-1/+1
2025-04-10Merge pull request #4261 from CraftSpider/windows-rtl-to-dosRalf Jung-1/+29
2025-04-10Implement RtlNtStatusToDosError and shim test for itRune Tynan-1/+29
2025-04-10Bump crossbeam-channel from 0.5.14 to 0.5.15dependabot[bot]-2/+2
2025-04-10run all 'thread' tests on FreeBSD, and also on 32bitRalf Jung-4/+4
2025-04-10Preparing for merge from rustcRalf Jung-1/+1
2025-04-10Merge pull request #4262 from RalfJung/win-pathRalf Jung-36/+107
2025-04-10make GetFullPathNameW more correct on non-Windows hostsRalf Jung-38/+104
2025-04-10Merge pull request #4209 from LorrensP-2158466/freebsd_futexRalf Jung-1/+521
2025-04-10feature: implement WAIT & WAKE operations of FreeBSD _umtx_op syscall for Fut...LorrensP-2158466-1/+521
2025-04-10path: add more Windows testsRalf Jung-1/+6
2025-04-10update miniz_oxide to 0.8.8oyvindln-2/+2
2025-04-09triagebot: enable `[canonicalize-issue-links]` and `[no-mentions]`Urgau-0/+6
2025-04-09Add a Miri test for 134713Scott McMurray-0/+30
2025-04-09Merge pull request #4067 from CraftSpider/windows-metadataRalf Jung-191/+896
2025-04-08Implement trivial file operations - opening and closing handles. Just enough ...Rune Tynan-160/+838
2025-04-08Do not optimize out SwitchInt before borrowck, or if Zmir-preserve-ubMichael Goulet-1/+30
2025-04-08test_dependencies: bump tokioRalf Jung-3/+3
2025-04-07targest → targets (spotted as I had the same typo)Ralf Jung-1/+1
2025-04-07reduce the error tolerance to match algebraic and fast-math operationsRalf Jung-2/+3
2025-04-07big-allocs benchmark: use up less of the address space on 32bitRalf Jung-1/+4
2025-04-07Merge from rustcThe Miri Cronjob Bot-4/+4
2025-04-07Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-04-06Refactor `Handle` slightlyRune Tynan-51/+78
2025-04-05Rollup merge of #136457 - calder:master, r=tgross35Stuart Cook-4/+4
2025-04-04Expose algebraic floating point intrinsicsCalder Coalson-4/+4
2025-04-04Merge pull request #4251 from RalfJung/cargo-updateRalf Jung-710/+673
2025-04-04Solaris does not have flockRalf Jung-0/+3
2025-04-04fix windows_join_multipleRalf Jung-2/+8
2025-04-04Merge pull request #4250 from asomers/patch-1Ralf Jung-0/+1
2025-04-04Update README.md Alan Somers-1/+1
2025-04-04bump parts of test-cargo-miri to edition 2024Ralf Jung-44/+59