Skip to content

Miri subtree update #134604

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
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
Collaborator

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
Collaborator

bors commented Dec 21, 2024

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

@bors
Copy link
Collaborator

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
# for free to join this conversation on GitHub. Already have an account? # 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.