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-08-24	kennytm	Rollup merge of #53545 - FelixMcFelix:fix-50865-beta...	blob \| commitdiff \| raw
2018-08-24	kennytm	Rollup merge of #53559 - Dylan-DPC:fix/missing-doc...	blob \| commitdiff \| raw
2018-08-24	kennytm	Rollup merge of #53311 - RalfJung:windows-mutex, r...	blob \| commitdiff \| raw
2018-08-23	bors	Auto merge of #52602 - scottmcm:tryblock-expr, r=nikoma...	blob \| commitdiff \| raw
2018-08-23	bors	Auto merge of #53235 - varkor:gat_impl_where, r=estebank	blob \| commitdiff \| raw
2018-08-23	bors	Auto merge of #53520 - nnethercote:merge-IdxSet-IdxSetB...	blob \| commitdiff \| raw
2018-08-22	Guillaume Gomez	Rollup merge of #53442 - staktrace:rlsbump, r=nrc	blob \| commitdiff \| raw
2018-08-22	Guillaume Gomez	Rollup merge of #53431 - alexreg:move-feature-gate...	blob \| commitdiff \| raw
2018-08-22	Guillaume Gomez	Rollup merge of #53418 - ekse:suggestions-applicability...	blob \| commitdiff \| raw
2018-08-22	bors	Auto merge of #53524 - alexcrichton:buffer-out, r=eddyb	blob \| commitdiff \| raw
2018-08-22	bors	Auto merge of #53516 - petrochenkov:derregr, r=estebank	blob \| commitdiff \| raw
2018-08-22	bors	Auto merge of #53509 - petrochenkov:wildregr, r=alexcri...	blob \| commitdiff \| raw
2018-08-22	bors	Auto merge of #53477 - ftilde:exec-rust-gdb-lldb, r...	blob \| commitdiff \| raw
2018-08-22	bors	Auto merge of #50912 - varkor:exhaustive-integer-matchi...	blob \| commitdiff \| raw
2018-08-21	bors	Auto merge of #53439 - GuillaumeGomez:generate-blanket...	blob \| commitdiff \| raw
2018-08-21	bors	Auto merge of #53444 - varkor:lib_features-conditional...	blob \| commitdiff \| raw
2018-08-21	kennytm	Rollup merge of #53551 - nnethercote:access_place_error...	blob \| commitdiff \| raw
2018-08-21	kennytm	Rollup merge of #53540 - TheDarkula:move-test, r=oli-obk	blob \| commitdiff \| raw
2018-08-21	kennytm	Rollup merge of #53104 - nivkner:unpin_doc, r=RalfJung	blob \| commitdiff \| raw
2018-08-21	kennytm	Rollup merge of #53462 - estk:doc-Box_into_raw, r=steve...	blob \| commitdiff \| raw
2018-08-21	kennytm	Rollup merge of #53363 - llogiq:num-individual-nonzero...	blob \| commitdiff \| raw
2018-08-21	kennytm	Rollup merge of #53521 - alexcrichton:optimize-lit...	blob \| commitdiff \| raw
2018-08-21	kennytm	Rollup merge of #53496 - matthiaskrgr:codespell_08_2018...	blob \| commitdiff \| raw
2018-08-21	kennytm	Rollup merge of #53492 - danc86:lld-riscv, r=alexcrichton	blob \| commitdiff \| raw
2018-08-21	kennytm	Rollup merge of #53465 - bjorn3:remove_link_meta_struct...	blob \| commitdiff \| raw
2018-08-21	kennytm	Rollup merge of #53452 - tromey:lldb-manifest-fix,...	blob \| commitdiff \| raw
2018-08-21	kennytm	Rollup merge of #53405 - oconnor663:search_esc, r=Guill...	blob \| commitdiff \| raw
2018-08-21	kennytm	Rollup merge of #53393 - BurntPizza:serialize-inlines...	blob \| commitdiff \| raw
2018-08-21	kennytm	Rollup merge of #53370 - jkozlowski:stabilize-macro_vis...	blob \| commitdiff \| raw
2018-08-21	bors	Auto merge of #53080 - hermord:rc-opt, r=alexcrichton	blob \| commitdiff \| raw
2018-08-20	kennytm	Rollup merge of #53296 - estebank:suggest-closure,...	blob \| commitdiff \| raw
2018-08-20	kennytm	Rollup merge of #53213 - tmccombs:stable-ipconstructors...	blob \| commitdiff \| raw
2018-08-20	kennytm	Rollup merge of #53030 - Aaronepower:master, r=Mark...	blob \| commitdiff \| raw
2018-08-20	bors	Auto merge of #51880 - varkor:generics-hir-generalisati...	blob \| commitdiff \| raw
2018-08-20	bors	Auto merge of #47562 - Centril:feature/core_convert_id...	blob \| commitdiff \| raw
2018-08-20	bors	Auto merge of #52101 - japaric:linker-flavor, r=alexcri...	blob \| commitdiff \| raw
2018-08-19	bors	Auto merge of #52953 - dsciarra:mv-codemap-sourcemap...	blob \| commitdiff \| raw
2018-08-19	Donato Sciarra	mv (mod) codemap source_map	blob \| commitdiff \| raw
2018-08-19	Mazdak Farrokhzad	Merge branch 'master' into feature/core_convert_id	blob \| commitdiff \| raw \| diff to current
2018-08-04	kennytm	Rollup merge of #53001 - petrochenkov:master, r=estebank	blob \| commitdiff \| raw \| diff to current
2018-08-01	bors	Auto merge of #51609 - dscorbett:is_numeric, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-07-30	Brad Gibson	resolved upstream merge conflicts	blob \| commitdiff \| raw \| diff to current
2018-07-24	Mark Rousskov	Rollup merge of #52656 - jD91mZM2:stablize-uds, r=alexc...	blob \| commitdiff \| raw \| diff to current
2018-07-22	kennytm	Rollup merge of #51807 - newpavlov:deprecate_str_slice...	blob \| commitdiff \| raw \| diff to current
2018-07-21	bors	Auto merge of #51485 - estebank:dehighlight-secondary...	blob \| commitdiff \| raw \| diff to current
2018-07-19	bors	Auto merge of #51854 - davidtwco:rfc-2008-rustdoc,...	blob \| commitdiff \| raw \| diff to current
2018-07-12	bors	Auto merge of #51339 - sdroege:exact-chunks-remainder...	blob \| commitdiff \| raw \| diff to current
2018-07-11	bors	Auto merge of #51553 - jD91mZM2:uds, r=sfackler	blob \| commitdiff \| raw \| diff to current
2018-07-11	bors	Auto merge of #51230 - nikic:no-verify-lto, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-07-11	Guillaume Gomez	Rollup merge of #51701 - anirudhb:master, r=frewsxcv	blob \| commitdiff \| raw \| diff to current
2018-07-10	Guillaume Gomez	Rollup merge of #51722 - Aaronepower:master, r=Mark...	blob \| commitdiff \| raw \| diff to current
2018-07-07	bors	Auto merge of #51656 - soc:topic/fix-home-dir, r=SimonSapin	blob \| commitdiff \| raw \| diff to current
2018-07-06	bors	Auto merge of #51757 - nielx:fix/haiku-fixes, r=nagisa	blob \| commitdiff \| raw \| diff to current
2018-07-06	kennytm	Rollup merge of #52096 - d-e-s-o:fix-typo, r=sfackler	blob \| commitdiff \| raw \| diff to current
2018-07-06	bors	Auto merge of #51861 - GuillaumeGomez:prevent-some...	blob \| commitdiff \| raw \| diff to current
2018-07-05	kennytm	Rollup merge of #51793 - GuillaumeGomez:search-result...	blob \| commitdiff \| raw \| diff to current
2018-07-05	kennytm	Rollup merge of #51619 - mksully22:ppc64le_rust, r...	blob \| commitdiff \| raw \| diff to current
2018-07-05	bors	Auto merge of #51732 - GuillaumeGomez:cmd-line-lint...	blob \| commitdiff \| raw \| diff to current
2018-07-04	bors	Auto merge of #51803 - lucasem:rustdoc-code-hash-escape...	blob \| commitdiff \| raw \| diff to current
2018-07-04	bors	Auto merge of #51611 - QuietMisdreavus:slippery-macros...	blob \| commitdiff \| raw \| diff to current
2018-07-04	bors	Auto merge of #51395 - SimonSapin:repr-transparent...	blob \| commitdiff \| raw \| diff to current
2018-07-03	bors	Auto merge of #51450 - estebank:inner-fn-test, r=@pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-07-03	Pietro Albini	Rollup merge of #51809 - drrlvn:rw_exact_all_at, r...	blob \| commitdiff \| raw \| diff to current
2018-07-03	Pietro Albini	Rollup merge of #51548 - DiamondLovesYou:amdgpu-target...	blob \| commitdiff \| raw \| diff to current
2018-07-03	bors	Auto merge of #51564 - SimonSapin:try-int, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-07-02	bors	Auto merge of #51645 - marco-c:error_when_incremental_a...	blob \| commitdiff \| raw \| diff to current
2018-07-02	bors	Auto merge of #51864 - est31:libc_update, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-07-01	Pietro Albini	Rollup merge of #51853 - MajorBreakfast:fix-doc-links...	blob \| commitdiff \| raw \| diff to current
2018-07-01	Pietro Albini	Rollup merge of #51511 - Centril:feature/stabilize_iter...	blob \| commitdiff \| raw \| diff to current
2018-07-01	bors	Auto merge of #51833 - wesleywiser:faster_large_constan...	blob \| commitdiff \| raw \| diff to current
2018-07-01	bors	Auto merge of #51882 - varkor:check-type_dependent_defs...	blob \| commitdiff \| raw \| diff to current
2018-06-30	bors	Auto merge of #51849 - nikomatsakis:issue-51820-places...	blob \| commitdiff \| raw \| diff to current
2018-06-30	bors	Auto merge of #51806 - oli-obk:lowering_cleanups1,...	blob \| commitdiff \| raw \| diff to current
2018-06-29	bors	Auto merge of #51729 - matthewjasper:move-errors, r...	blob \| commitdiff \| raw \| diff to current
2018-06-29	bors	Auto merge of #51290 - Pslydhh:master, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-06-29	bors	Auto merge of #51592 - GuillaumeGomez:fix-macro-doc...	blob \| commitdiff \| raw \| diff to current
2018-06-28	Mark Rousskov	Rollup merge of #51839 - oli-obk:const_shift_overflow...	blob \| commitdiff \| raw \| diff to current
2018-06-28	Mark Rousskov	Rollup merge of #51765 - jonas-schievink:patch-1, r...	blob \| commitdiff \| raw \| diff to current
2018-06-28	bors	Auto merge of #51687 - japaric:gh51671, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-06-28	bors	Auto merge of #51630 - joshlf:map-split-perf, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2018-06-28	bors	Auto merge of #50997 - michaelwoerister:pre-analyze...	blob \| commitdiff \| raw \| diff to current
2018-06-28	bors	Auto merge of #51444 - estebank:impl-static, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2018-06-28	bors	Auto merge of #51538 - nikomatsakis:nll-perf-examinatio...	blob \| commitdiff \| raw \| diff to current
2018-06-27	Niko Matsakis	move into `provide` methods	blob \| commitdiff \| raw \| diff to current
2018-06-02	Mark Simulacrum	Rollup merge of #50167 - fintelia:duration-nanos, r...	blob \| commitdiff \| raw \| diff to current
2018-05-21	bors	Auto merge of #50265 - japaric:sz, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-05-20	bors	Auto merge of #50234 - cramertj:extend, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-05-16	kennytm	Rollup merge of #50170 - burtonageo:more_cow_from,...	blob \| commitdiff \| raw \| diff to current
2018-05-15	Guillaume Gomez	Rollup merge of #49767 - ecstatic-morse:ptr-docs, r...	blob \| commitdiff \| raw \| diff to current
2018-05-15	bors	Auto merge of #50011 - varkor:partialord-opt-ii, r...	blob \| commitdiff \| raw \| diff to current
2018-05-10	bors	Auto merge of #49729 - collin5:b48483, r=Mark-Simulacrum	blob \| commitdiff \| raw \| diff to current
2018-05-09	bors	Auto merge of #49711 - ibabushkin:auto_trait_refactor...	blob \| commitdiff \| raw \| diff to current
2018-05-09	kennytm	Rollup merge of #50148 - japaric:const-manuallydrop...	blob \| commitdiff \| raw \| diff to current
2018-05-09	kennytm	Rollup merge of #49988 - clarcharr:never_docs, r=stevek...	blob \| commitdiff \| raw \| diff to current
2018-05-06	Brad Gibson	resolved conflict with upstream commit	blob \| commitdiff \| raw \| diff to current
2018-05-01	bors	Auto merge of #49789 - petrochenkov:prelext, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2018-04-30	kennytm	Rollup merge of #50233 - mark-i-m:const_vec, r=kennytm	blob \| commitdiff \| raw \| diff to current
2018-04-30	bors	Auto merge of #50163 - kornelski:error, r=Kimundi	blob \| commitdiff \| raw \| diff to current
2018-04-30	bors	Auto merge of #50272 - scottmcm:termination-test-error...	blob \| commitdiff \| raw \| diff to current
2018-04-30	bors	Auto merge of #50204 - Manishearth:approx-enum, r=estebank	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom