| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-11-04 | Auto merge of #3145 - RalfJung:data-race-error, r=RalfJung | bors | -166/+233 |
| 2023-11-04 | fmt | The Miri Conjob Bot | -7/+3 |
| 2023-11-04 | Merge from rustc | The Miri Conjob Bot | -2/+2 |
| 2023-11-04 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-11-02 | Minimize `pub` usage in `source_map.rs`. | Nicholas Nethercote | -2/+2 |
| 2023-11-02 | Merge from rustc | The Miri Conjob Bot | -231/+11 |
| 2023-11-02 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-11-01 | Rollup merge of #115626 - clarfonthey:unchecked-math, r=thomcc | Matthias Krüger | -2/+2 |
| 2023-10-30 | make sure we catch UB with _ pattern in various syntactic positions | Ralf Jung | -16/+87 |
| 2023-10-29 | Auto merge of #116270 - cjgillot:gvn-aggregate, r=oli-obk,RalfJung | bors | -3/+2 |
| 2023-10-28 | Auto merge of #116609 - eduardosm:bump-stdarch, r=workingjubilee | bors | -226/+7 |
| 2023-10-28 | Auto merge of #3149 - RalfJung:atomic-readonly-loads, r=RalfJung | bors | -62/+135 |
| 2023-10-28 | accept some atomic loads from read-only memory | Ralf Jung | -48/+121 |
| 2023-10-28 | add some tests specifically for validity checks arising from match binders | Ralf Jung | -0/+59 |
| 2023-10-28 | consolidate and extend testing for _ patterns discarding the place | Ralf Jung | -31/+76 |
| 2023-10-28 | atomic_op → atomic_rmw_op | Ralf Jung | -14/+14 |
| 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 |
