Skip to content

Miri subtree update #116508

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 36 commits into from
Oct 7, 2023
Merged

Miri subtree update #116508

Changes from 1 commit
Commits
Show all changes
36 commits
Select commit Hold shift + click to select a range
cfbcc0e
add test for a function ABI mismatch due to target features
RalfJung Oct 2, 2023
43d1042
Auto merge of #3099 - RalfJung:abi-target-feature, r=RalfJung
bors Oct 2, 2023
91ef03b
Fix typos `*ucom` → `ucom*`
eduardosm Oct 3, 2023
3e21c1f
wording tweaks
RalfJung Oct 3, 2023
4f73d3f
Auto merge of #3102 - eduardosm:typos, r=RalfJung
bors Oct 3, 2023
31a5755
auto-detect no_std where possible
RalfJung Oct 4, 2023
7d065db
miri-script: print which sysroot target we are building
RalfJung Oct 4, 2023
40c928e
Auto merge of #3105 - RalfJung:sysroot-target, r=RalfJung
bors Oct 4, 2023
6ed502d
Auto merge of #3000 - RalfJung:no_std, r=oli-obk
bors Oct 5, 2023
5178ae6
Tree Borrows: do not create new tags as 'Active'
RalfJung Oct 5, 2023
ff3e990
Auto merge of #3106 - RalfJung:tree-borrows-initial, r=RalfJung
bors Oct 5, 2023
95c4590
Update miri dependencies
eduardosm Oct 5, 2023
f49d325
Update cargo-miri dependencies
eduardosm Oct 5, 2023
bbebfa7
Update miri-script dependencies
eduardosm Oct 5, 2023
11afb99
Update test dependencies
eduardosm Oct 5, 2023
1a6ab01
Auto merge of #3107 - eduardosm:update-deps, r=RalfJung
bors Oct 5, 2023
dff7d5a
Move getentropy handling to a shared location for foreign item implem…
BlackHoleFox Oct 1, 2023
f9003c0
Auto merge of #3098 - BlackHoleFox:apple-entropy, r=RalfJung
bors Oct 6, 2023
bc8d4df
refactor dlsym: dispatch symbols via the normal shim mechanism
RalfJung Oct 6, 2023
099311b
make some things on foreign_items private
RalfJung Oct 6, 2023
16cde06
allow dyn_sym in the files where they are defined; remove unreachable…
RalfJung Oct 6, 2023
4135408
Auto merge of #3108 - RalfJung:dlsym, r=RalfJung
bors Oct 6, 2023
03a03e2
add a direct dlsym test
RalfJung Oct 6, 2023
4587c7c
Auto merge of #3109 - RalfJung:dlsym, r=RalfJung
bors Oct 6, 2023
bf1356e
Fix problems of Reserved -> Frozen
Vanille-N Sep 20, 2023
e1e880e
Do not use host floats in `simd_{ceil,floor,round,trunc}`
eduardosm Oct 6, 2023
3c511bb
Auto merge of #3067 - Vanille-N:spurious-incremental, r=RalfJung
bors Oct 6, 2023
375ff3e
Auto merge of #3110 - eduardosm:rounding-without-host-floats, r=RalfJung
bors Oct 6, 2023
ea56007
Preparing for merge from rustc
RalfJung Oct 6, 2023
100ea2b
Merge from rustc
RalfJung Oct 6, 2023
3b08930
Auto merge of #3112 - RalfJung:rustup, r=RalfJung
bors Oct 6, 2023
d322243
Preparing for merge from rustc
Oct 7, 2023
722736a
Merge from rustc
Oct 7, 2023
1c42857
Auto merge of #3113 - rust-lang:rustup-2023-10-07, r=saethlin
bors Oct 7, 2023
5aecfe4
update lockfile
RalfJung Oct 7, 2023
a04b7a3
allow option-ext as a tool dependency (MPL licensed)
RalfJung Oct 7, 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 Oct 6, 2023
commit ea56007362cf04da6d776a89fa45f536c537c448
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 @@
bb6c66be3793ac5c738eeac91ecdc4b99388d0b4
1bc0463b183392ad4e0ae9c5f7a76630d487230d