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.

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

update Miri #111454

Merged
merged 42 commits into from
May 11, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
42 commits
Select commit Hold shift + click to select a range
e285f76
Auto merge of #2864 - RalfJung:rustup, r=RalfJung
bors Apr 30, 2023
d20fa00
Preparing for merge from rustc
RalfJung May 2, 2023
3942cdf
Merge from rustc
RalfJung May 2, 2023
12fd42a
Auto merge of #2868 - RalfJung:rustup, r=RalfJung
bors May 2, 2023
e0114e7
Avoid interpreting code that has lint errors
oli-obk May 2, 2023
9db11c9
Auto merge of #2869 - oli-obk:only_interp_compiling_code, r=RalfJung
bors May 2, 2023
59477cc
Preparing for merge from rustc
RalfJung May 3, 2023
3951a02
Merge from rustc
RalfJung May 3, 2023
cfd7eaa
Auto merge of #2871 - RalfJung:rustup, r=RalfJung
bors May 3, 2023
9ce6cfb
Preparing for merge from rustc
RalfJung May 5, 2023
4062fe2
Merge from rustc
RalfJung May 5, 2023
8ab4803
ensure that the proc_macro crate exists in the sysroot
RalfJung May 5, 2023
f5fa50f
update dependencies
RalfJung May 5, 2023
42b14dc
Auto merge of #2875 - RalfJung:rustup, r=RalfJung
bors May 5, 2023
fd30862
clearer variable names in data_race
RalfJung May 5, 2023
457a7a8
Auto merge of #2876 - RalfJung:varnames, r=RalfJung
bors May 5, 2023
0677cd0
Simplify Tree Borrows event filtering by getting the Range from RangeMap
Vanille-N May 1, 2023
dd9df18
Auto merge of #2867 - Vanille-N:tb-diags, r=RalfJung
bors May 6, 2023
ce3a2e5
Preparing for merge from rustc
RalfJung May 7, 2023
e476f7a
Merge from rustc
RalfJung May 7, 2023
3d5a516
Auto merge of #2878 - RalfJung:rustup, r=RalfJung
bors May 7, 2023
1db8540
increase timing slack for sync tests
RalfJung May 8, 2023
64d4fd5
print how long the measured sleep time actually was on test failure
RalfJung May 8, 2023
3309f12
port tests to 2021 edition
RalfJung May 8, 2023
a477b81
Auto merge of #2880 - RalfJung:sync, r=RalfJung
bors May 8, 2023
37c3af4
Update to latest ui_test crate version.
oli-obk May 9, 2023
44e86e7
Separate config building from Miri command building
oli-obk May 9, 2023
f321c8d
Document some arguments
oli-obk May 9, 2023
84f80f1
Auto merge of #2884 - oli-obk:ui_test, r=RalfJung,oli-obk
bors May 9, 2023
1a4690d
Thorough merge after GC
Vanille-N May 1, 2023
c3e7ff4
Adopt the measureme output naming strategy from rustc
saethlin May 7, 2023
9f1624a
Amend the docs for -Zmiri-measureme
saethlin May 9, 2023
7fb4332
Auto merge of #2865 - Vanille-N:tb-perf, r=RalfJung
bors May 10, 2023
53801d3
Preparing for merge from rustc
RalfJung May 10, 2023
efa68d0
Merge from rustc
RalfJung May 10, 2023
96491a9
fmt
RalfJung May 10, 2023
68c7d20
disable opt-level 4 tests for now
RalfJung May 10, 2023
7a41eac
Auto merge of #2885 - RalfJung:rustup, r=RalfJung
bors May 10, 2023
f9a4213
Explain the padding
saethlin May 10, 2023
d2ea42f
Auto merge of #2879 - saethlin:measureme, r=RalfJung
bors May 10, 2023
2c88ee8
update lockfile
RalfJung May 11, 2023
b0b76a5
fix deny_lint test
RalfJung May 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
4 changes: 2 additions & 2 deletions Cargo.lock
Original file line number Diff line number Diff line change
Expand Up @@ -5122,9 +5122,9 @@ checksum = "9e79c4d996edb816c91e4308506774452e55e95c3c9de07b6729e17e15a5ef81"

[[package]]
name = "ui_test"
version = "0.6.2"
version = "0.9.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3e10f5f88ce8c331a388deda1e6e2bd533c73ca89cc5f539a3df02ed35c8efba"
checksum = "95033b0e41b8018013d99a6f1486c1ae5bd080378ced60c5f797e93842423b33"
dependencies = [
"bstr 1.3.0",
"cargo-platform",
Expand Down
Loading