about summary refs log tree commit diff
path: root/src/librustc_const_eval
AgeCommit message (Expand)AuthorLines
2018-03-28Delete leftover librustc_const_evalOliver Schneider-59/+0
2018-03-26Stabilize i128_typeMark Mansi-1/+1
2018-03-20Stabilize slice patterns without `..`Vadim Petrochenkov-1/+0
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-0/+1
2018-03-08Move librustc_const_eval to librustc_mirOliver Schneider-4209/+0
2018-03-08Produce instead of pointersOliver Schneider-239/+456
2018-03-08Add a variant to ConstVal for storing miri resultsOliver Schneider-0/+1
2018-03-05Turn features() into a query.Michael Woerister-4/+4
2018-02-24Rollup merge of #48452 - varkor:unpacked-kind, r=eddybManish Goregaokar-1/+1
2018-02-23Introduce UnpackedKindvarkor-1/+1
2018-02-20stage0 cfg cleanupMark Simulacrum-1/+0
2018-02-17fix more typos found by codespell.Matthias Krüger-1/+1
2018-02-08Encode (in MIR) whether borrows are explicit in source or arise due to autoref.Felix S. Klock II-2/+2
2018-02-05Rollup merge of #47892 - Badel2:const_type_id_of, r=oli-obkkennytm-0/+4
2018-02-04Auto merge of #47915 - eddyb:layout-of, r=nikomatsakisbors-2/+1
2018-02-01Turn `type_id` into a constant intrinsicBadel2-0/+4
2018-02-01rustc: prefer ParamEnvAnd and LayoutCx over tuples for LayoutOf.Eduard-Mihai Burtescu-2/+1
2018-01-31Rollup merge of #47876 - GuillaumeGomez:associated-const-error, r=nikomatsakiskennytm-3/+19
2018-01-30Update associated constants error messageGuillaume Gomez-3/+19
2018-01-25Auto merge of #47374 - topecongiro:issue-47096, r=nikomatsakisbors-1/+3
2018-01-17Simplify irrefutable slice patternsSeiichi Uchida-1/+3
2018-01-13fix commentsAriel Ben-Yehuda-5/+21
2018-01-13check_match: fix handling of privately uninhabited typesAriel Ben-Yehuda-9/+18
2018-01-13Use delay_span_bug() over debug!()Seiichi Uchida-1/+2
2018-01-12Ignore CTFE errors while lowering patternsSeiichi Uchida-1/+1
2018-01-07Try to fix a perf regression by updating logMalo Jaffré-1/+1
2018-01-07Rollup merge of #47170 - eddyb:us-vs-usize, r=nikomatsakiskennytm-4/+4
2018-01-04rustc: Don't use relative paths for extended errorsAlex Crichton-0/+1
2018-01-04rustc: use {U,I}size instead of {U,I}s shorthands.Eduard-Mihai Burtescu-4/+4
2017-12-20Various tweaksEsteban Küber-2/+2
2017-12-19Use a label for catch-all pattern instead of noteEsteban Küber-1/+1
2017-12-12Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpretOliver Schneider-296/+0
2017-12-12Put miri const eval checking behind -ZmiriOliver Schneider-20/+24
2017-12-06miri: don't use an associated constant for a Machine's own data.Eduard-Mihai Burtescu-4/+4
2017-12-06miri: move param_env from Machine to EvalContext.Eduard-Mihai Burtescu-2/+2
2017-12-06miri: monomorphize types iff they came from MIR.Eduard-Mihai Burtescu-3/+4
2017-12-06Update miri to rustc changesOliver Schneider-205/+441
2017-09-29Expose miri <-> ctfe differencesOliver Schneider-17/+17
2017-09-29Adjust imports to librustc::mir::interpretOliver Schneider-1/+72
2017-09-18incr.comp.: Already hash HIR bodies during metadata export so they don't have...Michael Woerister-4/+3
2017-09-16change #![feature(const_fn)] to specific gatesAlex Burka-1/+3
2017-09-11rustc: evaluate fixed-length array length expressions lazily.Eduard-Mihai Burtescu-10/+14
2017-09-11rustc: remove obsolete const_val::ErrKind::{Negate,Not}On.Eduard-Mihai Burtescu-7/+5
2017-09-11rustc: use ty::Const for the length of TyArray.Eduard-Mihai Burtescu-8/+17
2017-09-11rustc: replace usize with u64 and ConstUsize.Eduard-Mihai Burtescu-29/+30
2017-09-11rustc: introduce ty::Const { ConstVal, Ty }.Eduard-Mihai Burtescu-56/+63
2017-09-11rustc: intern ConstVal's in TyCtxt.Eduard-Mihai Burtescu-121/+131
2017-09-08Use NodeId/HirId instead of DefId for local variables.Eduard-Mihai Burtescu-14/+13
2017-09-05rustc: Store InternedString in `DefPathData`Alex Crichton-1/+1
2017-09-05rustc: Rename item_body query to extern_const_bodyAlex Crichton-3/+3