about summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)AuthorLines
2020-04-16Rename Machine::eval_maybe_thread_local_static_const to adjust_global_const a...Vytautas Astrauskas-2/+7
2020-04-15Remove now unnecessary resolve_maybe_global_alloc.Vytautas Astrauskas-43/+17
2020-04-15Add function eval_maybe_thread_local_static_const that allows handling thread...Vytautas Astrauskas-52/+70
2020-04-15Clarify the comments explaining the purpose of resolve_maybe_global_alloc.Vytautas Astrauskas-4/+23
2020-04-15Address reviewers' comments: replace resolve_thread_local_allocation_id with ...Vytautas Astrauskas-22/+28
2020-04-15Make the necessary changes to support concurrency in Miri.Vytautas Astrauskas-57/+135
2020-04-15Rollup merge of #71116 - marmeladema:dummy-hir-id-removal, r=eddybMazdak Farrokhzad-94/+79
2020-04-15Rollup merge of #71100 - RalfJung:miri-frame-hook, r=oli-obkMazdak Farrokhzad-46/+88
2020-04-15Rollup merge of #71030 - petrochenkov:linkorder2, r=nagisaMazdak Farrokhzad-225/+219
2020-04-15Rollup merge of #70891 - lcnr:replace-rvalue_aggregate, r=eddybMazdak Farrokhzad-198/+869
2020-04-15Auto merge of #71106 - jonas-schievink:remove-call-guard-pass, r=ecstatic-mor...bors-5/+7
2020-04-15Auto merge of #71151 - Dylan-DPC:rollup-6rt4h7b, r=Dylan-DPCbors-45/+217
2020-04-14Rollup merge of #71135 - ehuss:update-books, r=ehussDylan DPC-0/+0
2020-04-14Rollup merge of #71133 - MiSawa:fix-sort-by-key-doc, r=Dylan-DPCDylan DPC-2/+2
2020-04-14Rollup merge of #71128 - Mark-Simulacrum:clean-expansion, r=petrochenkovDylan DPC-5/+1
2020-04-14Rollup merge of #71082 - NeoRaider:ptr_slice_len, r=oli-obk,SimonSapinDylan DPC-4/+93
2020-04-14Rollup merge of #71002 - Freax13:fix-target, r=ollie27Dylan DPC-2/+7
2020-04-14Rollup merge of #70949 - WaffleLapkin:simlify_vec_macro, r=petrochenkovDylan DPC-3/+2
2020-04-14Rollup merge of #70947 - RalfJung:ctfe-no-read-mut-global, r=oli-obkDylan DPC-8/+23
2020-04-14Rollup merge of #70657 - lcnr:unused_delims_try, r=CentrilDylan DPC-21/+89
2020-04-14Auto merge of #70452 - eddyb:repeat-expr-correct-generics-parent, r=nikomatsakisbors-118/+276
2020-04-14ptr: add tracking issue for len() method on raw slicesMatthias Schiffer-4/+4
2020-04-14Auto merge of #71138 - ehuss:update-cargo, r=ehussbors-0/+0
2020-04-14typeck: always expose repeat count `AnonConst`s' parent in `generics_of`.Eduard-Mihai Burtescu-64/+36
2020-04-14borrow_check/type_check: normalize `Aggregate` and `Call` operands.Eduard-Mihai Burtescu-0/+17
2020-04-14traits/query/normalize: add some `debug!` logging for the result.Eduard-Mihai Burtescu-2/+13
2020-04-14ty: erase lifetimes early in `ty::Const::eval`.Eduard-Mihai Burtescu-30/+28
2020-04-14Update cargoEric Huss-0/+0
2020-04-14ptr: introduce len() method on raw slicesMatthias Schiffer-2/+50
2020-04-14ptr: implement "const_slice_ptr" and "mut_slice_ptr" lang itemsMatthias Schiffer-0/+8
2020-04-14rustdoc: add "const_slice_ptr" and "mut_slice_ptr" trait implsMatthias Schiffer-0/+2
2020-04-14rustc: add lang items "const_slice_ptr" and "mut_slice_ptr"Matthias Schiffer-4/+35
2020-04-14allow try as scrutinee, e.g. `match try ...`Bastian Kauschke-20/+88
2020-04-14typeck: workaround WF hole in `to_const`.Eduard-Mihai Burtescu-16/+112
2020-04-14typeck: track any errors injected during writeback and taint tables appropria...Eduard-Mihai Burtescu-6/+70
2020-04-14cleanup `is_expr_delims_necessary`Bastian Kauschke-1/+1
2020-04-14Update booksEric Huss-0/+0
2020-04-14Tighten time complexity on the docmi_sawa-2/+2
2020-04-14Remove unused single_step flagMark Rousskov-5/+1
2020-04-14Rollup merge of #71124 - JOE1994:patch-3, r=Dylan-DPCDylan DPC-1/+1
2020-04-14Rollup merge of #71122 - lcnr:update-docs, r=Mark-SimulacrumDylan DPC-4/+4
2020-04-14Rollup merge of #71121 - AnthonyMikh:fix_string_doc_link, r=Dylan-DPCDylan DPC-0/+1
2020-04-14Rollup merge of #71120 - GuillaumeGomez:cleanup-e0517, r=Dylan-DPCDylan DPC-2/+1
2020-04-14Rollup merge of #71112 - cuviper:unsigned-Neg, r=Mark-SimulacrumDylan DPC-17/+4
2020-04-14Add missing commaYoungsuk Kim-1/+1
2020-04-14update docsBastian Kauschke-4/+4
2020-04-14Fix broken link in documentation for String::from_utf8AnthonyMikh-0/+1
2020-04-14Clean up E0517 explanationGuillaume Gomez-2/+1
2020-04-14Auto merge of #70893 - tmiasko:llvm-sanitizers, r=cuviperbors-0/+0
2020-04-14Remove `DUMMY_HIR_ID`marmeladema-64/+13