| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 | -2/+2 |
| 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 | -4/+81 |
| 2023-10-28 | Auto merge of #3149 - RalfJung:atomic-readonly-loads, r=RalfJung | bors | -31/+62 |
| 2023-10-28 | accept some atomic loads from read-only memory | Ralf Jung | -31/+62 |
| 2023-10-28 | add some tests specifically for validity checks arising from match binders | Ralf Jung | -0/+59 |
| 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/+57 |
| 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 | -4/+0 |
| 2023-10-24 | Add miri test matching on `!`. | Camille GILLOT | -0/+25 |
| 2023-10-24 | Add miri tests. | Camille GILLOT | -0/+32 |
| 2023-10-24 | fix error read-read reporting when there's also an unsynchronized non-atomic ... | Ralf Jung | -0/+10 |
| 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 | -0/+90 |
| 2023-10-23 | data_race: detect races between atomic and non-atomic accesses, even if both ... | Ralf Jung | -0/+84 |
| 2023-10-21 | Merge from rustc | The Miri Conjob Bot | -57/+57 |
| 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 | -12/+12 |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -11/+11 |
| 2023-10-17 | fmt | The Miri Conjob Bot | -2/+2 |
| 2023-10-17 | Merge from rustc | The Miri Conjob Bot | -241/+322 |
| 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 | -198/+224 |
| 2023-10-13 | Clean up unchecked_math, separate out unchecked_shifts | ltdk | -2/+2 |
| 2023-10-09 | return_pointer_aliasing2 should also run with SB | Ralf Jung | -2/+45 |
| 2023-10-09 | add test to ensure RET assignments do not get propagated on unwinding | Ralf Jung | -0/+74 |
| 2023-10-06 | Fix problems of Reserved -> Frozen | Neven Villani | -83/+220 |
| 2023-10-05 | Tree Borrows: do not create new tags as 'Active' | Ralf Jung | -4/+28 |
| 2023-10-02 | add test for a function ABI mismatch due to target features | Ralf Jung | -0/+50 |
| 2023-09-25 | Auto merge of #3008 - oli-obk:ui_test_progress_bars, r=RalfJung | bors | -1565/+0 |
| 2023-09-23 | Merge from rustc | The Miri Conjob Bot | -25/+25 |
| 2023-09-22 | Move `fail` tests that need dependencies into their own folder, so that wasm ... | Oli Scherer | -1565/+0 |
| 2023-09-21 | adjust how closure/generator types and rvalues are printed | Ralf Jung | -25/+25 |
| 2023-09-21 | deprecate -Zmiri-disable-abi-check | Ralf Jung | -0/+6 |
| 2023-09-19 | Auto merge of #3054 - Vanille-N:spurious-fail, r=RalfJung | bors | -2/+2 |
| 2023-09-19 | Issue of the current model: spurious reads are not possible | Neven Villani | -2/+2 |
| 2023-09-14 | don't point at const usage site for resolution-time errors | Ralf Jung | -4/+4 |
| 2023-09-09 | give extra context to ABI mismatch errors | Ralf Jung | -0/+12 |
| 2023-09-06 | miri: catch function calls where the argument is caller-invalid / the return ... | Ralf Jung | -4/+101 |
| 2023-08-31 | Merge from rustc | Ralf Jung | -10/+89 |
| 2023-08-31 | Merge from rustc | The Miri Conjob Bot | -2/+2 |
| 2023-08-30 | miri function ABI check: specifically look for repr(transparent) | Ralf Jung | -0/+31 |
| 2023-08-30 | organize failing ABI compat tests and add some more | Ralf Jung | -10/+58 |
| 2023-08-30 | storage_live: avoid computing the layout unless necessary | Ralf Jung | -4/+4 |
