| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-08-02 | Auto merge of #3769 - primoly:miri-start, r=RalfJung | bors | -2/+65 |
| 2024-08-02 | Add `miri_start` support | primoly | -2/+65 |
| 2024-08-02 | Merge from rustc | The Miri Cronjob Bot | -51/+37 |
| 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 | -36/+22 |
| 2024-08-01 | on a signed deref check, mention the right pointer in the error | Ralf Jung | -15/+15 |
| 2024-08-01 | flock: a bit of cleanup | Ralf Jung | -1/+0 |
| 2024-07-31 | raw_eq: using it on bytes with provenance is not UB (outside const-eval) | Ralf Jung | -25/+0 |
| 2024-07-30 | Auto merge of #3759 - newpavlov:flock, r=oli-obk | bors | -0/+71 |
| 2024-07-29 | Rollup merge of #128333 - RalfJung:miri-sync, r=RalfJung | Matthias Krüger | -74/+441 |
| 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-26 | Add `flock` shim | Артём Павлов [Artyom Pavlov] | -0/+71 |
| 2024-07-26 | Auto merge of #3766 - RalfJung:tree-borrows-int2ptr, r=RalfJung | bors | -65/+120 |
| 2024-07-26 | better diagnostics for Tree Borrows + int2ptr casts | Ralf Jung | -65/+120 |
| 2024-07-26 | Merge from rustc | The Miri Cronjob Bot | -1/+14 |
| 2024-07-26 | Rollup merge of #128150 - BoxyUwU:std_only_sized_const_params, r=workingjubilee | Matthias Krüger | -1/+14 |
| 2024-07-25 | Stop using `unsized_const_parameters` in core/std | Boxy | -1/+14 |
| 2024-07-25 | Merge from rustc | The Miri Cronjob Bot | -3/+3 |
| 2024-07-24 | show warning when Stacked Borrows skips a reborrow due to 'extern type' | Ralf Jung | -21/+43 |
| 2024-07-24 | Rollup merge of #127733 - GrigorenkoPV:don't-forget, r=Amanieu | Matthias Krüger | -3/+3 |
| 2024-07-24 | Allow getpid in isolation mode, add gettid support | Konstantinos Andrikopoulos | -2/+35 |
| 2024-07-24 | Make unused states of Reserved unrepresentable | Neven Villani | -46/+46 |
| 2024-07-24 | Merge from rustc | The Miri Cronjob Bot | -4/+4 |
| 2024-07-23 | Rollup merge of #125834 - workingjubilee:weaken-thir-unsafeck-for-addr-of-sta... | Matthias Krüger | -4/+4 |
| 2024-07-22 | miri: fixup for allowing &raw UNSAFE_STATIC | Jubilee Young | -4/+4 |
| 2024-07-22 | Auto merge of #3743 - newpavlov:pread_pwrite, r=RalfJung | bors | -0/+41 |
| 2024-07-22 | Add `pread` and `pwrite` shims | Артём Павлов [Artyom Pavlov] | -0/+41 |
| 2024-07-22 | Fix test | Артём Павлов [Artyom Pavlov] | -1/+1 |
| 2024-07-22 | Add `O_NOFOLLOW` flag support | Артём Павлов [Artyom Pavlov] | -0/+29 |
| 2024-07-20 | Merge from rustc | The Miri Cronjob Bot | -6/+8 |
| 2024-07-19 | Rollup merge of #127856 - RalfJung:interpret-cast-sanity, r=oli-obk | Matthias Krüger | -6/+8 |
| 2024-07-18 | interpret: add sanity check in dyn upcast to double-check what codegen does | Ralf Jung | -6/+8 |
| 2024-07-16 | Auto merge of #3742 - Vanille-N:master, r=RalfJung | bors | -4/+191 |
| 2024-07-15 | Rollup merge of #124921 - RalfJung:offset-from-same-addr, r=oli-obk | Matthias Krüger | -3/+0 |
| 2024-07-15 | lib: replace some `mem::forget`'s with `ManuallyDrop` | Pavel Grigorenko | -3/+3 |
| 2024-07-15 | Make normalization regex less exact | Chris Denton | -1/+1 |
| 2024-07-14 | Auto merge of #3745 - joboet:os_unfair_lock, r=RalfJung | bors | -0/+127 |
| 2024-07-14 | implement the `os_unfair_lock` functions on macOS | joboet | -0/+127 |
| 2024-07-14 | add test for intermediate reference in '&(*x).0 as *const i32' | Ralf Jung | -0/+40 |
| 2024-07-12 | Clarify comment in tests/fail/tree_borrows/reservedim_spurious_write.rs | Neven Villani | -2/+3 |
| 2024-07-10 | Second byte is not involved in the example; use a Cell<()> instead | Neven Villani | -16/+19 |
| 2024-07-10 | Auto merge of #3720 - safinaskar:read, r=RalfJung | bors | -0/+77 |
| 2024-07-09 | Fix libc::read shim: make it write to a buffer correct amount of bytes. Add t... | Askar Safin | -0/+77 |
| 2024-07-09 | Apply suggestions | Neven Villani | -17/+50 |
| 2024-07-09 | Implement fix for reservedim_spurious_write: ignore IM on protected | Neven Villani | -5/+46 |
| 2024-07-09 | This pattern using lazy protected Reserved IM prevents spurious writes | Neven Villani | -0/+109 |
| 2024-07-09 | Auto merge of #3739 - joboet:macos_tls_dtors, r=RalfJung | bors | -0/+50 |
| 2024-07-09 | Merge from rustc | The Miri Cronjob Bot | -8/+116 |
