| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2022-11-30 | Update documentation | Oli Scherer | -1/+1 | |
| 2022-11-28 | Rollup merge of #104933 - RalfJung:interpret-partial-ord, r=oli-obk | Matthias Krüger | -7/+7 | |
| interpret: remove PartialOrd from a bunch of types that do not have or need a sensible order r? `@oli-obk` | ||||
| 2022-11-27 | Prefer doc comments over `//`-comments in compiler | Maybe Waffle | -2/+2 | |
| 2022-11-26 | interpret: remove PartialOrd from a bunch of types that do not have or need ↵ | Ralf Jung | -7/+7 | |
| a sensible order | ||||
| 2022-11-20 | Rollup merge of #104564 - RalfJung:either, r=oli-obk | Matthias Krüger | -8/+12 | |
| interpret: use Either over Result when it is not representing an error condition r? `@oli-obk` | ||||
| 2022-11-18 | interpret: use Either over Result when it is not representing an error condition | Ralf Jung | -8/+12 | |
| 2022-11-17 | fix a typo | Ralf Jung | -1/+1 | |
| 2022-11-16 | cleanup and dedupe CTFE and Miri error reporting | Ralf Jung | -19/+8 | |
| 2022-11-15 | Auto merge of #104054 - RalfJung:byte-provenance, r=oli-obk | bors | -787/+962 | |
| interpret: support for per-byte provenance Also factors the provenance map into its own module. The third commit does the same for the init mask. I can move it in a separate PR if you prefer. Fixes https://github.com/rust-lang/miri/issues/2181 r? `@oli-obk` | ||||
| 2022-11-14 | assert that we are (de)seiralizing ProvenanceMap correctly | Ralf Jung | -11/+11 | |
| 2022-11-14 | Manually implement `Encodable` for ProvenanceMap to avoid serializing an ↵ | Oli Scherer | -1/+16 | |
| always-none option | ||||
| 2022-11-10 | Use const_error_with_guaranteed more | Michael Goulet | -1/+2 | |
| 2022-11-09 | another optimization attempt | Ralf Jung | -66/+83 | |
| 2022-11-08 | another attempt at performance improvements | Ralf Jung | -23/+26 | |
| 2022-11-07 | less unsupported errors in Miri, and clarifying comments | Ralf Jung | -9/+9 | |
| 2022-11-07 | try to make things faster when only ptr provenance can exist | Ralf Jung | -5/+17 | |
| 2022-11-06 | make uninit_mask a unit test | Ralf Jung | -1/+22 | |
| 2022-11-06 | move InitMask to its own module | Ralf Jung | -587/+567 | |
| 2022-11-06 | dont debug-print allocations, that's too verbose | Ralf Jung | -4/+4 | |
| 2022-11-06 | interpret: support for per-byte provenance | Ralf Jung | -185/+312 | |
| 2022-10-22 | Auto merge of #103227 - lcnr:bye-bye-unevaluated-const, r=oli-obk | bors | -1/+25 | |
| stop using `ty::UnevaluatedConst` directly best reviewed commit by commit. simplifies #99798 because we now don't have to expand `ty::UnevaluatedConst` to `ty::Const`. I also remember some other places where using `ty::UnevaluatedConst` directly was annoying and caused issues, though I don't quite remember what they were rn '^^ r? `@oli-obk` cc `@JulianKnodt` | ||||
| 2022-10-21 | fix some typos | Rageking8 | -1/+1 | |
| 2022-10-18 | `const_evaluatable_unchecked` to const eval | lcnr | -1/+25 | |
| 2022-10-14 | more dupe word typos | Rageking8 | -1/+1 | |
| 2022-10-07 | make const_err a hard error | Ralf Jung | -18/+1 | |
| 2022-10-04 | It's not about types or consts, but the lack of regions | Oli Scherer | -2/+2 | |
| 2022-09-23 | rename Unevaluated to UnevaluatedConst | b-naber | -3/+3 | |
| 2022-09-22 | introduce mir::Unevaluated | b-naber | -3/+7 | |
| 2022-09-19 | `DestructuredConst` split mir and ty | lcnr | -1/+1 | |
| 2022-09-17 | Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnr | bors | -2/+2 | |
| Use only ty::Unevaluated<'tcx, ()> in type system r? `@lcnr` | ||||
| 2022-09-15 | Replace more manual TypeFoldable and TypeVisitable impls with derives | Oli Scherer | -1/+1 | |
| 2022-09-15 | derive various Lift impl instead of hand rolling them | Oli Scherer | -18/+2 | |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -2/+2 | |
| 2022-08-28 | improve OFFSET_IS_ADDR docs | Ralf Jung | -2/+6 | |
| 2022-08-27 | interpret: make read-pointer-as-bytes *always* work in Miri | Ralf Jung | -95/+83 | |
| and show some extra information when it happens in CTFE | ||||
| 2022-08-27 | interpret: rename relocation → provenance | Ralf Jung | -95/+92 | |
| 2022-08-26 | remove now-unused ScalarMaybeUninit | Ralf Jung | -134/+1 | |
| 2022-08-26 | make read_immediate error immediately on uninit, so ImmTy can carry ↵ | Ralf Jung | -17/+8 | |
| initialized Scalar | ||||
| 2022-08-26 | remove some now-unnecessary parameters from check_bytes | Ralf Jung | -19/+4 | |
| 2022-07-30 | avoid assertion failures in try_to_scalar_int | Ralf Jung | -1/+3 | |
| 2022-07-23 | now we can make scalar_to_ptr a method on Scalar | Ralf Jung | -0/+18 | |
| 2022-07-20 | various nits from review | Ralf Jung | -1/+1 | |
| 2022-07-20 | consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable) | Ralf Jung | -14/+14 | |
| 2022-07-20 | make use of symbolic vtables in interpreter | Ralf Jung | -18/+9 | |
| 2022-07-20 | rename get_global_alloc to try_get_global_alloc | Ralf Jung | -5/+12 | |
| 2022-07-20 | add a Vtable kind of symbolic allocations | Ralf Jung | -4/+40 | |
| 2022-07-19 | interpret: rename Tag/PointerTag to Prov/Provenance | Ralf Jung | -95/+97 | |
| Let's avoid using two different terms for the same thing -- let's just call it "provenance" everywhere. In Miri, provenance consists of an AllocId and an SbTag (Stacked Borrows tag), which made this even more confusing. | ||||
| 2022-07-13 | get rid of MemPlaceMeta::Poison | Ralf Jung | -0/+2 | |
| MPlaceTy::dangling still exists, but now it is only called in places that actually conceptually allocate something new, so that's fine. | ||||
| 2022-07-09 | tweak names and output and bless | Ralf Jung | -3/+3 | |
| 2022-07-09 | review feedback | Ralf Jung | -3/+3 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |