Skip to content

update Miri #111036

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

Merged
merged 59 commits into from
May 1, 2023
Merged

update Miri #111036

Changes from 1 commit
Commits
Show all changes
59 commits
Select commit Hold shift + click to select a range
2c45553
Auto merge of #2835 - saethlin:rustup, r=oli-obk
bors Apr 10, 2023
3bc5dab
Add shim for SIGRTMIN
LegNeato Apr 11, 2023
df36499
Update tests/pass-dep/shims/libc-misc.rs
LegNeato Apr 11, 2023
93a0575
Auto merge of #2837 - LegNeato:sigrtmin, r=saethlin
bors Apr 11, 2023
42cce32
throw unsupported for epoll_wait
DebugSteven Apr 11, 2023
9311b4a
filter out notes
DebugSteven Apr 11, 2023
dedac2d
Auto merge of #2838 - DebugSteven:disable-epoll_wait, r=oli-obk
bors Apr 11, 2023
aacd261
add memcpy/strcpy shims
kiscad Apr 11, 2023
7e37783
typo
RalfJung Apr 12, 2023
fa8e02f
Auto merge of #2827 - mojave2:memcpy, r=oli-obk
bors Apr 12, 2023
69b023f
compiletest: complain about unknown flags
RalfJung Apr 13, 2023
6c8cf4e
Update to new ui_test crate
oli-obk Apr 6, 2023
b4ea414
Auto merge of #2841 - RalfJung:compiletest, r=oli-obk
bors Apr 13, 2023
ffb0dd9
Auto merge of #2833 - oli-obk:ui_test_bump, r=RalfJung
bors Apr 13, 2023
2386cd7
Preparing for merge from rustc
RalfJung Apr 14, 2023
06707ab
Merge from rustc
RalfJung Apr 14, 2023
8a9e03a
add test for recent unwind UB issue
RalfJung Apr 14, 2023
cf6b862
Auto merge of #2842 - RalfJung:rustup, r=RalfJung
bors Apr 14, 2023
49be529
Fix spelling
jsoref Apr 13, 2023
cd53a43
Auto merge of #2843 - jsoref:spelling, r=RalfJung
bors Apr 14, 2023
81e7b34
Preparing for merge from rustc
oli-obk Apr 17, 2023
b1e74f4
Merge from rustc
oli-obk Apr 17, 2023
9635312
Auto merge of #2845 - oli-obk:rustup, r=oli-obk
bors Apr 17, 2023
8a40ff9
Remove a test that wasn't carrying its weight
oli-obk Apr 19, 2023
f0c207f
Auto merge of #2846 - oli-obk:rm_borked_test, r=RalfJung
bors Apr 19, 2023
28f6297
disable preemption in tokio tests again
RalfJung Apr 21, 2023
2b066a3
Auto merge of #2848 - RalfJung:tokio, r=RalfJung
bors Apr 21, 2023
0d6736e
Preparing for merge from rustc
RalfJung Apr 22, 2023
cf32558
Merge from rustc
RalfJung Apr 22, 2023
213c905
Auto merge of #2849 - RalfJung:rustup, r=RalfJung
bors Apr 22, 2023
26e299c
Preparing for merge from rustc
RalfJung Apr 24, 2023
debbe6d
Merge from rustc
RalfJung Apr 24, 2023
0fc2d1a
Auto merge of #2850 - RalfJung:rustup, r=RalfJung
bors Apr 24, 2023
585a329
Add minimum alignment support for loongarch64
heiher Apr 24, 2023
197f3a0
Auto merge of #2852 - loongarch-rs:master, r=RalfJung
bors Apr 24, 2023
6f5554b
Hide backtrace from stderr files
oli-obk Apr 24, 2023
bb65219
Auto merge of #2854 - oli-obk:filter_backtrace, r=oli-obk
bors Apr 25, 2023
ef404a8
Preparing for merge from rustc
RalfJung Apr 26, 2023
3e8900b
Merge from rustc
RalfJung Apr 26, 2023
bd5c1d4
tree borrows: test String::as_mut_ptr
RalfJung Apr 26, 2023
78f11a2
fmt
RalfJung Apr 26, 2023
b3ab1f6
port stacked borrows tests to tree borrows
RalfJung Apr 26, 2023
9f22b37
Auto merge of #2856 - RalfJung:rustup, r=RalfJung
bors Apr 26, 2023
99e3034
fix endianess handling in eventfd::write
RalfJung Apr 26, 2023
db73863
Auto merge of #2857 - RalfJung:endian, r=RalfJung
bors Apr 26, 2023
aafb3aa
Bump libffi-sys to 2.3.0
heiher Apr 27, 2023
a050719
Auto merge of #2858 - loongarch-rs:bump-libffi-sys, r=RalfJung
bors Apr 27, 2023
fe178cc
Tree Borrows: improved diagnostics
Vanille-N Mar 29, 2023
7566ed8
tweak wording
RalfJung Apr 28, 2023
1b55b3b
Auto merge of #2828 - Vanille-N:tb-diags, r=RalfJung
bors Apr 28, 2023
9bb7e10
Preparing for merge from rustc
RalfJung Apr 28, 2023
fe0df5a
Merge from rustc
RalfJung Apr 28, 2023
6aecadd
Auto merge of #2860 - RalfJung:rustup, r=RalfJung
bors Apr 28, 2023
98c2d33
Preparing for merge from rustc
RalfJung Apr 29, 2023
0b4d787
bless
RalfJung Apr 29, 2023
e52cc12
Auto merge of #2862 - RalfJung:rustup, r=RalfJung
bors Apr 29, 2023
697d130
Merge from rustc
RalfJung Apr 30, 2023
bbe3a15
make it more obvious when the rustc-pull failed
RalfJung Apr 30, 2023
f4acc67
update lockfile
RalfJung Apr 28, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Preparing for merge from rustc
  • Loading branch information
@RalfJung
RalfJung committed Apr 14, 2023
commit 2386cd7b22174f277d5bd9ad802bcffc3b902ab6
2 changes: 1 addition & 1 deletion src/tools/miri/rust-version
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
d4be8efc6296bace5b1e165f1b34d3c6da76aa8e
71ef9ecbdedb67c32f074884f503f8e582855c2f