| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-05-05 | consistent folder naming: stacked-borrows -> stacked_borrows | Ralf Jung | -317/+0 | |
| 2025-05-05 | move tests that are identical between SB and TB to shared files | Ralf Jung | -549/+17 | |
| 2025-04-20 | Allow `dangerous_implicit_autorefs` lint in some tests | Urgau | -0/+2 | |
| 2024-11-11 | stacked borrows tests: add those that fail under TB | Ralf Jung | -0/+36 | |
| 2024-10-21 | move strict provenance lints to new feature gate, remove old feature gates | Ralf Jung | -3/+0 | |
| 2024-09-29 | let rustfmt format imports | Ralf Jung | -8/+4 | |
| 2024-09-16 | Bump ui test | Oli Scherer | -2/+2 | |
| 2024-07-24 | show warning when Stacked Borrows skips a reborrow due to 'extern type' | Ralf Jung | -5/+5 | |
| 2024-06-17 | tell people how to set miri flags | Ralf Jung | -4/+3 | |
| 2024-04-25 | fmt | The Miri Cronjob Bot | -1/+2 | |
| 2024-04-24 | Error on using `yield` without also using `#[coroutine]` on the closure | Oli Scherer | -2/+2 | |
| And suggest adding the `#[coroutine]` to the closure | ||||
| 2024-04-17 | fmt | The Miri Cronjob Bot | -10/+12 | |
| 2024-04-16 | Box::into_raw: make Miri understand that this is a box-to-raw cast | Ralf Jung | -0/+12 | |
| 2024-04-03 | rename `expose_addr` to `expose_provenance` | joboet | -3/+3 | |
| 2024-03-23 | rename ptr::from_exposed_addr -> ptr::with_exposed_provenance | Ralf Jung | -5/+5 | |
| 2024-01-06 | fmt | The Miri Conjob Bot | -1/+5 | |
| 2024-01-02 | Allow unused tuple struct fields in Miri tests | Jake Goulding | -3/+3 | |
| Otherwise the newly-detected dead code causes new output | ||||
| 2023-12-03 | Auto merge of #118567 - RalfJung:miri, r=RalfJung | bors | -1/+4 | |
| Miri subtree update r? `@ghost` | ||||
| 2023-11-30 | move exposed-provenance APIs into separate feature gate and explain the ↵ | Ralf Jung | -2/+2 | |
| relationship of Exposed Provenance and Strict Provenance | ||||
| 2023-11-28 | Remove Stacked Borrows GC heuristics | Ben Kimock | -1/+4 | |
| 2023-10-20 | Rename lots of files that had `generator` in their name | Oli Scherer | -0/+0 | |
| 2023-10-20 | s/generator/coroutine/ | Oli Scherer | -4/+4 | |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -3/+3 | |
| 2023-08-02 | add write_does_not_invalidate_all_aliases test, and enable ↵ | Ralf Jung | -6/+31 | |
| direct_mut_to_const_raw test in TB | ||||
| 2023-07-21 | make full field retagging the default | Ralf Jung | -3/+0 | |
| 2023-05-21 | Rename `drop_copy` lint to `dropping_copy_types` | Urgau | -1/+1 | |
| 2023-05-10 | Adjust tests for new drop and forget lints | Urgau | -0/+3 | |
| 2023-04-14 | Fix spelling | Josh Soref | -3/+3 | |
| * additional * addresses * aggregates * always * around * beginning * behaviours * borrows * called * canary * deallocated * determine * division * documentation * empty * endianness * ensures * existing * github * hygiene * individual * initialize * instantiate * library * location * miscellaneous * mitigates * needs * nonexistent * occurred * occurring * overridden * parameter * performable * previous * referential * requires * resolved * scenarios * semantics * spurious * structure * subtracting * suppress * synchronization * this * timestamp * to * transferring * unknown * variable * windows Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com> | ||||
| 2023-04-13 | Update to new ui_test crate | Oli Scherer | -4/+4 | |
| 2023-03-16 | TB: select tests to run both TB and SB | Neven Villani | -136/+4 | |
| 2023-02-06 | also do not add noalias on not-Unpin Box | Ralf Jung | -10/+44 | |
| 2023-02-06 | make &mut !Unpin not dereferenceable | Ralf Jung | -0/+20 | |
| See https://github.com/rust-lang/unsafe-code-guidelines/issues/381 for discussion. | ||||
| 2023-01-11 | Stabilize `::{core,std}::pin::pin!` | Daniel Henry-Mantilla | -2/+0 | |
| 2022-12-03 | add test for self-referential future | Ralf Jung | -0/+102 | |
| 2022-10-29 | Stacked Borrows: make scalar field retagging the default | Ralf Jung | -2/+21 | |
| 2022-10-25 | Rename, improve docs, fail better | Ben Kimock | -7/+25 | |
| 2022-10-22 | add scalar-abi-only field retagging option | Ralf Jung | -0/+19 | |
| 2022-10-19 | Auto merge of #2600 - saethlin:ice, r=RalfJung | bors | -0/+21 | |
| Fix ICE when trying to GC a Stack with an unknown bottom Fixes https://github.com/rust-lang/rust/issues/103167 `@RalfJung` I prefer this approach because the whole GC system is sloppy already in order to be efficient (doesn't run often, ignores small stacks) so a bit more imprecision for a simple implementation seems worth it to me. But I'm of course willing to be convinced otherwise. | ||||
| 2022-10-19 | Never start the Stack::retain loop at offset 0 so that the left element is ↵ | Ben Kimock | -0/+21 | |
| always inbounds | ||||
| 2022-10-15 | Replace tags in stdout | Ben Kimock | -5/+5 | |
| 2022-10-14 | Add a test | Ben Kimock | -0/+34 | |
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+639 | |
| git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573 | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |