| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-08-13 | remove the concept of a Call ID | Ralf Jung | -4/+0 |
| 2024-08-11 | Rollup merge of #128592 - evelynharthbrooke:master, r=Mark-Simulacrum | Matthias Krüger | -1/+0 |
| 2024-08-05 | Merge from rustc | Ralf Jung | -0/+2 |
| 2024-08-03 | Promote aarch64-apple-darwin to Tier 1 | Evelyn Harthbrooke | -1/+0 |
| 2024-08-03 | Miri: add a flag to do recursive validity checking | Ralf Jung | -0/+2 |
| 2024-08-02 | docs | Ralf Jung | -0/+13 |
| 2024-06-28 | readme: tweak wording around soundness | Ralf Jung | -4/+6 |
| 2024-06-24 | clarify the status of Tree Borrows | Ralf Jung | -2/+6 |
| 2024-06-13 | document --many-seeds; set the default range to 0..64 | Ralf Jung | -17/+15 |
| 2024-05-28 | move ./miri environment variables to CONTRIBUTING | Ralf Jung | -15/+6 |
| 2024-05-10 | rename 'extern-so' to 'native-lib' | Ralf Jung | -6/+6 |
| 2024-05-09 | make RUSTC_BLESS entirely an internal thing | Ralf Jung | -2/+0 |
| 2024-05-09 | make MIRI_TEST_TARGET entirely an internal thing | Ralf Jung | -34/+0 |
| 2024-05-08 | Update documentation for miri-script test changes | Ross Smyth | -1/+1 |
| 2024-05-07 | remove problems that I do not think we have seen in a while | Ralf Jung | -13/+0 |
| 2024-05-07 | README: update introduction | Ralf Jung | -39/+31 |
| 2024-05-05 | solaris support start. | David Carlier | -1/+1 |
| 2024-05-05 | illumos support. | David Carlier | -0/+1 |
| 2024-05-04 | Auto merge of #3554 - RalfJung:freebsd, r=RalfJung | bors | -2/+5 |
| 2024-05-04 | document unofficially supported OSes | Ralf Jung | -2/+5 |
| 2024-05-04 | update 'unsupported' message | Ralf Jung | -1/+1 |
| 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 |
