| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-18 | Add GenMC estimation mode. Improve error handling and output printing. | Patrick-6 | -0/+2 | |
| 2025-08-31 | native-lib: pass structs to native code | Nia Espera | -0/+1 | |
| 2025-08-06 | Add normalization for thread IDs in panic messages | Trevor Gross | -1/+2 | |
| So we don't need to add normalization to every test that includes a panic message, add a global normalization to compiletest. | ||||
| 2025-07-27 | Add support for building and linking against genmc | Patrick-6 | -0/+14 | |
| 2025-07-19 | move and update test dependencies | Ralf Jung | -1/+1 | |
| 2025-07-19 | bump ui_test | Ralf Jung | -5/+3 | |
| 2025-07-18 | make native-lib support compile-time-optional, and centralize cfg usage | Ralf Jung | -1/+1 | |
| 2025-07-12 | ./x test miri: fix cleaning the miri_ui directory | Ralf Jung | -0/+2 | |
| 2025-07-03 | only set host-specific CC; improve and de-duplicate native libs testing logic | Ralf Jung | -13/+17 | |
| 2025-05-17 | fix clippy lints | Ralf Jung | -4/+4 | |
| 2025-05-07 | test suite: use CARGO_TARGET_TMPDIR for temporary build artifacts | Ralf Jung | -3/+2 | |
| 2025-03-08 | Erase non-pal sys platform paths | Thalia Archibald | -2/+2 | |
| 2025-02-20 | Add explanation comment | Jakub Beránek | -0/+1 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2025-02-20 | Remove GitHub job summaries | Jakub Beránek | -9/+4 | |
| They don't seem to be used by miri contributors, and they pollute job summaries in rust-lang/rust. | ||||
| 2025-02-01 | fmt | The Miri Cronjob Bot | -15/+18 | |
| 2025-01-27 | Bump ui_test | Oli Scherer | -6/+10 | |
| 2025-01-27 | Avoid a bool and use an Option of ZST instead | Oli Scherer | -13/+23 | |
| 2024-12-05 | extend Miri to correctly pass mutable pointers through FFI | Strophox | -0/+1 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-09-29 | let rustfmt format imports | Ralf Jung | -1/+2 | |
| 2024-09-21 | fmt (with a huge diff for some reason) | Ralf Jung | -18/+15 | |
| 2024-09-16 | Fix run --dep | Oli Scherer | -0/+1 | |
| 2024-09-16 | Refator DependencyBuilder construction | Oli Scherer | -14/+15 | |
| 2024-09-16 | Bump ui test | Oli Scherer | -55/+65 | |
| 2024-09-12 | Remove an unused piece of logic | Oli Scherer | -4/+1 | |
| 2024-09-03 | Enable native libraries on macOS | Jesse Rusak | -9/+10 | |
| Fixes #3595 by using -fvisibility=hidden and the visibility attribute supported by both gcc and clang rather than the previous gcc-only mechanism for symbol hiding. Also brings over cfg changes from #3594 which enable native-lib functionality on all unixes. | ||||
| 2024-08-30 | enable Miri to pass const pointers through FFI | Strophox | -3/+10 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-08-10 | miri-script: use --remap-path-prefix to print errors relative to the right root | Ralf Jung | -5/+7 | |
| 2024-08-05 | use a Miri-specific folder for ui tests | Ralf Jung | -1/+1 | |
| 2024-05-11 | Merge from rustc | The Miri Cronjob Bot | -2/+2 | |
| 2024-05-10 | rename 'extern-so' to 'native-lib' | Ralf Jung | -15/+15 | |
| 2024-05-08 | Use generic `NonZero`. | Markus Reiter | -2/+2 | |
| 2024-04-28 | Remove direct dependencies on lazy_static, once_cell and byteorder | George Bateman | -9/+13 | |
| The functionality of all three crates is now available in the standard library. | ||||
| 2024-04-15 | Auto merge of #3411 - RalfJung:sysroot, r=RalfJung | bors | -0/+7 | |
| Handle Miri sysroot entirely outside the Miri driver (Extracted from https://github.com/rust-lang/miri/pull/3409) This entirely moves the responsibility of setting miri-sysroot to whatever *invokes* the Miri driver. cargo-miri knows whether it is inside rustdoc or not and can adjust accordingly. I previously avoided doing that because there are a bunch of places that are invoking the driver (cargo-miri, the ui test suite, `./miri run`, `./x.py run miri`) and they all need to be adjusted now. But it is also somewhat less fragile as we usually have more information there -- and we can just decide that `./miri run file.rs --sysroot path` is not supported. The advantage of this is that the driver is reasonably clean and doesn't need magic environment variables like MIRI_SYSROOT, and we don't have to fight rustc_driver to use a different default sysroot. Everything is done in cargo-miri (and the other much simpler driver wrappers) where it can hopefully be debugged much better. | ||||
| 2024-04-15 | fix error display for './miri run --dep' | Ralf Jung | -1/+2 | |
| 2024-04-08 | set --sysroot outside the driver rather than messing with the arguments ↵ | Ralf Jung | -0/+7 | |
| passed to the driver | ||||
| 2024-03-31 | extern-so: give the version script a better name; show errors from failing ↵ | Ralf Jung | -8/+12 | |
| to build the C lib | ||||
| 2024-03-26 | run_dep_mode: treat program.args and program.env consistently | Ralf Jung | -29/+28 | |
| 2024-03-23 | disable RUST_BACKTRACE in CI, set it inside the test harness instead | Ralf Jung | -4/+9 | |
| 2024-03-23 | when a test fails, repeat the target after the failure report | Ralf Jung | -0/+2 | |
| 2024-03-09 | rename tests/compiletest → tests/ui | Ralf Jung | -0/+304 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |