about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Collapse)AuthorLines
2025-09-13Rollup merge of #145471 - rs-sac:extr, r=the8472Jacob Pratt-1/+0
Stabilize BTree{Map,Set}::extract_if Tracking issue: rust-lang/rust#70530 FCP completed: https://github.com/rust-lang/rust/issues/70530#issuecomment-3191454465 Closes: rust-lang/rust#70530
2025-09-12Rollup merge of #145895 - RalfJung:unpark, r=joboetStuart Cook-0/+1
thread parking: fix docs and examples Fixes https://github.com/rust-lang/rust/issues/145816 r? ```@joboet``` Cc ```@m-ou-se``` ```@Amanieu```
2025-09-11Auto merge of #145177 - joboet:move-pal-thread, r=ibraheemdevbors-24/+24
std: move `thread` into `sys` Part of https://github.com/rust-lang/rust/issues/117276.
2025-09-10bless miri testsjoboet-24/+24
2025-09-10Rollup merge of #146178 - folkertdev:static-align, ↵Matthias Krüger-0/+14
r=jdonszelmann,ralfjung,traviscross Implement `#[rustc_align_static(N)]` on `static`s Tracking issue: https://github.com/rust-lang/rust/issues/146177 ```rust #![feature(static_align)] #[rustc_align_static(64)] static SO_ALIGNED: u64 = 0; ``` We need a different attribute than `rustc_align` because unstable attributes are tied to their feature (we can't have two unstable features use the same unstable attribute). Otherwise this uses all of the same infrastructure as `#[rustc_align]`. r? `@traviscross`
2025-09-09allow `#[rustc_align_static(N)]` on `static`sFolkert de Vries-0/+14
We need a different attribute than `rustc_align` because unstable attributes are tied to their feature (we can't have two unstable features use the same unstable attribute). Otherwise this uses all of the same infrastructure as `#[rustc_align]`.
2025-09-06Change stdlib float tests to account for miri nondet floats.LorrensP-2158466-4/+3
2025-09-06Implement nondet behaviour and change/add tests.LorrensP-2158466-169/+375
2025-09-04Move float non determinism helpers to math.rsLorrensP-2158466-134/+140
2025-09-04Rollup merge of #145690 - sayantn:integer-funnel-shift, r=tgross35Jacob Pratt-1/+51
Implement Integer funnel shifts Tracking issue: rust-lang/rust#145686 ACP: https://github.com/rust-lang/libs-team/issues/642 This implements funnel shifts on primitive integer types. Implements this for cg_llvm, with a fallback impl for everything else Thanks `@folkertdev` for the fixes and tests cc `@rust-lang/libs-api`
2025-09-03fix applying an error to infinitiesRalf Jung-0/+8
2025-09-03Merge pull request #4561 from RalfJung/short-fd-opsRalf Jung-19/+50
add flag to not shorten FD reads/writes; don't shorten pipe operations
2025-09-03add flag to not shorten FD reads/writes; don't shorten pipe operationsRalf Jung-19/+50
2025-09-03Add `funnel_sh{l,r}` functions and intrinsicssayantn-1/+51
- Add a fallback implementation for the intrinsics - Add LLVM backend support for funnel shifts Co-Authored-By: folkertdev <folkert@folkertdev.nl>
2025-09-03Merge pull request #4558 from RalfJung/float-err-fixOli Scherer-69/+103
fix mangitude of applied float error
2025-09-03thread parking: fix docs and examplesRalf Jung-0/+1
2025-09-03Merge pull request #4559 from nia-e/zed-configRalf Jung-0/+47
Add Zed editor config
2025-09-03fix mangitude of applied float errorRalf Jung-69/+103
2025-09-03Merge ref '51ff895062ba' from rust-lang/rustThe Miri Cronjob Bot-88/+49
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 51ff895062ba60a7cba53f57af928c3fb7b0f2f4 Filtered ref: 5057370cda58bcaad24ea094ec11c8c01b24c2bc This merge was created using https://github.com/rust-lang/josh-sync.
2025-09-03Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
This updates the rust-version file to 51ff895062ba60a7cba53f57af928c3fb7b0f2f4.
2025-09-03add zed editor configNia Espera-0/+47
2025-09-02account for aarch64 windows oversleepingRalf Jung-1/+2
2025-09-02add a flag to always apply the maximum float errorRalf Jung-9/+54
2025-09-02improve process::abort rendering in Miri backtracesRalf Jung-88/+49
2025-09-02move some configuration enums to a more logical placeRalf Jung-65/+63
2025-09-01Merge pull request #4554 from RalfJung/helpRalf Jung-12/+27
improve output for 'cargo miri test --help'
2025-09-01improve output for 'cargo miri test --help'Ralf Jung-12/+27
2025-09-01Merge ref '828e45ad11ce' from rust-lang/rustThe Miri Cronjob Bot-1/+1
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 828e45ad11ce4ab56dd64e93f1fb5dd8f0c0ae93 Filtered ref: 10ab51e1b1b8eadb430163bd78ef39c0721cfbf8 This merge was created using https://github.com/rust-lang/josh-sync.
2025-09-01Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
This updates the rust-version file to 828e45ad11ce4ab56dd64e93f1fb5dd8f0c0ae93.
2025-08-31Merge pull request #4466 from nia-e/native-structsRalf Jung-133/+454
native-lib: allow passing structs as arguments
2025-08-31some refactoring and cleanupRalf Jung-145/+128
2025-08-31native-lib: pass structs to native codeNia Espera-129/+467
2025-08-31native-lib: more resilient grabbing of instruction bytesNia Espera-26/+26
Co-authored-by: Ralf Jung <post@ralfj.de>
2025-08-31Rollup merge of #144443 - WaffleLapkin:integer-target-pointer-width, r=NoratriebMatthias Krüger-1/+1
Make target pointer width in target json an integer r? Noratrieb cc `@RalfJung` (https://github.com/rust-lang/rust/pull/142352/files#r2230380120) try-job: x86_64-rust-for-linux
2025-08-30Merge pull request #4549 from RalfJung/mprotectRalf Jung-39/+21
native-lib mode: avoid unsoundness due to mrpotect
2025-08-30reduce some code duplication and update some commentsRalf Jung-22/+8
2025-08-30native-lib mode: avoid unsoundness due to mrpotectRalf Jung-17/+13
2025-08-30Merge ref 'e004014d1bf4' from rust-lang/rustThe Miri Cronjob Bot-1/+0
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: e004014d1bf4c29928a0f0f9f7d0964d43606cbd Filtered ref: d62798e442c1c6ec461725b87dacc87c285259c8 This merge was created using https://github.com/rust-lang/josh-sync.
2025-08-30Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
This updates the rust-version file to e004014d1bf4c29928a0f0f9f7d0964d43606cbd.
2025-08-29Rollup merge of #145467 - Kivooeo:stabilize-strict_provenance_atomic_ptr, ↵Trevor Gross-1/+0
r=scottmcm Stabilize `strict_provenance_atomic_ptr` feature This closes [tracking issue](https://github.com/rust-lang/rust/issues/99108) and stabilises `AtomicPtr::{fetch_ptr_add, fetch_ptr_sub, fetch_byte_add, fetch_byte_sub, fetch_or, fetch_and, fetch_xor}` --- EDIT: FCP completed at https://github.com/rust-lang/rust/issues/99108#issuecomment-3168260347
2025-08-29Bump tracing-subscriber from 0.3.19 to 0.3.20dependabot[bot]-2/+2
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.3.19 to 0.3.20. - [Release notes](https://github.com/tokio-rs/tracing/releases) - [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.19...tracing-subscriber-0.3.20) --- updated-dependencies: - dependency-name: tracing-subscriber dependency-version: 0.3.20 dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
2025-08-29Merge pull request #4371 from CraftSpider/duplicate-handle-testRalf Jung-9/+46
Add shim test for `DuplicateHandle`
2025-08-29Add duplicate handle test + make null lpTargetHandle an abort, not an ↵Rune Tynan-9/+46
unsupported.
2025-08-29Merge pull request #4545 from RalfJung/zst-readwriteRalf Jung-9/+28
unix read/write: fix zero-size handling
2025-08-29unix read/write: fix zero-size handlingRalf Jung-9/+28
2025-08-28Merge pull request #4539 from Stypox/tracing-docsRalf Jung-0/+292
Add documentation for tracing
2025-08-28Add documentation for tracingStypox-0/+292
2025-08-27fix target-pointer-width in testsWaffle Lapkin-1/+1
2025-08-27Stabilize BTree{Map,Set}::extract_ifSidney Cammeresi-1/+0
2025-08-27Merge ref '269d5b56bcfd' from rust-lang/rustThe Miri Cronjob Bot-3/+2
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 269d5b56bcfdf2be82213e72ef9a2e4c592a8c6b Filtered ref: a221b1d3ebb78ec8a01dcb1fe6bb165378e2f5c9 This merge was created using https://github.com/rust-lang/josh-sync.
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-02 06:53:33 +0000