| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-07-30 | Rollup merge of #128382 - RalfJung:cargo-miri-assert, r=oli-obk | Matthias Krüger | -1/+4 |
| 2024-07-30 | Auto merge of #128083 - Mark-Simulacrum:bump-bootstrap, r=albertlarsan68 | bors | -1/+0 |
| 2024-07-30 | cargo-miri: better error when we seem to run inside bootstrap but something i... | Ralf Jung | -1/+4 |
| 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 | 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 |
| 2024-07-26 | diagnostics: add a macro to make things a bit easier to read | Ralf Jung | -76/+59 |
| 2024-07-26 | better diagnostics for Tree Borrows + int2ptr casts | Ralf Jung | -70/+150 |
| 2024-07-26 | Merge from rustc | The Miri Cronjob Bot | -1/+14 |
| 2024-07-26 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 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-25 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-07-24 | show warning when Stacked Borrows skips a reborrow due to 'extern type' | Ralf Jung | -27/+83 |
| 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 | -7/+60 |
| 2024-07-24 | Merge from rustc | The Miri Cronjob Bot | -4/+4 |
| 2024-07-24 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 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 | -21/+205 |
| 2024-07-22 | Add `pread` and `pwrite` shims | Артём Павлов [Artyom Pavlov] | -21/+205 |
| 2024-07-22 | Fix test | Артём Павлов [Artyom Pavlov] | -1/+1 |
| 2024-07-22 | Add `O_NOFOLLOW` flag support | Артём Павлов [Artyom Pavlov] | -3/+55 |
| 2024-07-20 | Merge from rustc | The Miri Cronjob Bot | -6/+8 |
| 2024-07-20 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 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 | -6/+211 |
| 2024-07-16 | Merge from rustc | The Miri Cronjob Bot | -4/+1 |
| 2024-07-16 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 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 | -7/+284 |
| 2024-07-14 | implement the `os_unfair_lock` functions on macOS | joboet | -7/+284 |
| 2024-07-14 | add test for intermediate reference in '&(*x).0 as *const i32' | Ralf Jung | -0/+40 |
| 2024-07-13 | Leave a trace of the current suboptimal status of foreign_write | Neven Villani | -0/+6 |
| 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 | -1/+83 |
| 2024-07-09 | Fix libc::read shim: make it write to a buffer correct amount of bytes. Add t... | Askar Safin | -1/+83 |
| 2024-07-09 | Apply suggestions | Neven Villani | -18/+52 |
