]> git.lizzy.rs Git - rust.git/history - src/librustc/mir/mono.rs
Revert previous attempt at detecting unsatisfiable predicates
[rust.git] / src / librustc / mir / mono.rs
2020-01-16 Aaron HillRevert previous attempt at detecting unsatisfiable...
2020-01-16 Dylan DPCRollup merge of #68263 - ollie27:rustdoc_invalid_syntax...
2020-01-16 Dylan DPCRollup merge of #68255 - tmiasko:unused-aux, r=Dylan-DPC
2020-01-16 Dylan DPCRollup merge of #68033 - ollie27:win_f32, r=dtolnay
2020-01-16 borsAuto merge of #68258 - RalfJung:miri, r=RalfJung
2020-01-16 Dylan DPCRollup merge of #68223 - SOF3:float-fract-doc, r=varkor
2020-01-16 Dylan DPCRollup merge of #68096 - varkor:diagnostic-cleanup...
2020-01-16 Dylan DPCRollup merge of #67780 - cjgillot:passes-ty, r=Zoxc
2020-01-16 borsAuto merge of #67339 - CAD97:rc-provenance, r=sfackler
2020-01-15 Dylan DPCRollup merge of #68252 - matthiaskrgr:redundant_clones...
2020-01-15 Dylan DPCRollup merge of #68237 - estebank:bad-bad-ice, r=petroc...
2020-01-15 Dylan DPCRollup merge of #68236 - JohnTitor:ice-tests, r=Centril
2020-01-15 Dylan DPCRollup merge of #68232 - Mark-Simulacrum:unicode-tables...
2020-01-15 Dylan DPCRollup merge of #68212 - csmoe:temp, r=estebank
2020-01-15 Dylan DPCRollup merge of #68123 - crlf0710:linked_list_cursor...
2020-01-15 borsAuto merge of #67603 - oli-obk:no_mut_static_ref_from_c...
2020-01-15 borsAuto merge of #68248 - JohnTitor:rollup-x0kml5f, r...
2020-01-15 Yuki OkushiRollup merge of #68233 - danielframpton:update-compiler...
2020-01-15 Yuki OkushiRollup merge of #68231 - danielframpton:windows-crossco...
2020-01-15 Yuki OkushiRollup merge of #68230 - danielframpton:update-libssh2...
2020-01-15 Yuki OkushiRollup merge of #68229 - danielframpton:update-iovec...
2020-01-15 Yuki OkushiRollup merge of #68227 - danielframpton:update-cmake...
2020-01-15 Yuki OkushiRollup merge of #68226 - Aaron1011:fix/opaque-trace...
2020-01-15 Yuki OkushiRollup merge of #68222 - alexcrichton:update-wasi-libc...
2020-01-15 Yuki OkushiRollup merge of #68219 - oli-obk:fix_miri, r=RalfJung...
2020-01-15 Yuki OkushiRollup merge of #68211 - GuillaumeGomez:add-failing...
2020-01-15 Yuki OkushiRollup merge of #68141 - euclio:replace-bindings-with...
2020-01-15 Yuki OkushiRollup merge of #67914 - Aaron1011:fix/const-prop-impos...
2020-01-15 Yuki OkushiRollup merge of #67784 - Mark-Simulacrum:residual-pad...
2020-01-14 borsAuto merge of #67076 - mbrubeck:condvar, r=dtolnay
2020-01-13 borsAuto merge of #67850 - GuillaumeGomez:err-codes-checkup...
2020-01-13 Aaron HillUse TraitQueryMode::Canonical when testing predicates...
2020-01-13 Yuki OkushiRollup merge of #67313 - oli-obk:document_all_the_t̶h̶i...
2020-01-12 borsAuto merge of #67831 - mati865:ci-images-upgrade, r...
2020-01-12 Mazdak FarrokhzadRollup merge of #67867 - matthewjasper:opaque-assoc...
2020-01-11 borsAuto merge of #67458 - pnkfelix:fix-66530-by-propagatin...
2020-01-10 Yuki OkushiRollup merge of #66045 - mzabaluev:unwrap-infallible...
2020-01-09 Yuki OkushiRollup merge of #67935 - Thomasdezeeuw:issue_67669...
2020-01-08 Mazdak FarrokhzadRollup merge of #67884 - anp:allow-unused-const-attr...
2020-01-08 Mazdak FarrokhzadRollup merge of #67630 - oli-obk:extern_ptr_dangling...
2020-01-08 Yuki OkushiRollup merge of #67955 - ollie27:rustdoc_cfg_dupes...
2020-01-08 Yuki OkushiRollup merge of #67887 - anp:tracked-std-panics, r...
2020-01-08 Yuki OkushiRollup merge of #67875 - dtolnay:hidden, r=GuillaumeGomez
2020-01-08 Yuki OkushiRollup merge of #67849 - cjkenn:check-sorted-words...
2020-01-08 Yuki OkushiRollup merge of #67798 - matklad:spin-thouse-docs,...
2020-01-08 borsAuto merge of #67760 - Mark-Simulacrum:rustc-dirty...
2020-01-08 borsAuto merge of #67733 - pietroalbini:gha-2, r=alexcrichton
2020-01-07 borsAuto merge of #67312 - cuviper:clone-box-slice, r=Simon...
2020-01-07 borsAuto merge of #67732 - pietroalbini:fewer-apples, r...
2020-01-07 borsAuto merge of #67924 - RalfJung:miri, r=RalfJung
2020-01-07 Yuki OkushiRollup merge of #67936 - euclio:assoc-type-bad-style...
2020-01-07 Yuki OkushiRollup merge of #67934 - GuillaumeGomez:clean-up-e0178...
2020-01-07 Yuki OkushiRollup merge of #67929 - mgrachev:patch-1, r=jonas...
2020-01-07 Yuki OkushiRollup merge of #67909 - varkor:obsolete-const-print...
2020-01-07 Yuki OkushiRollup merge of #67908 - ollie27:rustdoc_const_html_esc...
2020-01-07 Yuki OkushiRollup merge of #67880 - lbonn:fix/multi-substs, r...
2020-01-07 Yuki OkushiRollup merge of #67877 - dtolnay:const-_, r=nagisa
2020-01-07 Yuki OkushiRollup merge of #67727 - Dylan-DPC:stabilise/remove_ite...
2020-01-07 Yuki OkushiRollup merge of #67671 - estebank:type-impl-trait,...
2020-01-07 Yuki OkushiRollup merge of #67566 - Mark-Simulacrum:thread-id...
2020-01-06 borsAuto merge of #66899 - msizanoen1:riscv-std, r=alexcrichton
2020-01-06 borsAuto merge of #67886 - Centril:rustc_hir_canon_imports...
2020-01-06 Dylan DPCRollup merge of #67906 - varkor:silence-toogeneric...
2020-01-06 Dylan DPCRollup merge of #67873 - Dylan-DPC:feature/change-remov...
2020-01-06 borsAuto merge of #67563 - euclio:rustdoc-buffer-lexer...
2020-01-05 borsAuto merge of #67821 - matthiaskrgr:submodule_upd,...
2020-01-05 Dylan DPCRollup merge of #67882 - euclio:flock, r=rkruppe
2020-01-05 Dylan DPCRollup merge of #67881 - varkor:scattering-of-backticks...
2020-01-05 Dylan DPCRollup merge of #67879 - ollie27:float_sqrt_neg, r...
2020-01-05 Dylan DPCRollup merge of #67845 - jumbatm:also-unconst-hack...
2020-01-05 Dylan DPCRollup merge of #67818 - ollie27:rustdoc_playground_syn...
2020-01-05 Mazdak FarrokhzadRemove rustc_hir reexports in rustc::hir.
2020-01-05 borsAuto merge of #67808 - Marwes:projection_normalization_...
2020-01-04 borsAuto merge of #67803 - Centril:librustc_hir, r=Zoxc
2020-01-04 Dylan DPCRollup merge of #67812 - ssomers:btreemap_internal_doc...
2020-01-04 Dylan DPCRollup merge of #67775 - mental32:master, r=Dylan-DPC
2020-01-04 Dylan DPCRollup merge of #67709 - petrochenkov:nodedup2, r=Centril
2020-01-04 Dylan DPCRollup merge of #67137 - anp:tracked-panic-internals...
2020-01-04 Mazdak Farrokhzadcanonicalize FxHash{Map,Set} imports
2020-01-04 Guillaume GomezRollup merge of #67848 - ollie27:float_link_name_attr...
2020-01-04 Guillaume GomezRollup merge of #67837 - GuillaumeGomez:clean-up-err...
2020-01-04 Guillaume GomezRollup merge of #67823 - euclio:drop-improvements,...
2020-01-04 Guillaume GomezRollup merge of #67822 - wesleywiser:revert_67676,...
2020-01-04 borsAuto merge of #67788 - cjgillot:delint-day, r=Zoxc
2020-01-04 borsAuto merge of #67853 - Centril:rollup-sx5zi9n, r=Centril
2020-01-04 Mazdak FarrokhzadRollup merge of #67845 - jumbatm:also-unconst-hack...
2020-01-04 Mazdak FarrokhzadRollup merge of #67835 - euclio:delimiter-wording,...
2020-01-04 Mazdak FarrokhzadRollup merge of #67810 - crlf0710:uncommon_codepoints_l...
2020-01-04 Mazdak FarrokhzadRollup merge of #67789 - ollie27:linkchecker_whitelist...
2020-01-04 Mazdak FarrokhzadRollup merge of #67786 - Centril:canon-span, r=petrochenkov
2020-01-04 Mazdak FarrokhzadRollup merge of #67531 - RalfJung:tame-promotion, r...
2020-01-02 Mazdak FarrokhzadNormalize `syntax::symbol` imports.
2020-01-02 Mazdak FarrokhzadNormalize `syntax::source_map` imports.
2019-12-31 Dylan DPCRollup merge of #67430 - tspiteri:minus-inf, r=Dylan-DPC
2019-12-29 Dylan DPCRollup merge of #67482 - ldm0:master, r=petrochenkov
2019-12-25 borsAuto merge of #67524 - LukasKalbertodt:improve-into...
2019-12-25 borsAuto merge of #67303 - dtolnay:rls, r=Xanewok
2019-12-24 borsAuto merge of #67445 - llogiq:todo, r=dtolnay
2019-12-24 Mazdak FarrokhzadRollup merge of #67561 - euclio:remove-description...
2019-12-24 Mazdak FarrokhzadRollup merge of #67547 - GuillaumeGomez:cleanup-err...
next