Skip to content
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

Miri subtree update #134604

Merged
merged 51 commits into from
Dec 21, 2024
Merged

Miri subtree update #134604

merged 51 commits into from
Dec 21, 2024

Conversation

RalfJung
Copy link
Member

r? @ghost

JoJoDeveloping and others added 30 commits December 4, 2024 15:15
@JoJoDeveloping
add test to demonstrate the effect of rust-lang#4008
c1875bf
@RalfJung
Preparing for merge from rustc
b984eaa
@RalfJung
Merge from rustc
c498e7f
@RalfJung
Merge pull request rust-lang#4082 from RalfJung/rustup
ac667ef 
Rustup
@Kobzol
Enable [bot-pull-requests] triagebot feature
4917fe5
@saethlin
Merge pull request rust-lang#4083 from Kobzol/bot-autoclose
24d164e 
Enable `[bot-pull-requests]` triagebot feature
@JoJoDeveloping
TB: optimize accesses on large trees by ignoring subtrees if the acce…
0f920db 
…ss would mostly be a NOP
@RalfJung
Merge pull request rust-lang#4008 from JoJoDeveloping/tb-access-state…
e2496df 
…-based-skipping

[TB Optimization] Skip subtrees based on the subtree's root node's permissions
@RalfJung
./miri bench: set toolchain explicitly
844635d
@RalfJung
Merge pull request rust-lang#4087 from RalfJung/bench-toolchain
6748167 
./miri bench: set toolchain explicitly
@devnexen
solarish stat following-up, supports for readdir.
579b680
@RalfJung
ci TEST_BENCH: show output
0272b6c
@RalfJung
./miri bench: add a flag to skip the install step
b7565cb
@RalfJung
Merge pull request rust-lang#4089 from RalfJung/ci-bench
658edd4 
ci TEST_BENCH: show output
@RalfJung
Merge pull request rust-lang#4068 from devnexen/solarish_stat2
4e8a734 
solarish stat following-up, supports for readdir.
@RalfJung
bench-cargo-miri: bump lockfiles
c7b8ee0
@RalfJung
Merge pull request rust-lang#4091 from RalfJung/bench-bump
11ab793 
bench-cargo-miri: bump lockfiles
@shamb0
Improve timezone handling in 'localtime_r()' using 'allocate_bytes()'
6cbd1eb 
Signed-off-by: shamb0 <r.raajey@gmail.com>
@RalfJung
Merge pull request rust-lang#4069 from shamb0/string_deduplication_fo…
b9f1aed 
…r_localtime_r

localtime_r: deduplicate timezone name allocation
@RalfJung
Preparing for merge from rustc
cc797a2
@RalfJung
Merge from rustc
f590fa9
@RalfJung
fix use of this.allocate_bytes
202098e
@RalfJung
Merge pull request rust-lang#4092 from RalfJung/rustup
8e8d6d6 
Rustup
Preparing for merge from rustc
70628f8
Merge from rustc
8652177
@oli-obk
Merge pull request rust-lang#4094 from rust-lang/rustup-2024-12-13
55db25b 
Automatic Rustup
@Mandragorian @RalfJung
experiment with using clap
c1657ca
@Mandragorian @RalfJung
Update miri-script/src/main.rs
d12597f 
Co-authored-by: Ralf Jung <post@ralfj.de>
@Mandragorian @RalfJung
address comments
de5201f
@RalfJung
fix 'rustc-push' and adjust help texts
7d40bb9
The Miri Cronjob Bot and others added 16 commits December 18, 2024 05:03
Merge from rustc
d49845e
@oli-obk
Merge pull request rust-lang#4097 from rust-lang/rustup-2024-12-18
955ef09 
Automatic Rustup
@tiif
Implement blocking unnamed_socket
1f77130
@oli-obk
Merge pull request rust-lang#4072 from tiif/blockop
4ce3b85 
Implement blocking unnamed_socket
@RalfJung
add warning explaining the limitations of the native code mode
e28b1d7
@oli-obk
Merge pull request rust-lang#4098 from RalfJung/native-call-warning
0aec399 
add warning explaining the limitations of the native code mode
Preparing for merge from rustc
09c8eb5
Merge from rustc
5e2ce7e
@RalfJung
Merge pull request rust-lang#4100 from rust-lang/rustup-2024-12-20
db960a2 
Automatic Rustup
@RalfJung
Preparing for merge from rustc
fafe0ce
@RalfJung
Merge from rustc
fe35924
@RalfJung
fmt
9659fbc
@RalfJung
Merge pull request rust-lang#4101 from RalfJung/rustup
fddff47 
Rustup
Preparing for merge from rustc
9dac973
Merge from rustc
591c47b
@oli-obk
Merge pull request rust-lang#4102 from rust-lang/rustup-2024-12-21
268a5f4 
Automatic Rustup
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Dec 21, 2024
@rustbot
Copy link
Collaborator

rustbot commented Dec 21, 2024

The Miri subtree was changed

cc @rust-lang/miri

@RalfJung
Copy link
Member Author

@bors r+ p=1

@bors
Copy link
Contributor

bors commented Dec 21, 2024

📌 Commit 268a5f4 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 Dec 21, 2024
@bors
Copy link
Contributor

bors commented Dec 21, 2024

⌛ Testing commit 268a5f4 with merge 54dcff1...

@bors
Copy link
Contributor

bors commented Dec 21, 2024

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 54dcff1 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Dec 21, 2024
@bors bors merged commit 54dcff1 into rust-lang:master Dec 21, 2024
7 checks passed
@rustbot rustbot added this to the 1.85.0 milestone Dec 21, 2024
@bors bors mentioned this pull request Dec 21, 2024
Draft
@rust-timer
Copy link
Collaborator

Finished benchmarking commit (54dcff1): comparison URL.

Overall result: no relevant changes - no action needed

@rustbot label: -perf-regression

Instruction count

This benchmark run did not return any relevant results for this metric.

Max RSS (memory usage)

Results (primary -1.3%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

mean range count
Regressions ❌
(primary)		 - - 0
Regressions ❌
(secondary)		 - - 0
Improvements ✅
(primary)		 -1.3% [-1.3%, -1.3%] 1
Improvements ✅
(secondary)		 - - 0
All ❌✅ (primary) -1.3% [-1.3%, -1.3%] 1

Cycles

This benchmark run did not return any relevant results for this metric.

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 767s -> 766.218s (-0.10%)
Artifact size: 330.21 MiB -> 330.18 MiB (-0.01%)

@RalfJung RalfJung deleted the miri-sync branch December 22, 2024 08:17
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
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
1.85.0
Development

Successfully merging this pull request may close these issues.