| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-10 | interpret: fix overlapping aggregate initialization | Ralf Jung | -1/+1 | |
| 2025-08-24 | Allow `integer_to_ptr_transmutes` in tests | Urgau | -0/+3 | |
| 2025-07-31 | Allow `dangling_pointers_from_locals` lint in tests | Urgau | -0/+3 | |
| 2025-07-17 | Report the range of uninit bytes in CTFE errors | Oli Scherer | -1/+6 | |
| 2025-07-02 | miri: improve errors for type validity assertion failures | Ralf Jung | -3/+3 | |
| 2025-06-07 | diagnostics: do not repeat the entire message in the span label | Ralf Jung | -42/+42 | |
| 2025-04-24 | Suggest {to,from}_ne_bytes for transmutations between arrays and integers, etc | bendn | -0/+4 | |
| 2025-01-31 | interpret: adjust vtable validity check for higher-ranked types | Lukas Markeffsky | -0/+45 | |
| 2024-09-28 | add tests for validity of Box with custom allocator | Ralf Jung | -0/+99 | |
| 2024-09-25 | fmt | The Miri Cronjob Bot | -1/+3 | |
| 2024-09-23 | Check vtable projections for validity in miri | Michael Goulet | -2/+35 | |
| 2024-09-16 | Bump ui test | Oli Scherer | -76/+76 | |
| 2024-08-03 | Miri: add a flag to do recursive validity checking | Ralf Jung | -0/+23 | |
| 2024-06-13 | fmt | The Miri Cronjob Bot | -6/+12 | |
| 2024-06-11 | interpret: ensure we check bool/char for validity when they are used in a cast | Ralf Jung | -0/+125 | |
| 2024-05-08 | Use generic `NonZero`. | Markus Reiter | -13/+13 | |
| 2024-04-21 | Miri: detect wrong vtables in wide pointers | Ralf Jung | -0/+48 | |
| 2024-03-10 | Fix `miri` tests. | Markus Reiter | -4/+4 | |
| 2023-12-26 | custom mir: make it clear what the return block is | Ralf Jung | -3/+3 | |
| 2023-11-30 | move some validity-related tests into subdir | Ralf Jung | -0/+105 | |
| 2023-11-24 | Bless Miri tests | Nilstrieb | -26/+26 | |
| Co-authored-by: Adrian <adrian.iosdev@gmail.com> | ||||
| 2023-11-14 | Custom MIR: Support cleanup blocks | Tomasz Miąsko | -3/+3 | |
| Cleanup blocks are declared with `bb (cleanup) = { ... }`. `Call` and `Drop` terminators take an additional argument describing the unwind action, which is one of the following: * `UnwindContinue()` * `UnwindUnreachable()` * `UnwindTerminate(reason)`, where reason is `ReasonAbi` or `ReasonInCleanup` * `UnwindCleanup(block)` Also support unwind resume and unwind terminate terminators: * `UnwindResume()` * `UnwindTerminate(reason)` | ||||
| 2023-10-28 | add some tests specifically for validity checks arising from match binders | Ralf Jung | -0/+59 | |
| 2023-09-06 | miri: catch function calls where the argument is caller-invalid / the return ↵ | Ralf Jung | -4/+101 | |
| value callee-invalid | ||||
| 2023-08-02 | const validation: point at where we found a pointer but expected an integer | Ralf Jung | -4/+4 | |
| 2023-07-14 | remove compile-flags that are no longer needed | Ralf Jung | -2/+0 | |
| 2023-02-20 | basic dyn* support for Miri | Ralf Jung | -3/+3 | |
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+552 | |
| 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 |