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

2019-06-17	Mazdak Farrokhzad	Rollup merge of #61885 - scottmcm:slice-iter-len-opt...	blob \| commitdiff \| raw \| diff to current
2019-06-17	Mazdak Farrokhzad	Rollup merge of #61702 - RalfJung:const-enum-cast,...	blob \| commitdiff \| raw \| diff to current
2019-06-17	bors	Auto merge of #61781 - christianpoveda:intptrcast-model...	blob \| commitdiff \| raw \| diff to current
2019-06-17	bors	Auto merge of #61857 - Centril:typeck-extract-expr...	blob \| commitdiff \| raw \| diff to current
2019-06-17	bors	Auto merge of #58508 - Zoxc:time-crate, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2019-06-17	bors	Auto merge of #61889 - matthiaskrgr:submodule_upd,...	blob \| commitdiff \| raw \| diff to current
2019-06-16	bors	Auto merge of #61892 - rijenkii:master, r=Centril	blob \| commitdiff \| raw \| diff to current
2019-06-16	bors	Auto merge of #61347 - Centril:stabilize-underscore_con...	blob \| commitdiff \| raw \| diff to current
2019-06-16	bors	Auto merge of #61881 - glaubitz:sparc64-ffi-abi, r...	blob \| commitdiff \| raw \| diff to current
2019-06-16	bors	Auto merge of #61754 - nikomatsakis:trait-caching-perf...	blob \| commitdiff \| raw \| diff to current
2019-06-16	bors	Auto merge of #60730 - matthewjasper:optimize-false...	blob \| commitdiff \| raw \| diff to current
2019-06-16	Mazdak Farrokhzad	Rollup merge of #61832 - RalfJung:miri, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2019-06-16	Mazdak Farrokhzad	Rollup merge of #61829 - Keruspe:libunwind-src, r=alexc...	blob \| commitdiff \| raw \| diff to current
2019-06-16	Mazdak Farrokhzad	Rollup merge of #61704 - petrhosek:llvm-linker-flags...	blob \| commitdiff \| raw \| diff to current
2019-06-16	Mazdak Farrokhzad	Rollup merge of #61447 - scottmcm:vec-vecdeque, r=sfackler	blob \| commitdiff \| raw \| diff to current
2019-06-15	bors	Auto merge of #61828 - RalfJung:cfg-if, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2019-06-15	Mazdak Farrokhzad	Rollup merge of #61844 - AaronKutch:master, r=Centril	blob \| commitdiff \| raw \| diff to current
2019-06-15	Mazdak Farrokhzad	Rollup merge of #61824 - rust-lang:single_derive, r...	blob \| commitdiff \| raw \| diff to current
2019-06-15	Mazdak Farrokhzad	Rollup merge of #61813 - matthewjasper:remove-unnecessa...	blob \| commitdiff \| raw \| diff to current
2019-06-15	Mazdak Farrokhzad	Rollup merge of #61805 - davidtwco:ice-const-generic...	blob \| commitdiff \| raw \| diff to current
2019-06-15	Mazdak Farrokhzad	Rollup merge of #61785 - RalfJung:as-ref, r=rkruppe	blob \| commitdiff \| raw \| diff to current
2019-06-15	bors	Auto merge of #61143 - estebank:issue-61106, r=eddyb	blob \| commitdiff \| raw \| diff to current
2019-06-15	bors	Auto merge of #59752 - Zoxc:dylib-fix, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2019-06-15	bors	Auto merge of #61825 - Centril:tauv-infer-fix, r=petroc...	blob \| commitdiff \| raw \| diff to current
2019-06-14	bors	Auto merge of #61817 - eddyb:begone-gcx-attempt-2,...	blob \| commitdiff \| raw \| diff to current
2019-06-14	Eduard-Mihai Burtescu	Unify all uses of 'gcx and 'tcx.	blob \| commitdiff \| raw \| diff to current
2019-06-14	bors	Auto merge of #61421 - vorner:string-in-rc-into-raw...	blob \| commitdiff \| raw \| diff to current
2019-06-13	Mazdak Farrokhzad	Rollup merge of #61757 - sfackler:deprecate-once-init...	blob \| commitdiff \| raw \| diff to current
2019-06-13	Mazdak Farrokhzad	Rollup merge of #61720 - alexcrichton:libstd-cfg-if...	blob \| commitdiff \| raw \| diff to current
2019-06-12	Mazdak Farrokhzad	Rollup merge of #61776 - JohnTitor:fix-typo-in-error...	blob \| commitdiff \| raw \| diff to current
2019-06-12	Mazdak Farrokhzad	Rollup merge of #61763 - pietroalbini:azure-fix-conditi...	blob \| commitdiff \| raw \| diff to current
2019-06-12	Mazdak Farrokhzad	Rollup merge of #61762 - Keruspe:rustbuild-libtest...	blob \| commitdiff \| raw \| diff to current
2019-06-12	Mazdak Farrokhzad	Rollup merge of #61750 - tmandry:fix-install, r=Mark...	blob \| commitdiff \| raw \| diff to current
2019-06-12	Mazdak Farrokhzad	Rollup merge of #61675 - fintelia:riscv-frame-pointer...	blob \| commitdiff \| raw \| diff to current
2019-06-12	Mazdak Farrokhzad	Rollup merge of #61398 - kennytm:stabilize-copy-within...	blob \| commitdiff \| raw \| diff to current
2019-06-12	Mazdak Farrokhzad	Rollup merge of #60376 - lzutao:stabilize-option_xor...	blob \| commitdiff \| raw \| diff to current
2019-06-12	bors	Auto merge of #61612 - nnethercote:improve-parse_bottom...	blob \| commitdiff \| raw \| diff to current
2019-06-12	bors	Auto merge of #61722 - eddyb:vowel-exclusion-zone,...	blob \| commitdiff \| raw \| diff to current
2019-06-12	Eduard-Mihai Burtescu	rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt...	blob \| commitdiff \| raw \| diff to current
2019-06-12	Eduard-Mihai Burtescu	rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt...	blob \| commitdiff \| raw \| diff to current
2019-06-11	Niko Matsakis	rename `evaluate_obligation_recursively`	blob \| commitdiff \| raw \| diff to current
2019-04-12	Mazdak Farrokhzad	Rollup merge of #59847 - Kampfkarren:try-block-catch...	blob \| commitdiff \| raw \| diff to current
2019-04-12	Mazdak Farrokhzad	Rollup merge of #59880 - solson:transmute-float, r...	blob \| commitdiff \| raw \| diff to current
2019-03-27	bors	Auto merge of #55780 - ogoffart:span_source_text, r...	blob \| commitdiff \| raw \| diff to current
2019-03-20	bors	Auto merge of #57018 - dcreager:redundant-linker, r...	blob \| commitdiff \| raw \| diff to current
2019-03-19	Mazdak Farrokhzad	Rollup merge of #59252 - lcnr:mailmap, r=Centril	blob \| commitdiff \| raw \| diff to current
2019-03-19	Mazdak Farrokhzad	Rollup merge of #57847 - clarcharr:dbg_no_params, r...	blob \| commitdiff \| raw \| diff to current
2019-03-08	Pietro Albini	Rollup merge of #58906 - Nemo157:generator-state-debug...	blob \| commitdiff \| raw \| diff to current
2019-03-08	Pietro Albini	Rollup merge of #58269 - taeguk:add-some-sources-to...	blob \| commitdiff \| raw \| diff to current
2019-03-08	Pietro Albini	Rollup merge of #58080 - MikaelUrankar:freebsd_arm...	blob \| commitdiff \| raw \| diff to current
2019-03-02	bors	Auto merge of #58077 - Nemo157:generator-state-debug...	blob \| commitdiff \| raw \| diff to current
2019-02-27	Mazdak Farrokhzad	Rollup merge of #58075 - asettouf:master, r=varkor	blob \| commitdiff \| raw \| diff to current
2019-02-25	Mazdak Farrokhzad	Rollup merge of #55632 - ollie27:deny_overflowing_liter...	blob \| commitdiff \| raw \| diff to current
2019-02-24	Mazdak Farrokhzad	Rollup merge of #58183 - jethrogb:jb/alloc-box-guarante...	blob \| commitdiff \| raw \| diff to current
2019-02-24	bors	Auto merge of #58304 - gnzlbg:simd_saturated, r=nagisa	blob \| commitdiff \| raw \| diff to current
2019-02-23	Mazdak Farrokhzad	Rollup merge of #58595 - stjepang:make-duration-consts...	blob \| commitdiff \| raw \| diff to current
2019-02-23	Mazdak Farrokhzad	Rollup merge of #58227 - Aaronepower:master, r=Centril	blob \| commitdiff \| raw \| diff to current
2019-02-23	Mazdak Farrokhzad	Rollup merge of #58199 - clintfred:partial-move-err...	blob \| commitdiff \| raw \| diff to current
2019-02-23	Mazdak Farrokhzad	Rollup merge of #58122 - matthieu-m:range_incl_perf...	blob \| commitdiff \| raw \| diff to current
2019-02-22	Mazdak Farrokhzad	Rollup merge of #58198 - igorsdv:suggest-removing-paren...	blob \| commitdiff \| raw \| diff to current
2019-02-22	Mazdak Farrokhzad	Rollup merge of #58064 - llogiq:vec-deque-try-rfold...	blob \| commitdiff \| raw \| diff to current
2019-02-22	Mazdak Farrokhzad	Rollup merge of #58059 - RalfJung:before_exec, r=alexcr...	blob \| commitdiff \| raw \| diff to current
2019-02-22	Mazdak Farrokhzad	Rollup merge of #57656 - scottmcm:deprecate-resize_defa...	blob \| commitdiff \| raw \| diff to current
2019-02-20	kennytm	Rollup merge of #58044 - Lokathor:lokathor, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2019-02-20	kennytm	Rollup merge of #58303 - GuillaumeGomez:stability-tags...	blob \| commitdiff \| raw \| diff to current
2019-02-19	kennytm	Rollup merge of #56470 - llogiq:process-termination...	blob \| commitdiff \| raw \| diff to current
2019-02-19	bors	Auto merge of #57896 - oli-obk:permissive_existence...	blob \| commitdiff \| raw \| diff to current
2019-02-19	bors	Auto merge of #56514 - ollie27:rustdoc_test_libdir...	blob \| commitdiff \| raw \| diff to current
2019-02-17	Stein Somers	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-02-17	kennytm	Rollup merge of #57929 - GuillaumeGomez:rustodc-remove...	blob \| commitdiff \| raw \| diff to current
2019-02-16	kennytm	Rollup merge of #58440 - gnzlbg:v6, r=japaric	blob \| commitdiff \| raw \| diff to current
2019-02-16	kennytm	Rollup merge of #58306 - GuillaumeGomez:crate-browser...	blob \| commitdiff \| raw \| diff to current
2019-02-16	kennytm	Rollup merge of #58293 - xfix:patch-16, r=Mark-Simulacrum	blob \| commitdiff \| raw \| diff to current
2019-02-16	kennytm	Rollup merge of #57981 - Zoxc:fix-57979, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2019-02-14	Mazdak Farrokhzad	Rollup merge of #58308 - gnzlbg:context_insert_intr...	blob \| commitdiff \| raw \| diff to current
2019-02-14	Mazdak Farrokhzad	Rollup merge of #58267 - estebank:match-arms, r=matthew...	blob \| commitdiff \| raw \| diff to current
2019-02-14	Mazdak Farrokhzad	Rollup merge of #57856 - lzutao:fix-old-first-edition...	blob \| commitdiff \| raw \| diff to current
2019-02-13	Mazdak Farrokhzad	Rollup merge of #58400 - gnzlbg:fix_driver, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2019-02-13	Mazdak Farrokhzad	Rollup merge of #58276 - varkor:missing-stability-attr...	blob \| commitdiff \| raw \| diff to current
2019-02-13	Mazdak Farrokhzad	Rollup merge of #58272 - fitzgen:num-format-code-size...	blob \| commitdiff \| raw \| diff to current
2019-02-13	Mazdak Farrokhzad	Rollup merge of #58202 - varkor:deprecated-future-exter...	blob \| commitdiff \| raw \| diff to current
2019-02-13	bors	Auto merge of #56951 - oli-obk:auto_toolstate_issue...	blob \| commitdiff \| raw \| diff to current
2019-02-13	bors	Auto merge of #58235 - jethrogb:jb/sgx-usercall-interna...	blob \| commitdiff \| raw \| diff to current
2019-02-13	Matthias Einwag	Merging master	blob \| commitdiff \| raw \| diff to current
2019-02-13	Mazdak Farrokhzad	Rollup merge of #58405 - gnzlbg:remove_unused_macros...	blob \| commitdiff \| raw \| diff to current
2019-02-13	Mazdak Farrokhzad	Rollup merge of #58404 - euclio:cloudabi-keyserver...	blob \| commitdiff \| raw \| diff to current
2019-02-13	Mazdak Farrokhzad	Rollup merge of #58289 - haraldh:master, r=sfackler	blob \| commitdiff \| raw \| diff to current
2019-02-13	Mazdak Farrokhzad	Rollup merge of #58200 - RalfJung:str-as-mut-ptr, r...	blob \| commitdiff \| raw \| diff to current
2019-02-13	Mazdak Farrokhzad	Rollup merge of #58166 - euclio:deprecation-shorthand...	blob \| commitdiff \| raw \| diff to current
2019-02-13	Mazdak Farrokhzad	Rollup merge of #58034 - faern:stabilize-time-checked...	blob \| commitdiff \| raw \| diff to current
2019-02-13	Mazdak Farrokhzad	Rollup merge of #57815 - dotdash:asserts, r=sfackler	blob \| commitdiff \| raw \| diff to current
2019-02-13	Mazdak Farrokhzad	Rollup merge of #57693 - king6cong:word, r=Centril	blob \| commitdiff \| raw \| diff to current
2019-02-12	Mazdak Farrokhzad	Rollup merge of #58318 - taiki-e:libserialize-2018...	blob \| commitdiff \| raw \| diff to current
2019-02-12	Mazdak Farrokhzad	Rollup merge of #58300 - taiki-e:librustc_typeck-2018...	blob \| commitdiff \| raw \| diff to current
2019-02-12	Mazdak Farrokhzad	Rollup merge of #58288 - taiki-e:rustc-workspace-hack...	blob \| commitdiff \| raw \| diff to current
2019-02-12	Mazdak Farrokhzad	Rollup merge of #58287 - taiki-e:rustc-std-workspace...	blob \| commitdiff \| raw \| diff to current
2019-02-12	bors	Auto merge of #58246 - pmccarter:master, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2019-02-12	bors	Auto merge of #58180 - davidtwco:issue-58053, r=estebank	blob \| commitdiff \| raw \| diff to current
2019-02-11	bors	Auto merge of #56645 - pietroalbini:fix-unused-imports...	blob \| commitdiff \| raw \| diff to current
2019-02-11	bors	Auto merge of #58153 - ljedrz:HirIdify_typeck, r=Zoxc	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom