| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-03-24 | desperate hack: hard-code bash path on Windows | Ralf Jung | -1/+10 | |
| 2024-03-24 | try to fix many-seeds tests on Windows | Ralf Jung | -1/+2 | |
| 2024-03-24 | Auto merge of #3398 - tiif:add_libc_fs_test, r=RalfJung | bors | -5/+71 | |
| Add libc direct test for shims and update CONTRIBUTING.md Add more ``libc`` direct test for shims as mentioned in #3179. Changes: - Added ``libc`` direct tests for ``rename`` and ``ftruncate64`` - Added the command for running ``pass-dep`` test in ``CONTRIBUTING.md`` | ||||
| 2024-03-24 | Add libc test for rename and ftruncate | tiif | -5/+71 | |
| 2024-03-24 | miri-script/toolchain: make new_commit logic easier to follow | Ralf Jung | -3/+3 | |
| 2024-03-24 | many-seeds: propagate failure properly | Ralf Jung | -2/+2 | |
| 2024-03-24 | CI tweaks and show which stable Rust we are using | Ralf Jung | -3/+9 | |
| 2024-03-24 | miri script: build with stable toolchain | Ralf Jung | -2/+2 | |
| 2024-03-24 | Merge from rustc | Ralf Jung | -0/+78 | |
| 2024-03-24 | Preparing for merge from rustc | Ralf Jung | -1/+1 | |
| 2024-03-23 | Rollup merge of #122762 - RoboSchmied:RoboSchmied-typo, r=workingjubilee | Jubilee | -4/+4 | |
| fix typo of endianness fix typo endianess -> endianness | ||||
| 2024-03-23 | also rename the SIMD intrinsic | Ralf Jung | -3/+3 | |
| 2024-03-23 | Auto merge of #122952 - RalfJung:miri, r=RalfJung | bors | -120/+376 | |
| Miri subtree update r? `@ghost` | ||||
| 2024-03-23 | disable RUST_BACKTRACE in CI, set it inside the test harness instead | Ralf Jung | -5/+9 | |
| 2024-03-23 | when a test fails, repeat the target after the failure report | Ralf Jung | -0/+2 | |
| 2024-03-23 | Auto merge of #3385 - Zoxc:read-types, r=RalfJung | bors | -89/+202 | |
| Report retags as distinct from real memory accesses for data races This changes the error reporting for data races such that reference invariants are no longer reported as real read and writes. Before: ``` Data race detected between (1) non-atomic write on thread `unnamed-6` and (2) non-atomic read on thread `unnamed-5` at alloc1034971+0x10c. (2) just happened here ``` After: ``` Data race detected between (1) non-atomic write on thread `unnamed-8` and (2) shared reference invariant on thread `unnamed-6` at alloc1018329+0x190. (2) just happened here ``` Non-atomic read accesses from the *other* thread don't have this information tracked so those are called `some potential non-atomic read access` here. | ||||
| 2024-03-23 | Report retags as distinct from real memory accesses for data races | John Kåre Alsaker | -89/+202 | |
| 2024-03-23 | Auto merge of #122582 - scottmcm:swap-intrinsic-v2, r=oli-obk | bors | -0/+78 | |
| Let codegen decide when to `mem::swap` with immediates Making `libcore` decide this is silly; the backend has so much better information about when it's a good idea. Thus this PR introduces a new `typed_swap` intrinsic with a fallback body, and replaces that fallback implementation when swapping immediates or scalar pairs. r? oli-obk Replaces #111744, and means we'll never need more libs PRs like #111803 or #107140 | ||||
| 2024-03-23 | rename ptr::from_exposed_addr -> ptr::with_exposed_provenance | Ralf Jung | -30/+30 | |
| 2024-03-23 | add support for missing SIMD float intrinsics | Ralf Jung | -7/+55 | |
| 2024-03-23 | fmt | The Miri Cronjob Bot | -4/+2 | |
| 2024-03-23 | Merge from rustc | The Miri Cronjob Bot | -7/+8 | |
| 2024-03-23 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-03-23 | Auto merge of #119552 - krtab:dead_code_priv_mod_pub_field, r=cjgillot,saethlin | bors | -0/+2 | |
| Replace visibility test with reachability test in dead code detection Fixes https://github.com/rust-lang/rust/issues/119545 Also included is a fix for an error now flagged by the lint | ||||
| 2024-03-22 | And the tools too | Michael Goulet | -4/+3 | |
| 2024-03-22 | Programmatically convert some of the pat ctors | Michael Goulet | -1/+1 | |
| 2024-03-22 | Eagerly convert some ctors to use their specialized ctors | Michael Goulet | -2/+2 | |
| 2024-03-22 | Preparing for merge from rustc | Ralf Jung | -1/+1 | |
| 2024-03-22 | Codegen const panic messages as function calls | Mark Rousskov | -2/+10 | |
| This skips emitting extra arguments at every callsite (of which there can be many). For a librustc_driver build with overflow checks enabled, this cuts 0.7MB from the resulting binary. | ||||
| 2024-03-21 | Allow `llvm.x86.sse2.pause` instrinsic to be called without SSE2 | Eduardo Sánchez Muñoz | -6/+43 | |
| The instrinsic is compiled to a `pause` instruction, which behaves like a no-op when SSE2 is not available. https://www.felixcloutier.com/x86/pause.html | ||||
| 2024-03-20 | Update target.rs alloc.rs event.rs simd.rs | RoboSchmied | -4/+4 | |
| fix typos | ||||
| 2024-03-20 | run full mono-item collection on all MIRI_BE_RUSTC=target builds | Ralf Jung | -4/+42 | |
| this fixes compile_fail doctests with post-mono errors | ||||
| 2024-03-19 | remove duplicate test | Ralf Jung | -5/+0 | |
| 2024-03-19 | Merge from rustc | The Miri Cronjob Bot | -74/+16 | |
| 2024-03-19 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-03-18 | Rollup merge of #122060 - clubby789:stabilize-imported-main, r=lcnr | Matthias Krüger | -6/+0 | |
| Stabilize `imported_main` FCP: https://github.com/rust-lang/rust/issues/28937#issuecomment-1977822831 Docs: https://github.com/rust-lang/reference/pull/1461 | ||||
| 2024-03-18 | Rollup merge of #122647 - RalfJung:box-to-raw-retag, r=oli-obk | Matthias Krüger | -65/+13 | |
| add_retag: ensure box-to-raw-ptr casts are preserved for Miri In https://github.com/rust-lang/rust/pull/122233 I added `retag_box_to_raw` not realizing that we can already do `addr_of_mut!(*bx)` to turn a box into a raw pointer without an intermediate reference. We just need to ensure this information is preserved past the ElaborateBoxDerefs pass. r? ``@oli-obk`` | ||||
| 2024-03-18 | Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ↵ | Oli Scherer | -3/+3 | |
| cases that used `None` | ||||
| 2024-03-18 | remove retag_box_to_raw, it is no longer needed | Ralf Jung | -53/+1 | |
| 2024-03-18 | add_retag: ensure box-to-raw-ptr casts are preserved for Miri | Ralf Jung | -12/+12 | |
| 2024-03-18 | Auto merge of #3387 - RalfJung:bench, r=RalfJung | bors | -3/+4 | |
| make 'invalidate' benchmark shorter This is currently by far the slowest benchmark in our suite, taking >9s, when the second slowest takes 2.7s. So let's speed this up to 2.3s, making it still the second-slowest in the benchmark suite. `@saethlin` any objections? Also, why is this called "invalidate"? It got added in https://github.com/rust-lang/miri/pull/3083 but I can't figure out the point of that name even after looking at the PR.^^ There should be a comment in the benchmark explaining what it is testing. | ||||
| 2024-03-18 | rename 'invalidate' bench to something more clear | Ralf Jung | -2/+3 | |
| 2024-03-18 | add exposed-provenance example where we miss UB | Ralf Jung | -0/+26 | |
| 2024-03-17 | MIRI tests to confirm it's typed | Scott McMurray | -0/+78 | |
| 2024-03-17 | Print a backtrace in const eval if interrupted | Ben Kimock | -15/+8 | |
| 2024-03-17 | make 'invalidate' benchmark shorter | Ralf Jung | -1/+1 | |
| 2024-03-17 | fix Zulip topic for PR-creation message | Ralf Jung | -1/+1 | |
| 2024-03-17 | Merge from rustc | The Miri Cronjob Bot | -4/+4 | |
| 2024-03-17 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-03-17 | Auto merge of #121885 - reitermarkus:generic-nonzero-inner, ↵ | bors | -4/+4 | |
| r=oli-obk,wesleywiser Move generic `NonZero` `rustc_layout_scalar_valid_range_start` attribute to inner type. Tracking issue: https://github.com/rust-lang/rust/issues/120257 r? `@dtolnay` | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |