| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-10-28 | fmt | The Miri Conjob Bot | -6/+13 |
| 2023-10-28 | Merge from rustc | The Miri Conjob Bot | -9/+96 |
| 2023-10-28 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-10-27 | Auto merge of #103208 - cjgillot:match-fake-read, r=oli-obk,RalfJung | bors | -0/+89 |
| 2023-10-27 | give some more help for the unusual data races | Ralf Jung | -29/+54 |
| 2023-10-27 | data-race: preserve structured access information longer, and don't upper-cas... | Ralf Jung | -154/+196 |
| 2023-10-27 | add aarch64-apple-darwin to list of supported targets | Ralf Jung | -2/+3 |
| 2023-10-27 | Auto merge of #116205 - WaffleLapkin:stabilize_pointer_byte_offsets, r=dtolnay | bors | -5/+0 |
| 2023-10-26 | Auto merge of #116818 - Nilstrieb:stop-submitting-bug-reports, r=wesleywiser | bors | -4/+7 |
| 2023-10-25 | Stabilize `[const_]pointer_byte_offsets` | Maybe Waffle | -5/+0 |
| 2023-10-25 | Stop telling people to submit bugs for internal feature ICEs | Nilstrieb | -4/+7 |
| 2023-10-25 | Typo. | Camille GILLOT | -1/+1 |
| 2023-10-25 | Auto merge of #3141 - rust-lang:rustup-2023-10-25, r=RalfJung | bors | -10/+18 |
| 2023-10-25 | CLOCK_UPTIME_RAW exists on all macos targets, not just the ARM ones | Ralf Jung | -9/+5 |
| 2023-10-25 | Do not merge fn pointer casts. | Camille GILLOT | -3/+2 |
| 2023-10-25 | Merge from rustc | The Miri Conjob Bot | -0/+12 |
| 2023-10-25 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-10-25 | add some more gamma function tests | Ralf Jung | -3/+2 |
| 2023-10-24 | Test match underscore on void from union. | Camille GILLOT | -0/+18 |
| 2023-10-24 | Add miri test matching on `!`. | Camille GILLOT | -0/+25 |
| 2023-10-24 | Add miri tests. | Camille GILLOT | -0/+46 |
| 2023-10-24 | Auto merge of #116461 - ChrisDenton:sleep, r=thomcc | bors | -0/+12 |
| 2023-10-24 | Auto merge of #3137 - RalfJung:data-race, r=oli-obk | bors | -225/+416 |
| 2023-10-24 | we don't support thread::scope on freebsd | Ralf Jung | -1/+1 |
| 2023-10-24 | futex text: avoid spurious non-atomic reads | Ralf Jung | -13/+13 |
| 2023-10-24 | fix error read-read reporting when there's also an unsynchronized non-atomic ... | Ralf Jung | -22/+45 |
| 2023-10-24 | Merge from rustc | The Miri Conjob Bot | -0/+1 |
| 2023-10-24 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-10-23 | Auto merge of #116033 - bvanjoi:fix-116032, r=petrochenkov | bors | -0/+1 |
| 2023-10-23 | don't talk about 'Data race' when both accesses are atomic | Ralf Jung | -14/+22 |
| 2023-10-23 | clean up imperfect overlap detection in weak-mem emulation | Ralf Jung | -90/+28 |
| 2023-10-23 | detect mixed-size atomic accesses | Ralf Jung | -72/+196 |
| 2023-10-23 | data_race: detect races between atomic and non-atomic accesses, even if both ... | Ralf Jung | -2/+95 |
| 2023-10-23 | data_race: clarify and slightly refactor non-atomic handling | Ralf Jung | -45/+50 |
| 2023-10-23 | fmt | The Miri Conjob Bot | -8/+9 |
| 2023-10-23 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-10-22 | Auto merge of #3134 - RalfJung:log-not-lin, r=saethlin | bors | -4/+9 |
| 2023-10-22 | use visibility to check unused imports and delete some stmts | bohan | -0/+1 |
| 2023-10-22 | Auto merge of #3135 - RalfJung:nonatomic-clock, r=RalfJung | bors | -7/+7 |
| 2023-10-22 | avoid AtomicU64 when a Cell is enough | Ralf Jung | -7/+7 |
| 2023-10-22 | clippy | Ralf Jung | -1/+1 |
| 2023-10-22 | avoid a linear scan over the entire int_to_ptr_map on each deallocation | Ralf Jung | -4/+9 |
| 2023-10-22 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-10-21 | Merge from rustc | The Miri Conjob Bot | -99/+99 |
| 2023-10-21 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-10-20 | bless miri | Oli Scherer | -8/+8 |
| 2023-10-20 | Rename lots of files that had `generator` in their name | Oli Scherer | -0/+0 |
| 2023-10-20 | s/generator/coroutine/ | Oli Scherer | -38/+38 |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -28/+28 |
| 2023-10-20 | ignore deny lints in josh | Ralf Jung | -1/+1 |
