Skip to content

update Miri #114735

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
bors merged 20 commits into from
Aug 11, 2023
Merged

update Miri #114735

Changes from 1 commit
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
4b612a5
rustc-pull: put a newline after the commit ID
RalfJung Aug 6, 2023
7ab10d2
Auto merge of #3015 - RalfJung:miri-script, r=RalfJung
bors Aug 6, 2023
84edcb9
fix typo: is_reserved
RalfJung Aug 6, 2023
31e9f7a
Auto merge of #3016 - RalfJung:is_reserved, r=RalfJung
bors Aug 6, 2023
fcceef1
[perf] Reserve capacity for argvs.
ttsugriy Aug 8, 2023
4533adf
Preparing for merge from rustc
Aug 8, 2023
9bd77a3
Merge from rustc
Aug 8, 2023
4b2ec29
Auto merge of #3019 - ttsugriy:ttsugriy-patch-1-1, r=RalfJung
bors Aug 8, 2023
f21c657
Auto merge of #3020 - rust-lang:rustup-2023-08-08, r=RalfJung
bors Aug 8, 2023
1e347e1
Use Vec's binary search instead of hand-written one.
ttsugriy Aug 8, 2023
2c69b46
expand comment
RalfJung Aug 9, 2023
43c869d
Auto merge of #3021 - ttsugriy:bin-search, r=RalfJung
bors Aug 9, 2023
c20c381
replace AsAny hack by trait upcasting :)
RalfJung Aug 10, 2023
d4fbaa6
Auto merge of #3022 - RalfJung:upcast, r=compiler-errors
bors Aug 10, 2023
a549de1
Preparing for merge from rustc
RalfJung Aug 10, 2023
2e14f25
Merge from rustc
RalfJung Aug 10, 2023
9281ddc
add gamma function shims
RalfJung Aug 10, 2023
01140a3
miri: implement some `llvm.x86.sse.*` intrinsics and add tests
eduardosm Aug 11, 2023
6276e5a
Auto merge of #3023 - RalfJung:gamma, r=RalfJung
bors Aug 11, 2023
a45f181
Auto merge of #2989 - eduardosm:x86-intrinsics, r=RalfJung
bors Aug 11, 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
Merge from rustc
  • Loading branch information
The Miri Conjob Bot committed Aug 8, 2023
commit 9bd77a3bcbb8ac92990d1ab1299caeb50e28c649

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.