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

2018-12-03	bors	Auto merge of #55041 - evq:thumbv8m, r=alexcrichton	blob \| commitdiff \| raw
2018-11-22	bors	Auto merge of #53918 - Havvy:doc-sort-by, r=GuillaumeGomez	blob \| commitdiff \| raw
2018-11-15	bors	Auto merge of #54906 - qnighy:fix-issue-50452, r=nikoma...	blob \| commitdiff \| raw
2018-11-13	bors	Auto merge of #55052 - newpavlov:patch-2, r=alexcrichton	blob \| commitdiff \| raw
2018-11-06	bors	Auto merge of #53996 - sekineh:thumb-run, r=japaric	blob \| commitdiff \| raw
2018-11-05	bors	Auto merge of #54922 - murarth:rc-ub-fix, r=alexcrichton	blob \| commitdiff \| raw
2018-11-02	bors	Auto merge of #55087 - levex:e0669-improve-span, r...	blob \| commitdiff \| raw
2018-11-02	bors	Auto merge of #54718 - froydnj:aarch64-ci, r=alexcrichton	blob \| commitdiff \| raw
2018-11-02	bors	Auto merge of #54043 - fintelia:raw_entry, r=alexcrichton	blob \| commitdiff \| raw
2018-11-01	Pietro Albini	Rollup merge of #55280 - vlad20012:add-libproc_macro...	blob \| commitdiff \| raw
2018-10-28	bors	Auto merge of #55043 - oliver-giersch:unchecked_thread_...	blob \| commitdiff \| raw
2018-10-27	bors	Auto merge of #55053 - Emerentius:test_all_again, r...	blob \| commitdiff \| raw
2018-10-26	bors	Auto merge of #54626 - alexcrichton:dwarf-generics...	blob \| commitdiff \| raw
2018-10-26	kennytm	Rollup merge of #54921 - GuillaumeGomez:line-numbers...	blob \| commitdiff \| raw
2018-10-26	kennytm	Rollup merge of #54824 - Munksgaard:fix-49713, r=QuietM...	blob \| commitdiff \| raw
2018-10-26	kennytm	Rollup merge of #54816 - oli-obk:double_promotion,...	blob \| commitdiff \| raw
2018-10-25	bors	Auto merge of #54490 - wesleywiser:rewrite_it_in_mir...	blob \| commitdiff \| raw
2018-10-25	Pietro Albini	Rollup merge of #55247 - peterjoel:peterjoel-prim-char...	blob \| commitdiff \| raw
2018-10-25	Pietro Albini	Rollup merge of #54977 - estebank:macro-arg-parse,...	blob \| commitdiff \| raw
2018-10-25	Pietro Albini	Rollup merge of #54965 - chathaway-codes:update-tcp...	blob \| commitdiff \| raw
2018-10-25	Pietro Albini	Rollup merge of #53931 - iirelu:keyword-docs, r=stevekl...	blob \| commitdiff \| raw
2018-10-20	Manish Goregaokar	Rollup merge of #55073 - alexcrichton:demote-simd,...	blob \| commitdiff \| raw
2018-10-20	bors	Auto merge of #55007 - davidtwco:issue-39175, r=petroch...	blob \| commitdiff \| raw
2018-10-19	bors	Auto merge of #55162 - nikomatsakis:issue-54902-undersc...	blob \| commitdiff \| raw
2018-10-19	kennytm	Rollup merge of #55071 - oli-obk:const_cast_🍨, r=RalfJung	blob \| commitdiff \| raw
2018-10-19	kennytm	Rollup merge of #54300 - Aaronepower:master, r=Aaronepower	blob \| commitdiff \| raw
2018-10-18	bors	Auto merge of #54979 - estebank:path-unsized, r=nikomat...	blob \| commitdiff \| raw
2018-10-18	bors	Auto merge of #54580 - sdroege:rchunks, r=SimonSapin	blob \| commitdiff \| raw
2018-10-18	bors	Auto merge of #54349 - GuillaumeGomez:no-example-lint...	blob \| commitdiff \| raw
2018-10-18	kennytm	Rollup merge of #55090 - pnkfelix:issue-54597-regressio...	blob \| commitdiff \| raw
2018-10-18	kennytm	Rollup merge of #55080 - thanatos:fix-localstorage...	blob \| commitdiff \| raw
2018-10-18	kennytm	Rollup merge of #55077 - ollie27:rustdoc_dyn_trait...	blob \| commitdiff \| raw
2018-10-18	kennytm	Rollup merge of #55050 - tshepang:repetition, r=stevekl...	blob \| commitdiff \| raw
2018-10-18	kennytm	Rollup merge of #55031 - nikic:verify_llvm_ir, r=Mark...	blob \| commitdiff \| raw
2018-10-18	kennytm	Rollup merge of #55016 - oli-obk:vtables💥_vtables_every...	blob \| commitdiff \| raw
2018-10-18	kennytm	Rollup merge of #54964 - tromey:run-both-gdb-and-lldb...	blob \| commitdiff \| raw
2018-10-18	kennytm	Rollup merge of #54933 - ljedrz:cleanup_codegen_llvm...	blob \| commitdiff \| raw
2018-10-18	kennytm	Rollup merge of #54646 - vn971:fix_std_thread_sleep...	blob \| commitdiff \| raw
2018-10-17	bors	Auto merge of #54946 - estebank:iterator, r=varkor	blob \| commitdiff \| raw
2018-10-17	bors	Auto merge of #54939 - pnkfelix:issue-54478-dont-prefer...	blob \| commitdiff \| raw
2018-10-17	bors	Auto merge of #54671 - petrochenkov:extpre2015, r=nikom...	blob \| commitdiff \| raw
2018-10-16	bors	Auto merge of #54486 - orium:obligation-forest-graphviz...	blob \| commitdiff \| raw
2018-10-16	bors	Auto merge of #54251 - varkor:silence-bad_style, r...	blob \| commitdiff \| raw
2018-10-16	bors	Auto merge of #54937 - alexcrichton:update-stdsimd...	blob \| commitdiff \| raw
2018-10-16	bors	Auto merge of #55067 - ljedrz:generic_iterator_related_...	blob \| commitdiff \| raw
2018-10-16	bors	Auto merge of #55023 - euclio:llvm-error-handler, r...	blob \| commitdiff \| raw
2018-10-15	bors	Auto merge of #55095 - Manishearth:rollup, r=Manishearth	blob \| commitdiff \| raw
2018-10-15	bors	Auto merge of #54858 - nikomatsakis:universes-refactor...	blob \| commitdiff \| raw
2018-10-15	Niko Matsakis	pacify the mercilous tidy with rustfmt	blob \| commitdiff \| raw
2018-10-15	Niko Matsakis	bundle up "canonical instantiation" with infcx creation	blob \| commitdiff \| raw \| diff to current
2018-10-05	Pietro Albini	Rollup merge of #54838 - 11Takanori:fix-typo, r=petroch...	blob \| commitdiff \| raw \| diff to current
2018-09-20	kennytm	Rollup merge of #52813 - newpavlov:duration_mul_div_ext...	blob \| commitdiff \| raw \| diff to current
2018-09-15	bors	Auto merge of #53527 - Emerentius:test_all, r=nrc	blob \| commitdiff \| raw \| diff to current
2018-09-14	kennytm	Rollup merge of #53218 - weiznich:feature/option_ref_in...	blob \| commitdiff \| raw \| diff to current
2018-09-14	bors	Auto merge of #52962 - GuillaumeGomez:few-things, r...	blob \| commitdiff \| raw \| diff to current
2018-09-07	kennytm	Rollup merge of #53550 - brson:recurring, r=estebank	blob \| commitdiff \| raw \| diff to current
2018-09-07	kennytm	Rollup merge of #53376 - frewsxcv:frewsxcv-copy, r...	blob \| commitdiff \| raw \| diff to current
2018-09-05	bors	Auto merge of #52994 - varkor:trim_direction, r=alexcri...	blob \| commitdiff \| raw \| diff to current
2018-09-05	bors	Auto merge of #53027 - matklad:once_is_completed, r...	blob \| commitdiff \| raw \| diff to current
2018-08-31	bors	Auto merge of #51384 - QuietMisdreavus:extern-version...	blob \| commitdiff \| raw \| diff to current
2018-08-30	Pietro Albini	Rollup merge of #53513 - nnethercote:inline-shallow_res...	blob \| commitdiff \| raw \| diff to current
2018-08-30	Pietro Albini	Rollup merge of #53476 - GuillaumeGomez:try-from-int...	blob \| commitdiff \| raw \| diff to current
2018-08-30	Pietro Albini	Rollup merge of #53389 - RalfJung:thread-join, r=sfackler	blob \| commitdiff \| raw \| diff to current
2018-08-30	Pietro Albini	Rollup merge of #53113 - kpp:more_docs_for_cow, r=Guill...	blob \| commitdiff \| raw \| diff to current
2018-08-28	bors	Auto merge of #53493 - matthewjasper:hair-spans, r...	blob \| commitdiff \| raw \| diff to current
2018-08-27	bors	Auto merge of #51456 - qmx:crate-in-path, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2018-08-26	Guillaume Gomez	Rollup merge of #53428 - RalfJung:libtest-terse, r...	blob \| commitdiff \| raw \| diff to current
2018-08-26	Guillaume Gomez	Rollup merge of #53043 - GuillaumeGomez:improve-unstabl...	blob \| commitdiff \| raw \| diff to current
2018-08-25	bors	Auto merge of #53385 - matklad:stabilize-find-map,...	blob \| commitdiff \| raw \| diff to current
2018-08-24	kennytm	Rollup merge of #53545 - FelixMcFelix:fix-50865-beta...	blob \| commitdiff \| raw \| diff to current
2018-08-24	kennytm	Rollup merge of #53559 - Dylan-DPC:fix/missing-doc...	blob \| commitdiff \| raw \| diff to current
2018-08-24	kennytm	Rollup merge of #53311 - RalfJung:windows-mutex, r...	blob \| commitdiff \| raw \| diff to current
2018-08-23	bors	Auto merge of #52602 - scottmcm:tryblock-expr, r=nikoma...	blob \| commitdiff \| raw \| diff to current
2018-08-23	bors	Auto merge of #53235 - varkor:gat_impl_where, r=estebank	blob \| commitdiff \| raw \| diff to current
2018-08-23	bors	Auto merge of #53520 - nnethercote:merge-IdxSet-IdxSetB...	blob \| commitdiff \| raw \| diff to current
2018-08-22	Guillaume Gomez	Rollup merge of #53442 - staktrace:rlsbump, r=nrc	blob \| commitdiff \| raw \| diff to current
2018-08-22	Guillaume Gomez	Rollup merge of #53431 - alexreg:move-feature-gate...	blob \| commitdiff \| raw \| diff to current
2018-08-22	Guillaume Gomez	Rollup merge of #53418 - ekse:suggestions-applicability...	blob \| commitdiff \| raw \| diff to current
2018-08-22	bors	Auto merge of #53524 - alexcrichton:buffer-out, r=eddyb	blob \| commitdiff \| raw \| diff to current
2018-08-22	bors	Auto merge of #53516 - petrochenkov:derregr, r=estebank	blob \| commitdiff \| raw \| diff to current
2018-08-22	bors	Auto merge of #53509 - petrochenkov:wildregr, r=alexcri...	blob \| commitdiff \| raw \| diff to current
2018-08-22	bors	Auto merge of #53477 - ftilde:exec-rust-gdb-lldb, r...	blob \| commitdiff \| raw \| diff to current
2018-08-22	bors	Auto merge of #50912 - varkor:exhaustive-integer-matchi...	blob \| commitdiff \| raw \| diff to current
2018-08-21	bors	Auto merge of #53439 - GuillaumeGomez:generate-blanket...	blob \| commitdiff \| raw \| diff to current
2018-08-21	bors	Auto merge of #53444 - varkor:lib_features-conditional...	blob \| commitdiff \| raw \| diff to current
2018-08-21	kennytm	Rollup merge of #53551 - nnethercote:access_place_error...	blob \| commitdiff \| raw \| diff to current
2018-08-21	kennytm	Rollup merge of #53540 - TheDarkula:move-test, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2018-08-21	kennytm	Rollup merge of #53104 - nivkner:unpin_doc, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2018-08-21	kennytm	Rollup merge of #53462 - estk:doc-Box_into_raw, r=steve...	blob \| commitdiff \| raw \| diff to current
2018-08-21	kennytm	Rollup merge of #53363 - llogiq:num-individual-nonzero...	blob \| commitdiff \| raw \| diff to current
2018-08-21	kennytm	Rollup merge of #53521 - alexcrichton:optimize-lit...	blob \| commitdiff \| raw \| diff to current
2018-08-21	kennytm	Rollup merge of #53496 - matthiaskrgr:codespell_08_2018...	blob \| commitdiff \| raw \| diff to current
2018-08-21	kennytm	Rollup merge of #53492 - danc86:lld-riscv, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-08-21	kennytm	Rollup merge of #53465 - bjorn3:remove_link_meta_struct...	blob \| commitdiff \| raw \| diff to current
2018-08-21	kennytm	Rollup merge of #53452 - tromey:lldb-manifest-fix,...	blob \| commitdiff \| raw \| diff to current
2018-08-21	kennytm	Rollup merge of #53405 - oconnor663:search_esc, r=Guill...	blob \| commitdiff \| raw \| diff to current
2018-08-21	kennytm	Rollup merge of #53393 - BurntPizza:serialize-inlines...	blob \| commitdiff \| raw \| diff to current
2018-08-21	kennytm	Rollup merge of #53370 - jkozlowski:stabilize-macro_vis...	blob \| commitdiff \| raw \| diff to current
2018-08-21	bors	Auto merge of #53080 - hermord:rc-opt, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-08-20	kennytm	Rollup merge of #53296 - estebank:suggest-closure,...	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom