| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-11-12 | freebsd interceptions update proposal | David Carlier | -3/+31 |
| 2023-11-10 | data_race: link to docs for 'unusual' race conditions | Ralf Jung | -0/+6 |
| 2023-11-04 | Auto merge of #3145 - RalfJung:data-race-error, r=RalfJung | bors | -106/+112 |
| 2023-11-02 | Merge from rustc | The Miri Conjob Bot | -11/+10 |
| 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 | -6/+6 |
| 2023-10-28 | Auto merge of #3149 - RalfJung:atomic-readonly-loads, r=RalfJung | bors | -31/+74 |
| 2023-10-28 | accept some atomic loads from read-only memory | Ralf Jung | -31/+74 |
| 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 | fmt | The Miri Conjob Bot | -1/+0 |
| 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 | -12/+18 |
| 2023-10-27 | data-race: preserve structured access information longer, and don't upper-cas... | Ralf Jung | -104/+104 |
| 2023-10-25 | Stabilize `[const_]pointer_byte_offsets` | Maybe Waffle | -5/+0 |
| 2023-10-25 | Typo. | Camille GILLOT | -1/+1 |
| 2023-10-25 | Auto merge of #3141 - rust-lang:rustup-2023-10-25, r=RalfJung | bors | -1/+1 |
| 2023-10-25 | CLOCK_UPTIME_RAW exists on all macos targets, not just the ARM ones | Ralf Jung | -1/+1 |
| 2023-10-25 | Do not merge fn pointer casts. | Camille GILLOT | -3/+2 |
| 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 #3137 - RalfJung:data-race, r=oli-obk | bors | -65/+239 |
| 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 | -0/+28 |
| 2023-10-23 | don't talk about 'Data race' when both accesses are atomic | Ralf Jung | -10/+10 |
| 2023-10-23 | clean up imperfect overlap detection in weak-mem emulation | Ralf Jung | -12/+24 |
| 2023-10-23 | detect mixed-size atomic accesses | Ralf Jung | -40/+90 |
| 2023-10-23 | data_race: detect races between atomic and non-atomic accesses, even if both ... | Ralf Jung | -0/+84 |
| 2023-10-22 | use visibility to check unused imports and delete some stmts | bohan | -0/+1 |
| 2023-10-21 | Merge from rustc | The Miri Conjob Bot | -98/+98 |
| 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 | -37/+37 |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -28/+28 |
| 2023-10-17 | Auto merge of #3124 - eduardosm:fix-sse41-round, r=RalfJung | bors | -0/+50 |
| 2023-10-17 | Fix rounding mode check in SSE4.1 round functions | Eduardo Sánchez Muñoz | -0/+50 |
| 2023-10-17 | fmt | The Miri Conjob Bot | -3/+3 |
| 2023-10-17 | Merge from rustc | The Miri Conjob Bot | -243/+370 |
| 2023-10-15 | Auto merge of #3118 - eduardosm:intrinsics-x86-sse41, r=RalfJung | bors | -0/+265 |
| 2023-10-15 | Implement `llvm.x86.sse41.*` intrinsics | Eduardo Sánchez Muñoz | -0/+265 |
| 2023-10-15 | more precise error for 'based on misaligned pointer' case | Ralf Jung | -50/+55 |
| 2023-10-15 | place evaluation: require the original pointer to be aligned if an access hap... | Ralf Jung | -0/+50 |
| 2023-10-15 | don't UB on dangling ptr deref, instead check inbounds on projections | Ralf Jung | -200/+261 |
| 2023-10-14 | Rollup merge of #116576 - eduardosm:const-eval-wasm-target-features, r=RalfJung | Guillaume Gomez | -0/+11 |
| 2023-10-14 | const-eval: allow calling functions with targat features disabled at compile ... | Eduardo Sánchez Muñoz | -0/+11 |
| 2023-10-13 | Clean up unchecked_math, separate out unchecked_shifts | ltdk | -2/+2 |
