| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-09-03 | Use EvalContext's TyCtx for the purpose of hashing the evaluation context | Bruno Dutra | -2/+8 | |
| 2018-09-03 | Keep lines shorter than 100 characters | Bruno Dutra | -11/+41 | |
| 2018-09-03 | Add a convenience macro to reduce code duplication | Bruno Dutra | -114/+86 | |
| 2018-09-03 | Add an info log when snapshotting the constant evaluation context | Bruno Dutra | -0/+2 | |
| 2018-09-03 | Impl Eq and PartialEq for EvalSnapshot in terms of the Snapshot trait | Bruno Dutra | -69/+45 | |
| 2018-09-03 | Impl SnapshotContext for Memory | Bruno Dutra | -0/+10 | |
| 2018-09-03 | Introduce Snapshot and SnapshotContext traits | Bruno Dutra | -1/+265 | |
| 2018-09-03 | Make vaious allocation related types generic on the allocation id | Bruno Dutra | -18/+19 | |
| 2018-09-03 | Move EvalSnapshot into its own module | Bruno Dutra | -42/+50 | |
| 2018-09-03 | Implement Hash in terms of HashStable for EvalSnapshot | Bruno Dutra | -51/+85 | |
| 2018-09-03 | Promote EvalSnapshot to newtype | Bruno Dutra | -7/+22 | |
| 2018-09-03 | Auto merge of #53697 - Cyres:const-fn-int-ops, r=oli-obk | bors | -1/+36 | |
| Add more const int ops r? @oli-obk Tracking Issue: #53718 list of `const fn`s in this PR: - `feature = const_int_rotate` - `rotate_left` - `rotate_right` - `feature = const_int_wrapping` - `wrapping_add` - `wrapping_sub` - `wrapping_mul` - `wrapping_shl` - `wrapping_shr` - `feature = const_int_overflowing` - `overflowing_add` - `overflowing_sub` - `overflowing_mul` - `overflowing_shl` - `overflowing_shr` - `feature = const_int_sign` - `is_positive` - `is_negative` - `feature = const_int_conversion` - `reverse_bits` - `to_le_bytes` - `to_ne_bytes` - `from_be_bytes` - `from_le_bytes` - `from_ne_bytes` - `reverse_bits` | ||||
| 2018-09-03 | Auto merge of #53831 - TheDarkula:pointer-check, r=oli-obk | bors | -0/+18 | |
| Added pointer checking to sanity checks r? @oli-obk | ||||
| 2018-09-01 | rebase | Tim | -1/+36 | |
| 2018-09-01 | make sure we do not copy unsized data | Ralf Jung | -0/+2 | |
| 2018-09-01 | bug! instead of panic! | csmoe | -1/+1 | |
| 2018-09-01 | improve panic message | csmoe | -1/+1 | |
| 2018-08-31 | Added pointer checking to sanity checks | thedarkula | -0/+18 | |
| 2018-08-31 | extract allocation info from byref | csmoe | -4/+7 | |
| 2018-08-31 | Auto merge of #53779 - RalfJung:miri-refactor, r=oli-obk | bors | -521/+437 | |
| Miri refactor: Final round Tying up some loose ends that I noticed in the previous PRs -- and finally getting argument passing into a shape where @eddyb says it is "okay", which is a big improvement over the previous verdict that I cannot quote in public. ;) Also move a bunch of useful helpers to construct `Scalar` from miri to here. Cc @eddyb r? @oli-obk | ||||
| 2018-08-30 | Made std::intrinsics::transmute() const fn. | thedarkula | -0/+7 | |
| 2018-08-30 | assert sanity in memory | Ralf Jung | -5/+4 | |
| 2018-08-29 | audit the relocations code, and clean it up a little | Ralf Jung | -22/+42 | |
| 2018-08-29 | refactor memory access methods a bit | Ralf Jung | -40/+47 | |
| 2018-08-29 | make ptr_op finally reponsible for all ops involving pointers; make ValTy ↵ | Ralf Jung | -55/+39 | |
| constructor private Also remove public OpTy constructors, but a pub(crate) constructor remains | ||||
| 2018-08-29 | re-do argument passing one more time to finally be sane | Ralf Jung | -183/+160 | |
| 2018-08-29 | memory: make getting the alloc for a static an associate function for easier ↵ | Ralf Jung | -42/+42 | |
| calling | ||||
| 2018-08-29 | move some Scalar helpers from miri here, and use them where appropriate | Ralf Jung | -179/+108 | |
| 2018-08-28 | restructure unary_op to also dispatch on type first; fix promotion with ↵ | Ralf Jung | -42/+54 | |
| unary '-' overflowing | ||||
| 2018-08-28 | fix unsized extern types | Ralf Jung | -7/+9 | |
| 2018-08-28 | address nits | Ralf Jung | -119/+167 | |
| 2018-08-27 | use associated const for machine controlling mutable statics | Ralf Jung | -45/+35 | |
| So get rid of the IsStatic trait again | ||||
| 2018-08-27 | get rid of *most* of the fn call hack by honoring mir.spread_arg | Ralf Jung | -62/+56 | |
| 2018-08-27 | fix len() on non-array but array-layout types (e.g. SIMD) | Ralf Jung | -14/+15 | |
| 2018-08-27 | expand comment on how statics work | Ralf Jung | -3/+9 | |
| 2018-08-27 | fix handling of unsized types in validation; validate str to be UTF-8 | Ralf Jung | -288/+317 | |
| 2018-08-27 | validate enum discriminant whenever it is read | Ralf Jung | -60/+59 | |
| 2018-08-27 | dedicated handling for binops on bool and char (UB if they are not valid) | Ralf Jung | -54/+94 | |
| 2018-08-27 | get rid of FinishStatic hack from stack clenaup; const_eval can do that itself | Ralf Jung | -33/+17 | |
| 2018-08-27 | move const_eval out of rustc_mir::interpret | Ralf Jung | -476/+15 | |
| to make sure that it does not access private implementation details | ||||
| 2018-08-27 | switch validation to use operand, not mplace | Ralf Jung | -85/+75 | |
| this means we can get rid of the public allocate_op, and make OpTy only constructible in librustc_mir | ||||
| 2018-08-27 | terminator/drop.rs is just one fn... merge it together with the other ↵ | Ralf Jung | -66/+46 | |
| terminator stuff | ||||
| 2018-08-27 | Clean up function calling | Ralf Jung | -118/+99 | |
| Still not as clean as I'd like it, but better | ||||
| 2018-08-27 | simplify const_to_allocation_provider because it is used for statics only | Ralf Jung | -17/+5 | |
| 2018-08-27 | allow Machine to hook into foreign statics; remove unused HasMemory trait | Ralf Jung | -126/+72 | |
| 2018-08-27 | without all those copies of constants, we can finally make eval_operand take ↵ | Ralf Jung | -59/+53 | |
| &self | ||||
| 2018-08-27 | Miri Memory Work | Ralf Jung | -503/+554 | |
| * Unify the two maps in memory to store the allocation and its kind together. * Share the handling of statics between CTFE and miri: The miri engine always uses "lazy" `AllocType::Static` when encountering a static. Acessing that static invokes CTFE (no matter the machine). The machine only has any influence when writing to a static, which CTFE outright rejects (but miri makes a copy-on-write). * Add an `AllocId` to by-ref consts so miri can use them as operands without making copies. * Move responsibilities around for the `eval_fn_call` machine hook: The hook just has to find the MIR (or entirely take care of everything); pushing the new stack frame is taken care of by the miri engine. * Expose the intrinsics and lang items implemented by CTFE so miri does not have to reimplement them. | ||||
| 2018-08-25 | Auto merge of #53609 - bemeurer:tidy-ctfe, r=RalfJung | bors | -63/+287 | |
| Tidy CFTE/MIRI Fixes #53596 | ||||
| 2018-08-24 | support user-given types in adts | Niko Matsakis | -1/+1 | |
| 2018-08-23 | Fixed multi-line function signatures | Bernardo Meurer | -4/+8 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |