| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-08-08 | Merge from rustc | The Miri Conjob Bot | -5/+5 |
| 2023-08-08 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-08-07 | [perf] Reserve capacity for argvs. | Taras Tsugrii | -1/+1 |
| 2023-08-07 | Rollup merge of #114570 - ttsugriy:miri-vc-typo, r=RalfJung | Matthias Krüger | -1/+1 |
| 2023-08-07 | Auto merge of #114560 - RalfJung:miri, r=RalfJung | bors | -778/+1645 |
| 2023-08-06 | [miri][typo] Fix a typo in a vector_block comment. | Taras Tsugrii | -1/+1 |
| 2023-08-06 | Add a new `compare_bytes` intrinsic instead of calling `memcmp` directly | Scott McMurray | -4/+4 |
| 2023-08-06 | Auto merge of #3016 - RalfJung:is_reserved, r=RalfJung | bors | -2/+2 |
| 2023-08-06 | fix typo: is_reserved | Ralf Jung | -2/+2 |
| 2023-08-06 | rustc-pull: put a newline after the commit ID | Ralf Jung | -1/+1 |
| 2023-08-05 | add a test ensuring that we enforce noalias on accesses | Ralf Jung | -7/+37 |
| 2023-08-05 | tree borrows: consider some retags as writes for the purpose of data races | Ralf Jung | -138/+186 |
| 2023-08-05 | ensure we allow zero-sized references to functions and vtables | Ralf Jung | -0/+32 |
| 2023-08-05 | borrow tracking: simplify provenance updating | Ralf Jung | -55/+20 |
| 2023-08-05 | fix return place protection when the place is given as a local | Ralf Jung | -1/+71 |
| 2023-08-05 | fmt | Ralf Jung | -10/+2 |
| 2023-08-05 | Merge from rustc | Ralf Jung | -6/+4 |
| 2023-08-05 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
| 2023-08-04 | interpret: add mplace_to_ref helper method | Ralf Jung | -6/+4 |
| 2023-08-04 | Auto merge of #3011 - saethlin:spellck, r=RalfJung | bors | -7/+7 |
| 2023-08-04 | Merge from rustc | The Miri Conjob Bot | -5/+8 |
| 2023-08-04 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-08-03 | Auto merge of #108955 - Nilstrieb:dont-use-me-pls, r=oli-obk | bors | -0/+1 |
| 2023-08-03 | A bit of spell-checking | Ben Kimock | -7/+7 |
| 2023-08-03 | Add `internal_features` lint | Nilstrieb | -0/+1 |
| 2023-08-03 | Auto merge of #3009 - oli-obk:auto_actions, r=oli-obk | bors | -9/+16 |
| 2023-08-03 | add test checking that overlapping assignments work | Ralf Jung | -0/+9 |
| 2023-08-03 | Avoid infinite recursion for auto-fmt and auto-clippy | Oli Scherer | -9/+16 |
| 2023-08-03 | fmt | The Miri Conjob Bot | -2/+7 |
| 2023-08-03 | Merge from rustc | The Miri Conjob Bot | -175/+179 |
| 2023-08-03 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-08-02 | cargo-miri: avoid set_env | Ralf Jung | -7/+18 |
| 2023-08-02 | Command debug printing prints the environment these days, we can kill some cu... | Ralf Jung | -39/+1 |
| 2023-08-02 | fix miri-script being silent when running './miri test' | Ralf Jung | -8/+14 |
| 2023-08-02 | no need to forward all env vars | Ralf Jung | -17/+8 |
| 2023-08-02 | Auto merge of #3004 - RalfJung:borrow-tests, r=RalfJung | bors | -11/+77 |
| 2023-08-02 | const validation: point at where we found a pointer but expected an integer | Ralf Jung | -5/+7 |
| 2023-08-02 | add local_addr_of_mut test | Ralf Jung | -0/+12 |
| 2023-08-02 | miri-script: simplify flag computation a bit | Ralf Jung | -12/+12 |
| 2023-08-02 | add write_does_not_invalidate_all_aliases test, and enable direct_mut_to_cons... | Ralf Jung | -11/+65 |
| 2023-08-02 | Auto merge of #112431 - Urgau:cast_ref_to_mut_improvments, r=Nilstrieb | bors | -0/+4 |
| 2023-08-02 | Auto merge of #114333 - RalfJung:dangling-ptr-offset, r=oli-obk | bors | -175/+175 |
| 2023-08-02 | fmt | The Miri Conjob Bot | -8/+12 |
| 2023-08-02 | Merge from rustc | The Miri Conjob Bot | -50/+123 |
| 2023-08-02 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-08-01 | Auto merge of #114331 - matthiaskrgr:rollup-rnrmwcx, r=matthiaskrgr | bors | -0/+24 |
| 2023-08-01 | properly track why we checked whether a pointer is in-bounds | Ralf Jung | -102/+102 |
| 2023-08-01 | Rollup merge of #114296 - RalfJung:interpret-repeat-align, r=oli-obk | Matthias Krüger | -0/+24 |
| 2023-08-01 | Auto merge of #112849 - m-ou-se:panic-message-format, r=thomcc | bors | -49/+98 |
| 2023-08-01 | rename deref_operand → deref_pointer and some Miri helper functions | Ralf Jung | -73/+73 |
