| Age | Commit message (Expand) | 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 i... | Ralf Jung | -1/+4 |
| 2024-07-30 | Auto merge of #3770 - oli-obk:duplicator, r=oli-obk | bors | -33/+37 |
| 2024-07-30 | Auto merge of #3759 - newpavlov:flock, r=oli-obk | bors | -2/+230 |
| 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 nam... | Oli Scherer | -24/+24 |
| 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 di... | Oli Scherer | -1/+1 |
| 2024-07-29 | Rollup merge of #128333 - RalfJung:miri-sync, r=RalfJung | Matthias Krüger | -204/+807 |
| 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 |
| 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 |
