| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-06-16 | miri: bless tests | David Wood | -2/+2 | |
| These error messages include lines of the standard library which have changed and so need updated. | ||||
| 2025-06-07 | diagnostics: do not repeat the entire message in the span label | Ralf Jung | -17/+17 | |
| 2025-05-28 | atomic_load intrinsic: use const generic parameter for ordering | Ralf Jung | -3/+4 | |
| 2024-10-21 | move strict provenance lints to new feature gate, remove old feature gates | Ralf Jung | -1/+0 | |
| 2024-09-16 | Bump ui test | Oli Scherer | -36/+36 | |
| 2024-05-21 | don't inhibit random field reordering on repr(packed(1)) | Ralf Jung | -1/+1 | |
| 2024-05-04 | only show the 'basic API common for this target' message when this is a ↵ | Ralf Jung | -2/+0 | |
| missing foreign function | ||||
| 2024-05-04 | update 'unsupported' message | Ralf Jung | -2/+4 | |
| 2024-02-12 | Allow invalid ref casting in Miri unaligned_ref_addr_of test | Urgau | -0/+2 | |
| 2024-01-18 | Remove no-longer-needed `allow(dead_code)` from Miri tests | Jake Goulding | -1/+1 | |
| `repr(transparent)` now silences the lint. | ||||
| 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-05 | fix miri_promise_symbolic_alignment for huge alignments | Ralf Jung | -0/+22 | |
| 2023-12-04 | fmt | The Miri Conjob Bot | -10/+2 | |
| 2023-12-03 | miri: support 'promising' alignment for symbolic alignment check | Ralf Jung | -0/+83 | |
| 2023-11-24 | Bless Miri tests | Nilstrieb | -14/+14 | |
| Co-authored-by: Adrian <adrian.iosdev@gmail.com> | ||||
| 2023-10-15 | more precise error for 'based on misaligned pointer' case | Ralf Jung | -23/+23 | |
| 2023-10-15 | place evaluation: require the original pointer to be aligned if an access ↵ | Ralf Jung | -0/+50 | |
| happens | ||||
| 2023-10-15 | don't UB on dangling ptr deref, instead check inbounds on projections | Ralf Jung | -44/+45 | |
| 2023-07-31 | add some interesting tests for alignment corner cases | Ralf Jung | -0/+44 | |
| 2023-07-14 | remove compile-flags that are no longer needed | Ralf Jung | -3/+2 | |
| 2023-07-11 | fix handling of alignment for dyn-sized places | Ralf Jung | -5/+6 | |
| 2023-05-09 | Update to latest ui_test crate version. | Oli Scherer | -1/+1 | |
| Also stops using github actions groups that conflict with our groups as github does not nest them | ||||
| 2023-04-14 | Fix spelling | Josh Soref | -1/+1 | |
| * 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-03-23 | A MIR transform that checks pointers are aligned | Ben Kimock | -10/+13 | |
| 2023-02-01 | fmt | Ralf Jung | -1/+1 | |
| 2023-01-31 | make unaligned_reference a hard error | Ralf Jung | -5/+12 | |
| 2022-12-21 | Bless tests | Jakob Degen | -1/+1 | |
| 2022-12-21 | Retag as FnEntry on `drop_in_place` | Jakob Degen | -0/+45 | |
| 2022-10-09 | 1/1000 events do happen sometimes... | Ralf Jung | -5/+5 | |
| 2022-10-07 | fix Miri | Ralf Jung | -2/+2 | |
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+331 | |
| git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573 | ||||
