| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-07-28 | revert accidental change | Ralf Jung | -0/+2 | |
| 2025-07-28 | Merge commit 'abd9cba5acbcc35fb4cc59ce25580fa1624b5571' | Ralf Jung | -4/+2 | |
| 2025-07-27 | miri: for ABI mismatch errors, say which argument is the problem | Ralf Jung | -4/+2 | |
| 2025-07-27 | call_function helper: dont ICE on return type mismatches | Ralf Jung | -0/+51 | |
| 2025-06-07 | diagnostics: do not repeat the entire message in the span label | Ralf Jung | -14/+14 | |
| 2025-05-22 | enable isolated-stdin test on Windows | Ralf Jung | -1/+1 | |
| 2025-05-21 | test direct usage of io::{stdout,stderr,stdin} | Ralf Jung | -0/+28 | |
| 2025-04-30 | interpret: better error message for out-of-bounds pointer arithmetic and ↵ | Ralf Jung | -3/+3 | |
| accesses | ||||
| 2025-04-17 | replaced check_shim with check_shim_abi for env, file, sockets and time ↵ | geetanshjuneja | -3/+3 | |
| related shims Making type consistent in shims pread return type fix make clock_gettime shim type consistent | ||||
| 2025-03-12 | Merge pull request #4185 from geetanshjuneja/abi_check | Ralf Jung | -0/+76 | |
| FnAbi Compatability check | ||||
| 2025-03-12 | added check_shim_abi | geetanshjuneja | -0/+76 | |
| added input arg mismatch test added detailed ub messages added return type mismatch test | ||||
| 2025-03-08 | Move fs into sys | Thalia Archibald | -9/+9 | |
| 2025-02-06 | Throw ub error when invoking non-vararg shim with vararg import | tiif | -0/+29 | |
| 2025-02-02 | miri_get_backtrace: stop supporting the v0 protocol | Ralf Jung | -2/+5 | |
| 2025-01-30 | Check fixed arg number for variadic function. | tiif | -0/+63 | |
| 2024-09-16 | Bump ui test | Oli Scherer | -16/+16 | |
| 2024-07-27 | improve dangling/oob errors and make them more uniform | Ralf Jung | -3/+3 | |
| 2024-06-17 | tell people how to set miri flags | Ralf Jung | -2/+2 | |
| 2024-05-20 | Fix miri too | Michael Goulet | -1/+1 | |
| 2024-05-04 | only show the 'basic API common for this target' message when this is a ↵ | Ralf Jung | -4/+0 | |
| missing foreign function | ||||
| 2024-05-04 | update 'unsupported' message | Ralf Jung | -4/+8 | |
| 2024-05-04 | move intrinsics implementations and tests into dedicated folder | Ralf Jung | -57/+0 | |
| and make them separate from 'shims' | ||||
| 2024-02-18 | Dyn erase at call site | David Thomas | -2/+2 | |
| 2024-02-18 | Reduce monomorphisation bloat in small_c_string | David Thomas | -0/+1 | |
| 2024-01-11 | std: update miri tests | joboet | -8/+8 | |
| 2023-11-25 | bless | Ralf Jung | -1/+1 | |
| 2023-11-25 | Merge from rustc | Ralf Jung | -8/+8 | |
| 2023-11-24 | Bless Miri tests | Nilstrieb | -8/+8 | |
| Co-authored-by: Adrian <adrian.iosdev@gmail.com> | ||||
| 2023-11-22 | Check that target features required by LLVM intrinsics are enabled | Eduardo Sánchez Muñoz | -0/+57 | |
| 2023-09-25 | Auto merge of #3008 - oli-obk:ui_test_progress_bars, r=RalfJung | bors | -1186/+0 | |
| bump ui test crate The recommended way to run tests locally is `./miri bless -- -- --quiet`, which will show * progress bars * the currently running tests (allowing you to see which ones are still running towards the end of the test suite) * the output of the currently running tests (if they are slow). This means slow running tests can output lines to `stderr` and the last line will be shown after the test name and updated every few hundred milliseconds. As a side effect this PR also fixes #2998 and only builds dependencies if any tests actually need them (this means that with the next ui_test update we'll be able to merge all our test suites). Also fixes https://github.com/rust-lang/miri/issues/3052. | ||||
| 2023-09-22 | Move `fail` tests that need dependencies into their own folder, so that wasm ↵ | Oli Scherer | -1186/+0 | |
| tests don't build dependencies | ||||
| 2023-09-21 | adjust how closure/generator types and rvalues are printed | Ralf Jung | -3/+3 | |
| 2023-08-16 | Auto merge of #2940 - saethlin:use-after-free-spans, r=RalfJung | bors | -1/+18 | |
| When reporting a heap use-after-free, say where the allocation was allocated and deallocated This is a partial solution to: https://github.com/rust-lang/miri/issues/2917 Currently in the interpreter, we only have accurate information for where heap allocations are allocated and deallocated (see https://github.com/rust-lang/miri/pull/2940#discussion_r1243559711). So this just implements support for allocations where the information is already available, and the full support will require more interpreter tweaks. | ||||
| 2023-08-15 | C string function shims: consistently treat "invalid" pointers as UB | Ralf Jung | -6/+34 | |
| 2023-08-11 | Include spans in use-after-free diagnostics | Ben Kimock | -1/+18 | |
| 2023-08-01 | properly track why we checked whether a pointer is in-bounds | Ralf Jung | -3/+3 | |
| also simplify the in-bounds checking in Miri's borrow trackers | ||||
| 2023-07-06 | Ignore test on apple | Oli Scherer | -0/+1 | |
| 2023-07-05 | C "memcpy" shim: ensure the pointers are valid | Ralf Jung | -0/+102 | |
| Also add tests for some other shims that already behave correctly | ||||
| 2023-06-20 | Improve organization | Ben Kimock | -0/+190 | |
| 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 | ||||
| 2022-12-06 | Reintroduce the span printing in miri (plus point to spans where possible) | Oli Scherer | -45/+45 | |
| 2022-12-06 | Remove now-redundant file/line info from const backtraces | Oli Scherer | -48/+48 | |
| 2022-10-03 | Reduce CString allocations in std as much as possible | Alex Saveau | -0/+3 | |
| Signed-off-by: Alex Saveau <saveau.alexandre@gmail.com> | ||||
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+1072 | |
| 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 |