git.lizzy.rs Git - rust.git/history - src/librustc_traits/evaluate

]> git.lizzy.rs Git - rust.git/history - src/librustc_traits/evaluate_obligation.rs

[rust.git] / src / librustc_traits / evaluate_obligation.rs

2020-02-20	Dylan DPC	Rollup merge of #68705 - BijanT:ll_remove, r=Mark-Simul...	blob \| commitdiff \| raw
2020-02-20	bors	Auto merge of #69256 - nnethercote:misc-inlining, r...	blob \| commitdiff \| raw
2020-02-19	Dylan DPC	Rollup merge of #69142 - ehuss:linkcheck-script, r...	blob \| commitdiff \| raw
2020-02-19	bors	Auto merge of #69198 - ollie27:rustbuild_rustdoc-js...	blob \| commitdiff \| raw
2020-02-19	bors	Auto merge of #69113 - ecstatic-morse:unified-dataflow...	blob \| commitdiff \| raw
2020-02-18	Mazdak Farrokhzad	Rollup merge of #69194 - Centril:assoc-extern-fuse...	blob \| commitdiff \| raw
2020-02-18	Mazdak Farrokhzad	Rollup merge of #69146 - matthewjasper:literal-qualif...	blob \| commitdiff \| raw
2020-02-18	Dylan DPC	Rollup merge of #69233 - GuillaumeGomez:cleanup-e0310...	blob \| commitdiff \| raw
2020-02-18	Dylan DPC	Rollup merge of #69205 - JohnTitor:allow-whitespaces...	blob \| commitdiff \| raw
2020-02-18	Dylan DPC	Rollup merge of #69200 - jonas-schievink:yield-print...	blob \| commitdiff \| raw
2020-02-18	Dylan DPC	Rollup merge of #69192 - JohnTitor:add-tests, r=Centril	blob \| commitdiff \| raw
2020-02-18	Dylan DPC	Rollup merge of #69181 - skinny121:const-eval-return...	blob \| commitdiff \| raw
2020-02-18	Yuki Okushi	Rollup merge of #69249 - LeSeulArtichaut:stabilize...	blob \| commitdiff \| raw
2020-02-18	Yuki Okushi	Rollup merge of #69223 - spunit262:empty-string-gdb...	blob \| commitdiff \| raw
2020-02-18	Yuki Okushi	Rollup merge of #68767 - kubo39:patch-macos, r=shepmaster	blob \| commitdiff \| raw
2020-02-18	Yuki Okushi	Rollup merge of #68597 - ollie27:skip_nth_last, r=Amanieu	blob \| commitdiff \| raw
2020-02-18	Yuki Okushi	Rollup merge of #67272 - fisherdarling:master, r=varkor...	blob \| commitdiff \| raw
2020-02-17	bors	Auto merge of #69129 - Centril:macro-legacy-errors...	blob \| commitdiff \| raw
2020-02-17	Yuki Okushi	Rollup merge of #69188 - GuillaumeGomez:clean-up-e0309...	blob \| commitdiff \| raw
2020-02-17	Yuki Okushi	Rollup merge of #69186 - petrochenkov:kwrules, r=Centril	blob \| commitdiff \| raw
2020-02-17	Yuki Okushi	Rollup merge of #69158 - ecstatic-morse:graphviz-diff...	blob \| commitdiff \| raw
2020-02-17	Yuki Okushi	Rollup merge of #68701 - amosonn:patch-2, r=RalfJung	blob \| commitdiff \| raw
2020-02-17	Yuki Okushi	Rollup merge of #68495 - sdegutis:patch-1, r=Mark-Simul...	blob \| commitdiff \| raw
2020-02-17	bors	Auto merge of #68781 - ssomers:btree_miri_relief, r...	blob \| commitdiff \| raw
2020-02-16	bors	Auto merge of #67953 - cjgillot:split_infer, r=Zoxc	blob \| commitdiff \| raw
2020-02-16	Camille GILLOT	Make librustc_traits compile.	blob \| commitdiff \| raw
2020-02-15	Dylan DPC	Rollup merge of #64069 - danielhenrymantilla:feature...	blob \| commitdiff \| raw \| diff to current
2020-02-13	Dylan DPC	Rollup merge of #67642 - Mark-Simulacrum:relax-bounds...	blob \| commitdiff \| raw \| diff to current
2020-02-12	Yuki Okushi	Rollup merge of #67695 - gilescope:truth, r=centril	blob \| commitdiff \| raw \| diff to current
2020-01-30	Dylan DPC	Rollup merge of #66648 - crgl:btree-clone-from, r=Amanieu	blob \| commitdiff \| raw \| diff to current
2020-01-20	Yuki Okushi	Rollup merge of #67734 - XAMPPRocky:master, r=skade	blob \| commitdiff \| raw \| diff to current
2020-01-19	bors	Auto merge of #67758 - ssomers:testing_range, r=Mark...	blob \| commitdiff \| raw \| diff to current
2020-01-18	Mazdak Farrokhzad	Rollup merge of #68342 - lcnr:type_name_docs, r=Dylan-DPC	blob \| commitdiff \| raw \| diff to current
2020-01-17	bors	Auto merge of #67731 - matthewjasper:drop-in-place...	blob \| commitdiff \| raw \| diff to current
2020-01-16	bors	Auto merge of #67339 - CAD97:rc-provenance, r=sfackler	blob \| commitdiff \| raw \| diff to current
2020-01-15	Yuki Okushi	Rollup merge of #67784 - Mark-Simulacrum:residual-pad...	blob \| commitdiff \| raw \| diff to current
2020-01-14	bors	Auto merge of #67076 - mbrubeck:condvar, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2020-01-13	Yuki Okushi	Rollup merge of #67313 - oli-obk:document_all_the_t̶h̶i...	blob \| commitdiff \| raw \| diff to current
2020-01-12	bors	Auto merge of #67831 - mati865:ci-images-upgrade, r...	blob \| commitdiff \| raw \| diff to current
2020-01-12	Mazdak Farrokhzad	Rollup merge of #67867 - matthewjasper:opaque-assoc...	blob \| commitdiff \| raw \| diff to current
2020-01-11	bors	Auto merge of #67458 - pnkfelix:fix-66530-by-propagatin...	blob \| commitdiff \| raw \| diff to current
2020-01-10	Yuki Okushi	Rollup merge of #66045 - mzabaluev:unwrap-infallible...	blob \| commitdiff \| raw \| diff to current
2020-01-08	Mazdak Farrokhzad	Rollup merge of #67630 - oli-obk:extern_ptr_dangling...	blob \| commitdiff \| raw \| diff to current
2020-01-08	Yuki Okushi	Rollup merge of #67849 - cjkenn:check-sorted-words...	blob \| commitdiff \| raw \| diff to current
2020-01-08	Yuki Okushi	Rollup merge of #67798 - matklad:spin-thouse-docs,...	blob \| commitdiff \| raw \| diff to current
2020-01-08	bors	Auto merge of #67760 - Mark-Simulacrum:rustc-dirty...	blob \| commitdiff \| raw \| diff to current
2020-01-08	bors	Auto merge of #67733 - pietroalbini:gha-2, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2020-01-07	bors	Auto merge of #67312 - cuviper:clone-box-slice, r=Simon...	blob \| commitdiff \| raw \| diff to current
2020-01-07	bors	Auto merge of #67732 - pietroalbini:fewer-apples, r...	blob \| commitdiff \| raw \| diff to current
2020-01-06	bors	Auto merge of #66899 - msizanoen1:riscv-std, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2020-01-05	bors	Auto merge of #67808 - Marwes:projection_normalization_...	blob \| commitdiff \| raw \| diff to current
2020-01-04	Dylan DPC	Rollup merge of #67812 - ssomers:btreemap_internal_doc...	blob \| commitdiff \| raw \| diff to current
2020-01-04	Dylan DPC	Rollup merge of #67775 - mental32:master, r=Dylan-DPC	blob \| commitdiff \| raw \| diff to current
2020-01-04	Dylan DPC	Rollup merge of #67709 - petrochenkov:nodedup2, r=Centril	blob \| commitdiff \| raw \| diff to current
2020-01-04	Dylan DPC	Rollup merge of #67137 - anp:tracked-panic-internals...	blob \| commitdiff \| raw \| diff to current
2020-01-04	Guillaume Gomez	Rollup merge of #67848 - ollie27:float_link_name_attr...	blob \| commitdiff \| raw \| diff to current
2020-01-04	Guillaume Gomez	Rollup merge of #67837 - GuillaumeGomez:clean-up-err...	blob \| commitdiff \| raw \| diff to current
2020-01-04	Guillaume Gomez	Rollup merge of #67823 - euclio:drop-improvements,...	blob \| commitdiff \| raw \| diff to current
2020-01-04	Guillaume Gomez	Rollup merge of #67822 - wesleywiser:revert_67676,...	blob \| commitdiff \| raw \| diff to current
2020-01-04	bors	Auto merge of #67788 - cjgillot:delint-day, r=Zoxc	blob \| commitdiff \| raw \| diff to current
2020-01-04	bors	Auto merge of #67853 - Centril:rollup-sx5zi9n, r=Centril	blob \| commitdiff \| raw \| diff to current
2020-01-04	Mazdak Farrokhzad	Rollup merge of #67845 - jumbatm:also-unconst-hack...	blob \| commitdiff \| raw \| diff to current
2020-01-04	Mazdak Farrokhzad	Rollup merge of #67835 - euclio:delimiter-wording,...	blob \| commitdiff \| raw \| diff to current
2020-01-04	Mazdak Farrokhzad	Rollup merge of #67810 - crlf0710:uncommon_codepoints_l...	blob \| commitdiff \| raw \| diff to current
2020-01-04	Mazdak Farrokhzad	Rollup merge of #67789 - ollie27:linkchecker_whitelist...	blob \| commitdiff \| raw \| diff to current
2020-01-04	Mazdak Farrokhzad	Rollup merge of #67786 - Centril:canon-span, r=petrochenkov	blob \| commitdiff \| raw \| diff to current
2020-01-04	Mazdak Farrokhzad	Rollup merge of #67531 - RalfJung:tame-promotion, r...	blob \| commitdiff \| raw \| diff to current
2020-01-02	Mazdak Farrokhzad	Normalize `syntax::source_map` imports.	blob \| commitdiff \| raw \| diff to current
2019-12-31	Dylan DPC	Rollup merge of #67430 - tspiteri:minus-inf, r=Dylan-DPC	blob \| commitdiff \| raw \| diff to current
2019-12-29	Dylan DPC	Rollup merge of #67482 - ldm0:master, r=petrochenkov	blob \| commitdiff \| raw \| diff to current
2019-12-25	bors	Auto merge of #67524 - LukasKalbertodt:improve-into...	blob \| commitdiff \| raw \| diff to current
2019-12-25	bors	Auto merge of #67303 - dtolnay:rls, r=Xanewok	blob \| commitdiff \| raw \| diff to current
2019-12-24	bors	Auto merge of #67445 - llogiq:todo, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2019-12-24	Mazdak Farrokhzad	Rollup merge of #67561 - euclio:remove-description...	blob \| commitdiff \| raw \| diff to current
2019-12-24	Mazdak Farrokhzad	Rollup merge of #67547 - GuillaumeGomez:cleanup-err...	blob \| commitdiff \| raw \| diff to current
2019-12-24	Mazdak Farrokhzad	Rollup merge of #67543 - JohnTitor:regression-tests...	blob \| commitdiff \| raw \| diff to current
2019-12-23	Mazdak Farrokhzad	Rollup merge of #67546 - oli-obk:slice_pattern_ice...	blob \| commitdiff \| raw \| diff to current
2019-12-23	Mazdak Farrokhzad	Rollup merge of #67527 - GuillaumeGomez:results-show...	blob \| commitdiff \| raw \| diff to current
2019-12-23	Mazdak Farrokhzad	Rollup merge of #67507 - Mark-Simulacrum:purge-uninit...	blob \| commitdiff \| raw \| diff to current
2019-12-23	Mazdak Farrokhzad	Rollup merge of #67466 - oli-obk:const_intrinsic, r...	blob \| commitdiff \| raw \| diff to current
2019-12-23	Mazdak Farrokhzad	Rollup merge of #67233 - Luro02:cursor_traits, r=sfackler	blob \| commitdiff \| raw \| diff to current
2019-12-23	bors	Auto merge of #67540 - Mark-Simulacrum:fmt-the-world...	blob \| commitdiff \| raw \| diff to current
2019-12-22	Mark Rousskov	Format the world	blob \| commitdiff \| raw \| diff to current
2019-12-12	Yuki Okushi	Rollup merge of #62514 - stephaneyfx:box-ffi, r=nikomat...	blob \| commitdiff \| raw \| diff to current
2019-12-05	Mazdak Farrokhzad	Rollup merge of #67005 - andrewbanchich:master, r=josht...	blob \| commitdiff \| raw \| diff to current
2019-11-15	bors	Auto merge of #64432 - gnzlbg:simplify_truncate, r...	blob \| commitdiff \| raw \| diff to current
2019-11-09	bors	Auto merge of #63871 - BatmanAoD:FloatFnMustUse, r...	blob \| commitdiff \| raw \| diff to current
2019-11-04	bors	Auto merge of #64878 - XAMPPRocky:relnotes-1.39.0,...	blob \| commitdiff \| raw \| diff to current
2019-11-02	bors	Auto merge of #63810 - oli-obk:const_offset_from, r...	blob \| commitdiff \| raw \| diff to current
2019-11-02	Jon Gjengset	Merge branch 'master' into format-temporaries	blob \| commitdiff \| raw \| diff to current
2019-11-01	Tyler Mandry	Rollup merge of #65112 - jack-t:type-parens-lint, r...	blob \| commitdiff \| raw \| diff to current
2019-10-23	Yuki Okushi	Rollup merge of #65417 - weiznich:more_coherence_tests...	blob \| commitdiff \| raw \| diff to current
2019-10-23	Yuki Okushi	Rollup merge of #65007 - BO41:keywords, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2019-10-21	Mazdak Farrokhzad	Rollup merge of #65092 - tspiteri:const-is-pow2, r...	blob \| commitdiff \| raw \| diff to current
2019-10-20	Mazdak Farrokhzad	Rollup merge of #64996 - lzutao:inline-ptr-null, r...	blob \| commitdiff \| raw \| diff to current
2019-10-20	Stefan Lankes	Merge branch 'master' into rusty-hermit	blob \| commitdiff \| raw \| diff to current
2019-10-19	Mazdak Farrokhzad	Rollup merge of #65174 - SimonSapin:zero-box, r=alexcri...	blob \| commitdiff \| raw \| diff to current
2019-10-18	Tyler Mandry	Rollup merge of #65016 - lzutao:inline-mem-constfn...	blob \| commitdiff \| raw \| diff to current
2019-10-18	bors	Auto merge of #64925 - ehuss:document-json, r=Mark...	blob \| commitdiff \| raw \| diff to current
2019-10-16	bors	Auto merge of #65172 - tanriol:explain_borrow-use-conte...	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom