2020-07-27 |
Bastian Kauschke | introduce PredicateAtom |
blob | commitdiff | raw |
2020-07-27 |
Bastian Kauschke | add reuse_or_mk_predicate |
blob | commitdiff | raw | diff to current |
2020-07-27 |
Bastian Kauschke | this might be unqualified, but at least it's now quantified |
blob | commitdiff | raw | diff to current |
2020-07-27 |
Bastian Kauschke | split ignore_qualifiers |
blob | commitdiff | raw | diff to current |
2020-07-27 |
Bastian Kauschke | `PredicateKint` -> `PredicateKind`, the beginning of... |
blob | commitdiff | raw | diff to current |
2020-07-27 |
Bastian Kauschke | elaborate |
blob | commitdiff | raw | diff to current |
2020-07-27 |
Bastian Kauschke | wf |
blob | commitdiff | raw | diff to current |
2020-07-27 |
Bastian Kauschke | convert trivial predicates |
blob | commitdiff | raw | diff to current |
2020-07-27 |
Yuki Okushi | Rollup merge of #74750 - oli-obk:logging_and_test_clean... |
blob | commitdiff | raw | diff to current |
2020-07-27 |
Yuki Okushi | Rollup merge of #74598 - mzohreva:mz/fix-test, r=KodrAus |
blob | commitdiff | raw | diff to current |
2020-07-27 |
bors | Auto merge of #74737 - smmalis37:astconv-factor, r... |
blob | commitdiff | raw | diff to current |
2020-07-27 |
bors | Auto merge of #74784 - anp:track-vtables, r=eddyb |
blob | commitdiff | raw | diff to current |
2020-07-26 |
bors | Auto merge of #74708 - kanru:issue-74564, r=davidtwco |
blob | commitdiff | raw | diff to current |
2020-07-26 |
flip1995 | Merge commit 'da5a6fb1b65ec6581a67e942a3850f6bc15a552c... |
blob | commitdiff | raw | diff to current |
2020-07-26 |
bors | Auto merge of #74664 - pnadon:Miri-rename-undef-uninit... |
blob | commitdiff | raw | diff to current |
2020-07-26 |
bors | Auto merge of #74060 - kpp:remove_length_at_most_32... |
blob | commitdiff | raw | diff to current |
2020-07-26 |
bors | Auto merge of #74735 - Aaron1011:fix/wf-impl-self-type... |
blob | commitdiff | raw | diff to current |
2020-07-25 |
bors | Auto merge of #74246 - GuillaumeGomez:cleanup-e0719... |
blob | commitdiff | raw | diff to current |
2020-07-25 |
Aaron Hill | Use the proper span when WF-checking an impl self type |
blob | commitdiff | raw | diff to current |
2020-07-25 |
bors | Auto merge of #74017 - poliorcetics:where-keyword,... |
blob | commitdiff | raw | diff to current |
2020-07-24 |
bors | Auto merge of #73645 - poliorcetics:ref-keyword, r... |
blob | commitdiff | raw | diff to current |
2020-07-24 |
Manish Goregaokar | Rollup merge of #74367 - Neutron3529:patch-1, r=nagisa |
blob | commitdiff | raw | diff to current |
2020-07-24 |
Manish Goregaokar | Rollup merge of #72954 - hermitcore:rwlock, r=dtolnay |
blob | commitdiff | raw | diff to current |
2020-07-23 |
Manish Goregaokar | Rollup merge of #74141 - euclio:typos, r=steveklabnik |
blob | commitdiff | raw | diff to current |
2020-07-22 |
Manish Goregaokar | Rollup merge of #73893 - ajpaverd:cfguard-stabilize... |
blob | commitdiff | raw | diff to current |
2020-07-22 |
Manish Goregaokar | Rollup merge of #73655 - JamieCunliffe:jamie_va-args... |
blob | commitdiff | raw | diff to current |
2020-07-21 |
bors | Auto merge of #74075 - sunfishcode:wasi-prelude-rawfd... |
blob | commitdiff | raw | diff to current |
2020-07-20 |
Manish Goregaokar | Rollup merge of #73197 - c410-f3r:ranges, r=dtolnay |
blob | commitdiff | raw | diff to current |
2020-07-20 |
bors | Auto merge of #74010 - pierwill:pierwill-o-notation... |
blob | commitdiff | raw | diff to current |
2020-07-20 |
Manish Goregaokar | Rollup merge of #73618 - poliorcetics:false-keyword... |
blob | commitdiff | raw | diff to current |
2020-07-19 |
Manish Goregaokar | Rollup merge of #74356 - lzutao:rm_combine, r=LukasKalb... |
blob | commitdiff | raw | diff to current |
2020-07-19 |
Manish Goregaokar | Rollup merge of #74333 - poliorcetics:std-alloc-unsafe... |
blob | commitdiff | raw | diff to current |
2020-07-18 |
Manish Goregaokar | Rollup merge of #74021 - 1011X:master, r=dtolnay |
blob | commitdiff | raw | diff to current |
2020-07-18 |
Manish Goregaokar | Rollup merge of #73762 - poliorcetics:trait-keyword... |
blob | commitdiff | raw | diff to current |
2020-07-18 |
Manish Goregaokar | Rollup merge of #70817 - yoshuawuyts:task-ready, r... |
blob | commitdiff | raw | diff to current |
2020-07-17 |
Manish Goregaokar | Rollup merge of #74364 - lcnr:lazy-norm-tests, r=nikoma... |
blob | commitdiff | raw | diff to current |
2020-07-17 |
Manish Goregaokar | Rollup merge of #74288 - haraldh:test_aslr, r=petrochenkov |
blob | commitdiff | raw | diff to current |
2020-07-17 |
Manish Goregaokar | Rollup merge of #74169 - ecstatic-morse:dataflow-unreac... |
blob | commitdiff | raw | diff to current |
2020-07-17 |
Manish Goregaokar | Rollup merge of #73930 - a1phyr:feature_const_option... |
blob | commitdiff | raw | diff to current |
2020-07-17 |
Manish Goregaokar | Rollup merge of #74398 - GuillaumeGomez:cleanup-e0723... |
blob | commitdiff | raw | diff to current |
2020-07-17 |
Manish Goregaokar | Rollup merge of #74351 - lzutao:remove-rustc-internal... |
blob | commitdiff | raw | diff to current |
2020-07-17 |
Manish Goregaokar | Rollup merge of #74033 - ehuss:std-compile-all-platform... |
blob | commitdiff | raw | diff to current |
2020-07-17 |
Manish Goregaokar | Rollup merge of #73269 - mzohreva:mz/sgx-wait-timeout... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #74359 - lzutao:rustdoc-tostring, r... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #74325 - GuillaumeGomez:focus-source... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #74221 - oli-obk:const_prop_ice, r... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #74171 - ehuss:44056-debug-macos, r... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #74148 - GuillaumeGomez:doc-alias-check... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #74140 - sexxi-goose:precise_hir_projec... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #73998 - euclio:search-index-determinis... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #73981 - ehuss:remove-ignore-stage1... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #73926 - joaopaulocarreiro:github_rust... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #73835 - GuillaumeGomez:cleanup-e0710... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #73807 - euclio:rustdoc-highlighting... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #73794 - GuillaumeGomez:cleanup-e0705... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #73771 - alexcrichton:ignore-unstable... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #73566 - jyn514:name-resolve-first... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #74381 - mbrubeck:docs, r=Mark-Simulacrum |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #74377 - alexcrichton:test-default... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #74352 - ehuss:fix-alloc-links, r=Mark... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #74295 - ssomers:btree_comments, r... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #74037 - JohnTitor:contributing-md... |
blob | commitdiff | raw | diff to current |
2020-07-16 |
Manish Goregaokar | Rollup merge of #73421 - janikrabe:master, r=joshtriplett |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Manish Goregaokar | Rollup merge of #74353 - pierwill:pierwill-edit-dep... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Manish Goregaokar | Rollup merge of #74347 - jyn514:ive-got-a-small-query... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Manish Goregaokar | Rollup merge of #74344 - estebank:stringly-wobbly,... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Manish Goregaokar | Rollup merge of #74337 - estebank:ty-parse-recovery... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Manish Goregaokar | Rollup merge of #74294 - msirringhaus:master, r=pietroa... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Manish Goregaokar | Rollup merge of #74291 - regexident:from-docs, r=Guilla... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Manish Goregaokar | Rollup merge of #74276 - lcnr:discriminant-kind-what... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Manish Goregaokar | Rollup merge of #74218 - GuillaumeGomez:search-results... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Manish Goregaokar | Rollup merge of #74196 - GuillaumeGomez:auto-collapse... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Manish Goregaokar | Rollup merge of #74119 - nnethercote:rm-Compiler-compil... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Manish Goregaokar | Rollup merge of #73959 - GuillaumeGomez:cleanup-e0716... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Manish Goregaokar | Rollup merge of #73918 - GuillaumeGomez:cleanup-e0715... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Manish Goregaokar | Rollup merge of #72973 - msizanoen1:riscv-host, r=pietr... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
bors | Auto merge of #74113 - lcnr:type-dependent-consts-2... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Bastian Kauschke | const_eval_resolve |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Bastian Kauschke | ConstKind::Unevaluated |
blob | commitdiff | raw | diff to current |
2020-07-14 |
Manish Goregaokar | Rollup merge of #73759 - GuillaumeGomez:stdin-examples... |
blob | commitdiff | raw | diff to current |
2020-07-14 |
Manish Goregaokar | Rollup merge of #73866 - Goirad:fix-entry-improper... |
blob | commitdiff | raw | diff to current |
2020-07-14 |
Manish Goregaokar | Rollup merge of #73720 - GuillaumeGomez:cleanup-e0704... |
blob | commitdiff | raw | diff to current |
2020-07-14 |
flip1995 | Merge commit '2ca58e7dda4a9eb142599638c59dc04d15961175... |
blob | commitdiff | raw | diff to current |
2020-07-14 |
bors | Auto merge of #73490 - CAD97:range-unchecked-stepping... |
blob | commitdiff | raw | diff to current |
2020-07-14 |
Manish Goregaokar | Rollup merge of #73867 - poliorcetics:union-keyword... |
blob | commitdiff | raw | diff to current |
2020-07-13 |
Pankaj Chaudhary | Merge branch 'master' into E0688 |
blob | commitdiff | raw | diff to current |
2020-07-11 |
Manish Goregaokar | Rollup merge of #74197 - estebank:self-sugg, r=petrochenkov |
blob | commitdiff | raw | diff to current |
2020-07-11 |
Manish Goregaokar | Rollup merge of #73715 - MaulingMonkey:pr-natvis-tuples... |
blob | commitdiff | raw | diff to current |
2020-07-11 |
Manish Goregaokar | Rollup merge of #73887 - DutchGhost:master, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-07-11 |
Manish Goregaokar | Rollup merge of #73862 - oli-obk:const_array_to_slice... |
blob | commitdiff | raw | diff to current |
2020-07-11 |
Manish Goregaokar | Rollup merge of #72303 - yoshuawuyts:future-poll-fn... |
blob | commitdiff | raw | diff to current |
2020-07-09 |
Manish Goregaokar | Rollup merge of #74188 - estebank:tweak-ascription... |
blob | commitdiff | raw | diff to current |
2020-07-09 |
Manish Goregaokar | Rollup merge of #74077 - sethp:docs/fix-intra-doc-primi... |
blob | commitdiff | raw | diff to current |
2020-07-09 |
Manish Goregaokar | Rollup merge of #73292 - poliorcetics:fix-link-in-parti... |
blob | commitdiff | raw | diff to current |
2020-07-09 |
bors | Auto merge of #74131 - ollie27:rustdoc_invalid_codebloc... |
blob | commitdiff | raw | diff to current |
2020-07-07 |
bors | Auto merge of #73562 - poliorcetics:e0432-to-edition201... |
blob | commitdiff | raw | diff to current |
2020-07-07 |
Manish Goregaokar | Rollup merge of #74074 - sunfishcode:windows-openoption... |
blob | commitdiff | raw | diff to current |
2020-07-07 |
Manish Goregaokar | Rollup merge of #73974 - CAD97:rc-no-weak, r=dtolnay |
blob | commitdiff | raw | diff to current |
2020-07-07 |
Manish Goregaokar | Rollup merge of #73870 - sexxi-goose:projection-ty... |
blob | commitdiff | raw | diff to current |
2020-07-07 |
Manish Goregaokar | Rollup merge of #73856 - pierwill:pierwill-lexer-doc... |
blob | commitdiff | raw | diff to current |
next |