| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-08-19 | God bless the tests | Johannes Hostert | -0/+29 |
| 2025-06-07 | make better use of label for data-race and some other errors | Ralf Jung | -65/+18 |
| 2025-06-07 | diagnostics: do not repeat the entire message in the span label | Ralf Jung | -66/+66 |
| 2025-05-03 | Merge from rustc | The Miri Cronjob Bot | -9/+9 |
| 2025-04-30 | interpret: better error message for out-of-bounds pointer arithmetic and acce... | Ralf Jung | -9/+9 |
| 2025-04-29 | add -Zmiri-deterministic-concurrency flag and use it for concurrency tests | Ralf Jung | -3/+1 |
| 2025-04-29 | Added random scheduling | geetanshjuneja | -1/+1 |
| 2025-03-12 | Allow more top-down inlining for single-BB callees | Scott McMurray | -2/+2 |
| 2024-09-21 | fmt (with a huge diff for some reason) | Ralf Jung | -2/+2 |
| 2024-09-16 | Bump ui test | Oli Scherer | -287/+287 |
| 2024-09-11 | make basic allocation functions track_caller in Miri for nicer backtraces | Ralf Jung | -21/+11 |
| 2024-08-27 | Make TB tree traversal bottom-up | Johannes Hostert | -117/+39 |
| 2024-08-21 | add a test for zero-sized protectors | Ralf Jung | -0/+70 |
| 2024-08-13 | remove the concept of a Call ID | Ralf Jung | -18/+18 |
| 2024-08-01 | on a signed deref check, mention the right pointer in the error | Ralf Jung | -4/+4 |
| 2024-07-27 | improve dangling/oob errors and make them more uniform | Ralf Jung | -9/+9 |
| 2024-04-24 | avoid 'let _' in tests where we actually want the value to be computed | Ralf Jung | -1/+1 |
| 2024-04-18 | when reusing an address, most of the time only reuse from the current thread | Ralf Jung | -0/+2 |
| 2024-04-17 | Rollup merge of #124030 - RalfJung:adjust_alloc_base_pointer, r=oli-obk | Matthias Krüger | -1/+1 |
| 2024-04-17 | interpret: rename base_pointer -> root_pointer | Ralf Jung | -1/+1 |
| 2024-04-16 | Box::into_raw: make Miri understand that this is a box-to-raw cast | Ralf Jung | -2/+2 |
| 2024-03-23 | Auto merge of #3385 - Zoxc:read-types, r=RalfJung | bors | -5/+11 |
| 2024-03-23 | Report retags as distinct from real memory accesses for data races | John Kåre Alsaker | -5/+11 |
| 2024-03-18 | add_retag: ensure box-to-raw-ptr casts are preserved for Miri | Ralf Jung | -2/+2 |
| 2024-03-02 | Tree Borrows: print where the forbidden access happens; make tag tracking les... | Ralf Jung | -56/+56 |
| 2024-03-02 | print thread name in miri error backtraces | Ralf Jung | -7/+7 |
| 2024-01-02 | Allow unused tuple struct fields in Miri tests | Jake Goulding | -2/+2 |
| 2023-11-24 | Bless Miri tests | Nilstrieb | -62/+62 |
| 2023-10-27 | data-race: preserve structured access information longer, and don't upper-cas... | Ralf Jung | -5/+5 |
| 2023-10-06 | Fix problems of Reserved -> Frozen | Neven Villani | -89/+15 |
| 2023-09-21 | adjust how closure/generator types and rvalues are printed | Ralf Jung | -4/+4 |
| 2023-08-16 | on out-of-bounds error, show where the allocation was created | Ralf Jung | -2/+12 |
| 2023-08-05 | tree borrows: consider some retags as writes for the purpose of data races | Ralf Jung | -0/+157 |
| 2023-08-02 | Auto merge of #112431 - Urgau:cast_ref_to_mut_improvments, r=Nilstrieb | bors | -0/+2 |
| 2023-07-29 | Auto merge of #114211 - RalfJung:miri, r=RalfJung | bors | -14/+14 |
| 2023-07-29 | Adjust some tests for invalid_reference_casting improvements | Urgau | -0/+2 |
| 2023-07-29 | Auto merge of #113422 - Urgau:cast_ref_to_mut-pre-beta, r=Nilstrieb | bors | -1/+1 |
| 2023-07-28 | exract a perform_access, check read-read commutation exhaustively | Neven Villani | -14/+14 |
| 2023-07-26 | fix protectors so that all reads actually commute | Neven Villani | -14/+14 |
| 2023-07-21 | ask people to reach out if we declare too much UB | Ralf Jung | -2/+7 |
| 2023-07-21 | SB: track whether a retag occurred nested inside a field | Ralf Jung | -5/+5 |
| 2023-07-21 | make full field retagging the default | Ralf Jung | -7/+15 |
| 2023-07-13 | Rename cast_ref_to_mut lint to invalid_reference_casting | Urgau | -1/+1 |
| 2023-06-19 | bless new tests | Ralf Jung | -2/+2 |
| 2023-06-10 | box_exclusive_violation | Neven Villani | -0/+118 |
| 2023-06-05 | Differentiate between explicit accesses and accesses inserted by TB | Neven Villani | -87/+87 |
| 2023-06-03 | Select more TB fail tests | Neven Villani | -0/+2377 |
