Skip to content

Miri subtree update #136447

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
wants to merge 47 commits into from
Closed

Miri subtree update #136447

wants to merge 47 commits into from

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Feb 2, 2025

r? @ghost

oli-obk and others added 30 commits January 27, 2025 10:49
@oli-obk
Avoid a bool and use an Option of ZST instead
928f306
@oli-obk
Bump ui_test
18f8310
@RalfJung
Merge pull request rust-lang#4155 from oli-obk/push-sloyuvlsvqxn
396691a 
Bump ui_test
@RalfJung
Preparing for merge from rustc
74234de
@RalfJung
Merge from rustc
7bd29f8
@RalfJung
linker messages are no longer warnings by default
051829e
@RalfJung
Merge pull request rust-lang#4157 from RalfJung/rustup
6963ecd 
Rustup
@YohDeadfall
Added a helper to dedup target OS checks
73997ec
@oli-obk
Bump ui test
510e6f2
@RalfJung
Merge pull request rust-lang#4161 from oli-obk/push-vnpvrkxznklo
54d0054 
Bump ui test
@RalfJung
Merge pull request rust-lang#4160 from YohDeadfall/check-os-helper
79fcb1d 
Added a helper to dedup target OS checks
Preparing for merge from rustc
548929f
Merge from rustc
667da1e
@tiif
Check fixed arg number for variadic function.
1e6081f
@RalfJung
make struct-variant matches less future-proof, and other clippy fixes
bf1e4a1
@RalfJung
Merge pull request rust-lang#4122 from tiif/fnabi
b1d927e 
Check fixed args number for variadic function
@RalfJung
Merge pull request rust-lang#4162 from rust-lang/rustup-2025-01-29
4f8492c 
Automatic Rustup
@YohDeadfall
Set the st_fstype filed on Solaris
4a329e9
@RalfJung
Merge pull request rust-lang#4159 from YohDeadfall/write-st-fstype-on…
9894a06 
…-solaris

Set st_fstype of stat on Solaris and Illumos OSes
Preparing for merge from rustc
851ce41
Merge from rustc
b8ee38d
fmt
92f7763
@oli-obk
Merge pull request rust-lang#4163 from rust-lang/rustup-2025-01-30
12058e8 
Automatic Rustup
@RalfJung
fix clippy lint manual_repeat_n
a041f3b
@RalfJung
Merge pull request rust-lang#4164 from RalfJung/manual_repeat_n
8a893ab 
fix clippy lint manual_repeat_n
@geetanshjuneja
use deref_pointer_as instead of deref_pointer
562b282
@RalfJung
Merge pull request rust-lang#4140 from geetanshjuneja/deref
e1d0507 
Use deref_pointer_as instead of deref_pointer
Preparing for merge from rustc
dc36775
Merge from rustc
7f414f9
fmt
74ca1cf
oli-obk and others added 17 commits January 31, 2025 06:12
@oli-obk
Merge pull request rust-lang#4166 from rust-lang/rustup-2025-01-31
bcda892 
Automatic Rustup
@RalfJung
increase thread limit for many-seeds mode
25cdd06
@RalfJung
Merge pull request rust-lang#4168 from RalfJung/many-threads
7ad8dba 
increase thread limit for many-seeds mode
@RalfJung
clarify apply_random_float_error logic
883ba24
@RalfJung
Merge pull request rust-lang#4167 from RalfJung/apply_random_float_error
829bfc3 
clarify apply_random_float_error logic
Preparing for merge from rustc
027ce39
Merge from rustc
aa74d61
fmt
c925c82
@saethlin
Merge pull request rust-lang#4169 from rust-lang/rustup-2025-02-01
b82463f 
Automatic Rustup
@eduardosm
Bump rand to 0.9 and getrandom to 0.3
13f3132
@eduardosm
Test getrandom 0.3
eab3528
@RalfJung
Merge pull request rust-lang#4170 from eduardosm/update-rand
da5e2d7 
Update rand and getrandom dependencies
@RalfJung
Preparing for merge from rustc
bf69458
@RalfJung
Merge from rustc
f034a15
@RalfJung
fix use of deprecated rand API
2a519a4
@RalfJung
Merge pull request rust-lang#4173 from RalfJung/rustup
cd13b44 
Rustup
@RalfJung
update lockfile
613c03e
@rustbot
Copy link
Collaborator

rustbot commented Feb 2, 2025

The Miri subtree was changed

cc @rust-lang/miri

These commits modify the Cargo.lock file. Unintentional changes to Cargo.lock can be introduced when switching branches and rebasing PRs.

If this was unintentional then you should revert the changes before this PR is merged.
Otherwise, you can ignore this comment.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Feb 2, 2025
@RalfJung
Copy link
Member Author

RalfJung commented Feb 2, 2025

@bors r+

@bors
Copy link
Collaborator

bors commented Feb 2, 2025

📌 Commit 613c03e has been approved by RalfJung

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Feb 2, 2025
@RalfJung
Copy link
Member Author

RalfJung commented Feb 2, 2025 •
edited
Loading

Let's include rust-lang/miri#4142 to unblock the libs work based on that.

@RalfJung RalfJung closed this Feb 2, 2025
@RalfJung RalfJung deleted the miri-sync branch February 2, 2025 19:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
9 participants
@RalfJung @rustbot @bors @oli-obk @YohDeadfall @tiif @geetanshjuneja @saethlin @eduardosm