| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-08-05 | interpret: move nullary-op evaluation into operator.rs | Ralf Jung | -1/+1 | |
| 2024-08-05 | Auto merge of #3789 - RalfJung:deps, r=RalfJung | bors | -310/+300 | |
| bump dependencies In particular pick up https://github.com/RalfJung/rustc-build-sysroot/pull/22 to fix the fallout from https://github.com/rust-lang/rust/pull/128534. | ||||
| 2024-08-05 | bump dependencies | Ralf Jung | -307/+297 | |
| 2024-08-05 | use a Miri-specific folder for ui tests | Ralf Jung | -1/+1 | |
| 2024-08-05 | bump rustc-build-sysroot dependency | Ralf Jung | -3/+3 | |
| 2024-08-05 | fmt | Ralf Jung | -1/+4 | |
| 2024-08-05 | Merge from rustc | Ralf Jung | -29/+58 | |
| 2024-08-05 | Preparing for merge from rustc | Ralf Jung | -1/+1 | |
| 2024-08-03 | Promote aarch64-apple-darwin to Tier 1 | Evelyn Harthbrooke | -2/+1 | |
| Per rust-lang/rfcs#3671. | ||||
| 2024-08-03 | Miri: add a flag to do recursive validity checking | Ralf Jung | -29/+57 | |
| 2024-08-03 | Merge from rustc | The Miri Cronjob Bot | -25/+0 | |
| 2024-08-03 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-08-02 | Auto merge of #3769 - primoly:miri-start, r=RalfJung | bors | -11/+140 | |
| Add `miri_start` support This PR uses a function with the exported symbol `miri_start` as a drop-in alternative to `#[start]`. So the signature stays the same as suggested in [this comment](https://github.com/rust-lang/miri/issues/3498#issuecomment-2088560526). <del>I’ve also removed Miri’s restriction to only work on bin crates as I don’t think this is necessary anymore.</del> Closes #3758 | ||||
| 2024-08-02 | docs | Ralf Jung | -9/+24 | |
| 2024-08-02 | Add `miri_start` support | primoly | -11/+125 | |
| 2024-08-02 | fmt | The Miri Cronjob Bot | -3/+6 | |
| 2024-08-02 | Merge from rustc | The Miri Cronjob Bot | -103/+97 | |
| 2024-08-02 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-08-02 | Rollup merge of #128453 - RalfJung:raw_eq, r=saethlin | Matthias Krüger | -25/+0 | |
| raw_eq: using it on bytes with provenance is not UB (outside const-eval) The current behavior of raw_eq violates provenance monotonicity. See https://github.com/rust-lang/rust/pull/124921 for an explanation of provenance monotonicity. It is violated in raw_eq because comparing bytes without provenance is well-defined, but adding provenance makes the operation UB. So remove the no-provenance requirement from raw_eq. However, the requirement stays in-place for compile-time invocations of raw_eq, that indeed cannot deal with provenance. Cc `@rust-lang/opsem` | ||||
| 2024-08-01 | bless miri tests | joboet | -4/+4 | |
| 2024-08-01 | interpret: simplify pointer arithmetic logic | Ralf Jung | -58/+40 | |
| 2024-08-01 | on a signed deref check, mention the right pointer in the error | Ralf Jung | -43/+53 | |
| 2024-08-01 | Auto merge of #3782 - RalfJung:josh-roundtrip-error, r=RalfJung | bors | -1/+4 | |
| when josh-proxy screws up the roundtrip, say what the involved commits are | ||||
| 2024-08-01 | when josh-proxy screws up the roundtrip, say what the involved commits are | Ralf Jung | -1/+4 | |
| 2024-08-01 | flock: a bit of cleanup | Ralf Jung | -10/+9 | |
| 2024-07-31 | raw_eq: using it on bytes with provenance is not UB (outside const-eval) | Ralf Jung | -25/+0 | |
| 2024-07-31 | FD table: rename dup to get_ref | Ralf Jung | -6/+6 | |
| 2024-07-30 | Rollup merge of #128382 - RalfJung:cargo-miri-assert, r=oli-obk | Matthias Krüger | -1/+4 | |
| cargo-miri: better error when we seem to run inside bootstrap but something is wrong Cc https://github.com/rust-lang/miri/issues/3775 | ||||
| 2024-07-30 | FD: refactor API names a little | Ralf Jung | -17/+17 | |
| 2024-07-30 | Auto merge of #128083 - Mark-Simulacrum:bump-bootstrap, r=albertlarsan68 | bors | -1/+0 | |
| Bump bootstrap compiler to new beta https://forge.rust-lang.org/release/process.html#master-bootstrap-update-t-2-day-tuesday | ||||
| 2024-07-30 | Use Scalar consistently in foreign item emulation | Oli Scherer | -245/+239 | |
| 2024-07-30 | cargo-miri: better error when we seem to run inside bootstrap but something ↵ | Ralf Jung | -1/+4 | |
| is wrong | ||||
| 2024-07-30 | Auto merge of #3770 - oli-obk:duplicator, r=oli-obk | bors | -33/+37 | |
| Some FileDescriptor/FileDescription refactorings follow-up to https://github.com/rust-lang/miri/pull/3763#discussion_r1694866428 I opted not to change the method names, as I think they are already pretty good (and the common one is the short name), and the docs should explain what they actually do, but if you feel like the names you proposed would be better, I'll just do that. | ||||
| 2024-07-30 | Auto merge of #3759 - newpavlov:flock, r=oli-obk | bors | -2/+230 | |
| Add `flock` shim | ||||
| 2024-07-30 | Merge from rustc | The Miri Cronjob Bot | -88/+100 | |
| 2024-07-30 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-07-29 | Rename all `file_descriptor` variables to `file_description` to match the ↵ | Oli Scherer | -24/+24 | |
| naming scheme of the types | ||||
| 2024-07-29 | Rename `FileDescriptor` to `FileDescriptionRef` | Oli Scherer | -8/+8 | |
| 2024-07-29 | Split out actual `FileDescriptor` creation | Oli Scherer | -4/+8 | |
| 2024-07-29 | Make field private. It is not used outside the module and it should not be ↵ | Oli Scherer | -1/+1 | |
| directly accessed anyway | ||||
| 2024-07-29 | Rollup merge of #128333 - RalfJung:miri-sync, r=RalfJung | Matthias Krüger | -204/+807 | |
| Miri subtree update r? `@ghost` | ||||
| 2024-07-28 | step cfg(bootstrap) | Mark Rousskov | -1/+0 | |
| 2024-07-27 | improve dangling/oob errors and make them more uniform | Ralf Jung | -84/+86 | |
| 2024-07-27 | miri: fix offset_from behavior on wildcard pointers | Ralf Jung | -6/+16 | |
| 2024-07-27 | fix clippy | Ralf Jung | -1/+1 | |
| 2024-07-27 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-07-26 | Add `flock` shim | Артём Павлов [Artyom Pavlov] | -2/+230 | |
| 2024-07-26 | Auto merge of #3763 - tiif:global-fd-id, r=oli-obk | bors | -34/+24 | |
| Insert FileDescription instead of FileDescriptor in ``insert_fd`` This PR moves the creation of ``FileDescriptor`` inside ``insert_fd``, and ``insert_fd`` now takes in ``FileDescription`` instead of ``FileDescriptor``. This change is needed by #3712. | ||||
| 2024-07-26 | Let insert_fd takes in FileDescription instead of FileDescriptor | tiif | -34/+24 | |
| 2024-07-26 | Auto merge of #3766 - RalfJung:tree-borrows-int2ptr, r=RalfJung | bors | -138/+201 | |
| better diagnostics for Tree Borrows + int2ptr casts - Entirely reject `-Zmiri-permissive-provenance -Zmiri-tree-borrows` since that combination just doesn't work - In the int2ptr cast warning, when Tree Borrows is enabled, do not recommend `-Zmiri-permissive-provenance`, instead note that Tree Borrows does not support int2ptr casts Fixes https://github.com/rust-lang/miri/issues/3764 | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |