| Age | Commit message (Expand) | Author | Lines |
|---|
| 2019-04-16 | Miri: refactor new allocation tagging | Ralf Jung | -20/+20 |
| 2019-03-26 | renames EvalContext to InterpretCx. | kenta7777 | -12/+12 |
| 2019-02-13 | make bin_op and unary_op APIs consistently work on ImmTy | Ralf Jung | -6/+4 |
| 2019-02-10 | rustc: doc comments | Alexander Regueiro | -12/+12 |
| 2019-01-02 | Add missing 'static bound for the Machine trait | Matthew Jasper | -1/+1 |
| 2018-12-25 | Remove licenses | Mark Rousskov | -10/+0 |
| 2018-12-23 | Rollup merge of #56981 - RalfJung:miri-infallible-alloc, r=oli-obk | kennytm | -1/+1 |
| 2018-12-19 | miri: allocation is infallible | Ralf Jung | -1/+1 |
| 2018-12-18 | treat ref-to-raw cast like a reborrow: do a special kind of retag | Ralf Jung | -11/+1 |
| 2018-12-07 | Various minor/cosmetic improvements to code | Alexander Regueiro | -1/+1 |
| 2018-12-03 | Retag needs to know whether this is a 2-phase-reborrow | Ralf Jung | -0/+1 |
| 2018-11-27 | Auto merge of #56094 - RalfJung:memory-data-revived, r=oli-obk | bors | -5/+26 |
| 2018-11-25 | machine hooks for stack push and pop, frame machine data | Ralf Jung | -0/+14 |
| 2018-11-25 | pass MemoryExtra to find_foreign_static and adjust_static_allocation; they mi... | Ralf Jung | -4/+6 |
| 2018-11-25 | bring back MemoryExtra | Ralf Jung | -1/+6 |
| 2018-11-20 | Grammar nit | Oliver Scherer | -1/+1 |
| 2018-11-20 | Document runtime static mutation checks | Oliver Scherer | -1/+2 |
| 2018-11-15 | Auto merge of #55716 - RalfJung:escape-to-raw, r=oli-obk | bors | -18/+10 |
| 2018-11-12 | remove unused import | Ralf Jung | -1/+1 |
| 2018-11-12 | for uniformity, also move memory_deallocated to AllocationExtra | Ralf Jung | -10/+0 |
| 2018-11-08 | Fallout | Oliver Scherer | -2/+2 |
| 2018-11-08 | Move the `memory_accessed` hook onto the `Extra` value | Oliver Scherer | -20/+0 |
| 2018-11-07 | calling the ptr hooks no longer needs expensive preparation, remove the opt-out | Ralf Jung | -5/+0 |
| 2018-11-07 | no more action on ref or cast, but add new MIR statement for escaping a ptr t... | Ralf Jung | -13/+10 |
| 2018-11-05 | machine hooks for ptr (de)ref also need layout, and then they do not need the... | Ralf Jung | -13/+9 |
| 2018-10-29 | the memory_deallocated hook can make good use of knowing the size | Ralf Jung | -0/+1 |
| 2018-10-29 | provide mutable borrows when hooking memory write access | Ralf Jung | -14/+12 |
| 2018-10-29 | Emit Retag statements, kill Validate statements | Ralf Jung | -3/+3 |
| 2018-10-28 | don't tag new memory inside memory.rs; add machine hook to tag new memory | Ralf Jung | -3/+11 |
| 2018-10-28 | validity in non-const mode relies on ref_to_mplace checking bounds; (de)refer... | Ralf Jung | -15/+21 |
| 2018-10-28 | make (de)reference hooks more consistent | Ralf Jung | -4/+7 |
| 2018-10-18 | don't do any work towards ptr provenance in const mode | Ralf Jung | -0/+5 |
| 2018-10-18 | add 'raw reference' to the machine hook, and use that in ptr-to-raw casts | Ralf Jung | -1/+2 |
| 2018-10-18 | Forward entire ptr used for dealloaction to machine | Ralf Jung | -1/+1 |
| 2018-10-18 | repeat after me: Clone, Copy, Debug | Ralf Jung | -0/+1 |
| 2018-10-18 | also hook dereferencing | Ralf Jung | -5/+14 |
| 2018-10-18 | provide machine hooks for creating references and accessing memory | Ralf Jung | -6/+46 |
| 2018-10-18 | give machine more control over what counts as memory leak | Ralf Jung | -1/+6 |
| 2018-10-18 | add support for storing extra data in an allocation | Ralf Jung | -12/+14 |
| 2018-10-13 | make ENFORCE_VALIDITY a function | Ralf Jung | -1/+1 |
| 2018-10-10 | more comments for these sublte games we are playing with allocations in the m... | Ralf Jung | -2/+4 |
| 2018-10-10 | abstract mono_hash_map through a trait, only miri actually needs the fancy one | Ralf Jung | -5/+46 |
| 2018-10-10 | fix typos | Ralf Jung | -1/+1 |
| 2018-10-10 | miri engine: basic support for pointer provenance tracking | Ralf Jung | -14/+35 |
| 2018-10-09 | add machine option to validate things on every copy | Ralf Jung | -0/+3 |
| 2018-09-20 | move CTFE engine snapshot state out of miri engine into CTFE machine instance | Ralf Jung | -13/+15 |
| 2018-09-09 | miri loop detector hashing: fix enum hashing to also consider discriminant; d... | Ralf Jung | -7/+7 |
| 2018-09-03 | Implement Hash in terms of HashStable for EvalSnapshot | Bruno Dutra | -2/+4 |
| 2018-08-29 | make ptr_op finally reponsible for all ops involving pointers; make ValTy con... | Ralf Jung | -6/+4 |
| 2018-08-27 | use associated const for machine controlling mutable statics | Ralf Jung | -14/+9 |
