summary refs log tree commit diff
path: root/src/librustc_mir/interpret/eval_context.rs
AgeCommit message (Expand)AuthorLines
2018-09-09miri loop detector hashing: fix enum hashing to also consider discriminant; d...Ralf Jung-1/+7
2018-09-03Move InfiniteLoopDetector to snapshot.rsBruno Dutra-69/+2
2018-09-03Use EvalContext's TyCtx for the purpose of hashing the evaluation contextBruno Dutra-1/+2
2018-09-03Keep lines shorter than 100 charactersBruno Dutra-2/+9
2018-09-03Add an info log when snapshotting the constant evaluation contextBruno Dutra-0/+2
2018-09-03Impl Eq and PartialEq for EvalSnapshot in terms of the Snapshot traitBruno Dutra-26/+0
2018-09-03Make vaious allocation related types generic on the allocation idBruno Dutra-4/+4
2018-09-03Move EvalSnapshot into its own moduleBruno Dutra-42/+2
2018-09-03Implement Hash in terms of HashStable for EvalSnapshotBruno Dutra-16/+50
2018-09-03Promote EvalSnapshot to newtypeBruno Dutra-6/+21
2018-08-29move some Scalar helpers from miri here, and use them where appropriateRalf Jung-1/+2
2018-08-27fix handling of unsized types in validation; validate str to be UTF-8Ralf Jung-79/+83
2018-08-27get rid of FinishStatic hack from stack clenaup; const_eval can do that itselfRalf Jung-16/+11
2018-08-27move const_eval out of rustc_mir::interpretRalf Jung-5/+5
2018-08-27Miri Memory WorkRalf Jung-30/+26
2018-08-23Fixed multi-line function signaturesBernardo Meurer-1/+1
2018-08-23Small style fixesBernardo Meurer-1/+1
2018-08-23Fix stylistic mistakesBernardo Meurer-4/+9
2018-08-23Fixup long code linesBernardo Meurer-6/+14
2018-08-23Reflow and fixup commentsBernardo Meurer-2/+4
2018-08-23Add license header to CTFE/MIRIBernardo Meurer-0/+10
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-3/+3
2018-08-22optimize creating a stack frameRalf Jung-6/+15
2018-08-22move validation to its own fileRalf Jung-331/+2
2018-08-22finally remove all traces of signs from memoryRalf Jung-17/+7
2018-08-22fix dynamically determining size and alignmentRalf Jung-17/+20
2018-08-22fix drop typing; use same machinery for validating (sanity checking) dyn trai...Ralf Jung-21/+32
2018-08-22fix union field access and DST computations and dumping of placesRalf Jung-16/+17
2018-08-22remove cur_frame from memory (validation is gone, new validation will not nee...Ralf Jung-6/+0
2018-08-22generalize truncate and sign_extend to take a SizeRalf Jung-7/+7
2018-08-22miri/CTFE refactorRalf Jung-277/+229
2018-08-22Move some value-and-memory related things out of eval_contextRalf Jung-762/+10
2018-08-21Rollup merge of #53496 - matthiaskrgr:codespell_08_2018, r=varkorkennytm-1/+1
2018-08-19mv (mod) codemap source_mapDonato Sciarra-3/+3
2018-08-19Fix typos found by codespell.Matthias Krüger-1/+1
2018-08-03Remove spurious whitespaceOliver Schneider-1/+1
2018-08-03Remove some more unnecessary `mut`Oliver Schneider-3/+3
2018-08-02Reading values should not be looking at the variantOliver Schneider-15/+2
2018-08-01Address behaviour changing review commentsOliver Schneider-13/+27
2018-08-01Address stylistic review comments and rebase falloutOliver Schneider-64/+22
2018-08-01Simplify the char correctness checkOliver Schneider-5/+3
2018-08-01Fix `try_read_value` not working for enumsOliver Schneider-8/+21
2018-08-01Reintroduce `Undef` and properly check constant value sizesOliver Schneider-105/+122
2018-07-29Sanity-check all constantsOliver Schneider-70/+340
2018-07-23Promoteds are statics and statics have a place, not just a valueOliver Schneider-13/+1
2018-07-18Move the const casting code into its dedicated fileOliver Schneider-128/+2
2018-07-17Pull out a statement that all match arms are executingOliver Schneider-5/+4
2018-07-04Move `Eq + Hash + Clone` bounds to `Machine`Dylan MacKenzie-8/+4
2018-07-04Avoid overflow in step counterDylan MacKenzie-13/+14
2018-07-04Rename `bloom` to `hashes`Dylan MacKenzie-8/+8