| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2020-03-30 | rustc -> rustc_middle part 1 | Mazdak Farrokhzad | -205/+0 | |
| 2020-03-28 | use machine_ prefix for target usize/isize | Ralf Jung | -2/+2 | |
| 2020-03-25 | add helper method for ptr ops on Scalar; reduce unnecessary large operand of ↵ | Ralf Jung | -6/+5 | |
| overflowing_signed_offset | ||||
| 2020-03-25 | use checked casts and arithmetic in Miri engine | Ralf Jung | -2/+2 | |
| 2020-03-23 | Split long derive lists into two derive attributes. | Ana-Maria Mihalache | -12/+2 | |
| 2020-03-11 | miri: categorize errors into "unsupported" and "UB" | Ralf Jung | -16/+0 | |
| Also slightly refactor pointer bounds checks to avoid creating unnecessary temporary Errors | ||||
| 2020-03-04 | use integer assoc consts instead of methods | Ralf Jung | -2/+2 | |
| 2020-01-24 | Render const pointers in MIR more compactly | Oliver Scherer | -2/+2 | |
| 2019-12-22 | Format the world | Mark Rousskov | -14/+27 | |
| 2019-12-01 | Miri core engine: use throw_ub instead of throw_panic | Ralf Jung | -3/+2 | |
| 2019-11-21 | Aggregation of drive-by cosmetic changes. | Alexander Regueiro | -7/+8 | |
| 2019-11-14 | miri: helper methods for max values of machine's usize/isize | Ralf Jung | -0/+13 | |
| 2019-09-07 | Aggregation of cosmetic changes made during work on REPL PRs: librustc | Alexander Regueiro | -5/+4 | |
| 2019-08-14 | Rollup merge of #63075 - RalfJung:deref-checks, r=oli-obk | Mazdak Farrokhzad | -1/+4 | |
| Miri: Check that a ptr is aligned and inbounds already when evaluating `*` This syncs Miri with what the Nomicon and the Reference say, and resolves https://github.com/rust-lang/miri/issues/447. Also this would not have worked without https://github.com/rust-lang/rust/pull/62982 due to new cycles. ;) r? @oli-obk | ||||
| 2019-07-30 | renaming throw_err_* to throw_* | Saleem Jaffer | -3/+3 | |
| 2019-07-30 | renaming err to err_unsup | Saleem Jaffer | -1/+1 | |
| 2019-07-30 | adding throw_ and err_ macros for InterpError | Saleem Jaffer | -3/+3 | |
| 2019-07-29 | code review fixes | Saleem Jaffer | -1/+1 | |
| 2019-07-29 | adding a err macro for each of the InterpError variants | Saleem Jaffer | -11/+4 | |
| 2019-07-29 | fixing fallout due to InterpError refactor | Saleem Jaffer | -2/+3 | |
| 2019-07-28 | better name for check_in_alloc | Ralf Jung | -1/+4 | |
| 2019-07-23 | renames EvalErrorPanic to PanicMessage | Saleem Jaffer | -3/+3 | |
| 2019-07-23 | moving some variants from InterpError to EvalErrorPanic | Saleem Jaffer | -3/+3 | |
| 2019-06-23 | clean up internals of pointer checks; make get_size_and_align also check for ↵ | Ralf Jung | -1/+1 | |
| fn allocations | ||||
| 2019-06-23 | move CheckInAllocMsg to more logical place | Ralf Jung | -1/+23 | |
| 2019-06-11 | rustc: deny(unused_lifetimes). | Eduard-Mihai Burtescu | -1/+1 | |
| 2019-06-08 | rename EvalResult -> InterpResult and EvalError -> InterpErrorInfo | Ralf Jung | -6/+6 | |
| 2019-06-02 | no longer assume that there is a default tag: give the machine the chance to ↵ | Ralf Jung | -7/+0 | |
| tag all allocations | ||||
| 2019-05-28 | Rollup merge of #61164 - RalfJung:scalar, r=oli-obk | Mazdak Farrokhzad | -21/+24 | |
| rename Scalar::Bits to Scalar::Raw and bits field to data Also use this opportunity to seal some abstraction leaks (other modules constructing `Scalar::Bits` directly instead of using a constructor). r? @oli-obk | ||||
| 2019-05-27 | Auto merge of #59627 - ↵ | bors | -3/+3 | |
| LooMaclin:issue_57128_improve_miri_error_reporting_in_check_in_alloc, r=RalfJung Improve miri error reporting in check_in_alloc Fixes https://github.com/rust-lang/rust/issues/57128 r? @RalfJung @oli-obk | ||||
| 2019-05-26 | fix overflow error in signed wrapping offset | Ralf Jung | -21/+24 | |
| 2019-05-24 | improve debug-printing of scalars | Ralf Jung | -1/+15 | |
| Before: Immediate(ScalarMaybeUndef(Scalar(Ptr(Pointer { alloc_id: AllocId(3401), offset: Size { raw: 4 }, tag: Tagged(7723) })))) After: Immediate(Scalar(AllocId(3401).0x4[<7723>])) Before: Immediate(ScalarMaybeUndef(Scalar(Bits { size: 8, bits: 10 }))) After: Immediate(Scalar(0x000000000000000A)) Before: Immediate(ScalarMaybeUndef(Scalar(Bits { size: 1, bits: 1 }))) After: Immediate(Scalar(0x01)) | ||||
| 2019-05-19 | Improve type size assertions | Vadim Petrochenkov | -1/+1 | |
| Now they - Tell what the new size is, when it changes - Do not require passing an identifier | ||||
| 2019-04-16 | Miri: refactor new allocation tagging | Ralf Jung | -1/+7 | |
| 2019-04-02 | Improve miri's error reporting in check_in_alloc | LooMaclin | -3/+3 | |
| 2019-03-13 | Use derive macro for HashStable | John Kåre Alsaker | -1/+3 | |
| 2019-02-05 | move librustc to 2018 | Mark Mansi | -2/+2 | |
| 2019-01-27 | Add some size assertions for const eval types | Oliver Scherer | -0/+2 | |
| 2018-11-24 | Rebase fallout | Oliver Scherer | -1/+18 | |
| 2018-11-08 | Rebase fallout | Oliver Scherer | -2/+2 | |
| 2018-11-08 | Move `Pointer` to its own module | Oliver Scherer | -0/+151 | |
