| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-08-30 | move marking-locals-live out of push_stack_frame, so it happens with argument... | Ralf Jung | -5/+5 |
| 2023-08-29 | Merge from rustc | The Miri Conjob Bot | -2/+1 |
| 2023-08-28 | Rollup merge of #115280 - RalfJung:panic-cleanup-triple-backtrace, r=Amanieu | Matthias Krüger | -2/+1 |
| 2023-08-27 | avoid triple-backtrace due to panic-during-cleanup | Ralf Jung | -2/+1 |
| 2023-08-26 | Merge from rustc | The Miri Conjob Bot | -7/+76 |
| 2023-08-25 | Auto merge of #115184 - saethlin:local-allocated-spans, r=RalfJung | bors | -5/+74 |
| 2023-08-25 | Record allocation spans inside force_allocation | Ben Kimock | -5/+74 |
| 2023-08-24 | when terminating during unwinding, show the reason why | Ralf Jung | -2/+2 |
| 2023-08-22 | fix some bad regex capture group references in test normalization | Ralf Jung | -12/+12 |
| 2023-08-20 | interpret: have assert_* intrinsics call the panic machinery instead of a dir... | Ralf Jung | -13/+50 |
| 2023-08-20 | interpret/miri: call panic_cannot_unwind lang item instead of hard-coding the... | Ralf Jung | -39/+119 |
