| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-04-23 | add Windows TLS bug to trophy case | Ralf Jung | -1/+3 |
| 2024-04-23 | Auto merge of #3493 - eduardosm:env-set, r=oli-obk | bors | -0/+4 |
| 2024-04-23 | Missing word at the end of sentence | Oli Scherer | -1/+1 |
| 2024-04-21 | Add `-Zmiri-env-set` to set environment variables without modifying the host ... | Eduardo Sánchez Muñoz | -0/+4 |
| 2024-04-18 | when reusing an address, most of the time only reuse from the current thread | Ralf Jung | -2/+7 |
| 2024-04-18 | do not reuse stack addresses; make reuse rate configurable | Ralf Jung | -0/+5 |
| 2024-04-08 | readme updates | Ralf Jung | -20/+17 |
| 2024-04-08 | set --sysroot outside the driver rather than messing with the arguments passe... | Ralf Jung | -3/+2 |
| 2024-04-05 | Auto merge of #123317 - RalfJung:test-in-miri, r=m-ou-se,saethlin,onur-ozkan | bors | -0/+2 |
| 2024-04-03 | add 'x.py miri', and make it work for 'library/{core,alloc,std}' | Ralf Jung | -0/+2 |
| 2024-04-02 | Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=Amanieu | Jacob Pratt | -1/+1 |
| 2024-03-26 | enable cargo miri test doctests | onur-ozkan | -0/+2 |
| 2024-03-23 | rename ptr::from_exposed_addr -> ptr::with_exposed_provenance | Ralf Jung | -1/+1 |
| 2024-03-06 | Auto merge of #3340 - RalfJung:no-disable-abi-check, r=oli-obk | bors | -2/+0 |
| 2024-03-04 | we properly rebuild the cache now when MIRI_LIB_SRC contents change | Ralf Jung | -5/+1 |
| 2024-03-04 | implement manual deduplication for isolation-error=warn-nobacktrace | Ralf Jung | -2/+2 |
| 2024-03-03 | readme | Ralf Jung | -0/+2 |
| 2024-03-02 | remove the ability to disable ABI checking | Ralf Jung | -2/+0 |
| 2024-02-27 | add mpsc memory leak to trophy case | Ralf Jung | -0/+1 |
| 2024-02-24 | Add "cargo miri clean" command | Ross Smyth | -2/+2 |
| 2024-02-04 | Stop recommending cargo clean in README | Tommi Virtanen | -5/+2 |
| 2023-12-21 | another trophy | Ralf Jung | -0/+1 |
| 2023-12-03 | new trophy case entry | Ralf Jung | -0/+1 |
| 2023-11-19 | tag-gc -> provenance-gc | Ben Kimock | -4/+4 |
| 2023-10-27 | add aarch64-apple-darwin to list of supported targets | Ralf Jung | -2/+3 |
| 2023-10-04 | auto-detect no_std where possible | Ralf Jung | -2/+4 |
| 2023-09-25 | Document new env var | Oli Scherer | -0/+2 |
| 2023-09-21 | deprecate -Zmiri-disable-abi-check | Ralf Jung | -1/+1 |
| 2023-08-31 | update target support section | Ralf Jung | -15/+13 |
| 2023-08-21 | fix MIRI_AUTO_OPS not having an effect any more | Ralf Jung | -2/+2 |
| 2023-08-08 | [nit][typo] Remove "currently" that breaks reading flow. | Taras Tsugrii | -1/+1 |
| 2023-07-26 | Unite bless environment variables under `RUSTC_BLESS` | Trevor Gross | -1/+1 |
| 2023-07-21 | make full field retagging the default | Ralf Jung | -9/+5 |
| 2023-07-16 | link to a definition of soundness | Ralf Jung | -1/+2 |
| 2023-07-16 | clarify that we do not prove soundness | Ralf Jung | -0/+6 |
| 2023-06-28 | Auto merge of #2936 - Vanille-N:unique, r=RalfJung | bors | -0/+3 |
| 2023-06-28 | Unique gets special treatment when -Zmiri-unique-is-unique | Neven Villani | -0/+3 |
| 2023-06-27 | Add trophy | Andy Wang | -0/+1 |
| 2023-05-09 | Amend the docs for -Zmiri-measureme | Ben Kimock | -1/+1 |
| 2023-04-17 | Merge from rustc | Oli Scherer | -5/+9 |
| 2023-04-16 | Add a flag to disable leak backtraces | Ben Kimock | -5/+9 |
| 2023-04-14 | Fix spelling | Josh Soref | -1/+1 |
| 2023-03-28 | add link for tree borrows similar to stacked borrows | Yerke Tulibergenov | -4/+5 |
| 2023-03-16 | TB: document TB changes in README | Neven Villani | -118/+13 |
| 2023-03-12 | tweak readme | Ralf Jung | -3/+3 |
| 2023-03-12 | Add a section on using nextest | Ben Kimock | -0/+20 |
| 2023-02-24 | Use full path to `c_char` in README | LevitatingLion | -1/+1 |
| 2023-02-24 | Add ARM targets to CI | LevitatingLion | -1/+3 |
| 2023-02-24 | Use pointers to `c_char` instead of `i8` in `miri_host_to_target_path` | LevitatingLion | -1/+1 |
| 2022-12-24 | Merge from rustc | Ralf Jung | -0/+1 |
