git.lizzy.rs Git - rust.git/history - src/librustc

]> git.lizzy.rs Git - rust.git/history - src/librustc_infer/infer/mod.rs

[rust.git] / src / librustc_infer / infer / mod.rs

2020-05-05	Markus Westerlind	Fix review comments	blob \| commitdiff \| raw
2020-05-05	Markus Westerlind	Rebase and use ena 0.14	blob \| commitdiff \| raw \| diff to current
2020-05-05	Markus Westerlind	refactor: simplify	blob \| commitdiff \| raw \| diff to current
2020-05-05	Markus Westerlind	Prevent modifications without an undo log	blob \| commitdiff \| raw \| diff to current
2020-05-05	Markus Westerlind	refactor: Extract the undo log to its own modules	blob \| commitdiff \| raw \| diff to current
2020-05-05	Markus Westerlind	refactor: Rename Logs to InferCtxtUndoLogs	blob \| commitdiff \| raw \| diff to current
2020-05-05	Markus Westerlind	simplify	blob \| commitdiff \| raw \| diff to current
2020-05-05	Markus Westerlind	perf: Merge region_obligations snapshotting into the...	blob \| commitdiff \| raw \| diff to current
2020-05-05	Markus Westerlind	perf: Limit leak check snapshotting to probe_maybe_skip...	blob \| commitdiff \| raw \| diff to current
2020-05-05	Markus Westerlind	perf: Lazily recive the Rollback argument in rollback_to	blob \| commitdiff \| raw \| diff to current
2020-05-05	Markus Westerlind	perf: Separate CombinedSnapshot into a FullSnapshot...	blob \| commitdiff \| raw \| diff to current
2020-05-05	Markus Westerlind	Move projection_cache into the combined undo log	blob \| commitdiff \| raw \| diff to current
2020-05-05	Markus Westerlind	Allow SnapshotMap to have a separate undo_log	blob \| commitdiff \| raw \| diff to current
2020-05-05	Markus Westerlind	Move region_constraint to the unified undo log	blob \| commitdiff \| raw \| diff to current
2020-05-05	Markus Westerlind	perf: Reduce snapshot/rollback overhead	blob \| commitdiff \| raw \| diff to current
2020-05-04	Dylan DPC	Rollup merge of #71711 - Mark-Simulacrum:deignore-tests...	blob \| commitdiff \| raw \| diff to current
2020-05-04	Dylan DPC	Rollup merge of #71587 - matthewjasper:promoted-move...	blob \| commitdiff \| raw \| diff to current
2020-05-04	Dylan DPC	Rollup merge of #71810 - estebank:issue-71798, r=davidtwco	blob \| commitdiff \| raw \| diff to current
2020-05-04	Dylan DPC	Rollup merge of #71773 - tshepang:links, r=davidtwco	blob \| commitdiff \| raw \| diff to current
2020-05-04	Dylan DPC	Rollup merge of #71697 - felix91gr:new_prop_into_fn_cal...	blob \| commitdiff \| raw \| diff to current
2020-05-04	Dylan DPC	Rollup merge of #71038 - lcnr:dyn_trait_structural_matc...	blob \| commitdiff \| raw \| diff to current
2020-05-04	bors	Auto merge of #71754 - alexcrichton:no-bitcode-in-cache...	blob \| commitdiff \| raw \| diff to current
2020-05-04	bors	Auto merge of #71751 - oli-obk:const_ice, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-05-04	bors	Auto merge of #71108 - estebank:suggest-proj-type-misma...	blob \| commitdiff \| raw \| diff to current
2020-05-04	Dylan DPC	Rollup merge of #71844 - flip1995:subtree_clippy_doc...	blob \| commitdiff \| raw \| diff to current
2020-05-04	Dylan DPC	Rollup merge of #71801 - matthewjasper:operator-subtypi...	blob \| commitdiff \| raw \| diff to current
2020-05-04	Dylan DPC	Rollup merge of #71645 - ecstatic-morse:readme-build...	blob \| commitdiff \| raw \| diff to current
2020-05-03	bors	Auto merge of #71631 - RalfJung:miri-unleash-the-gates...	blob \| commitdiff \| raw \| diff to current
2020-05-03	Dylan DPC	Rollup merge of #71808 - unexge:long-err-expl-for-e0539...	blob \| commitdiff \| raw \| diff to current
2020-05-03	Dylan DPC	Rollup merge of #71726 - ldm0:ref2ptr, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2020-05-03	Dylan DPC	Rollup merge of #71663 - jumbatm:caller-handles-validat...	blob \| commitdiff \| raw \| diff to current
2020-05-03	Dylan DPC	Rollup merge of #71398 - ThinkChaos:feat_refcell_take...	blob \| commitdiff \| raw \| diff to current
2020-05-03	bors	Auto merge of #70825 - eddyb:enum-discr-correct-generic...	blob \| commitdiff \| raw \| diff to current
2020-05-03	Dylan DPC	Rollup merge of #71813 - ecstatic-morse:issue-71734...	blob \| commitdiff \| raw \| diff to current
2020-05-03	Dylan DPC	Rollup merge of #71806 - lcnr:patch-3, r=jonas-schievink	blob \| commitdiff \| raw \| diff to current
2020-05-03	Dylan DPC	Rollup merge of #71542 - crlf0710:confusable_idents...	blob \| commitdiff \| raw \| diff to current
2020-05-03	Dylan DPC	Rollup merge of #71314 - mibac138:cfg-version, r=petroc...	blob \| commitdiff \| raw \| diff to current
2020-05-03	Dylan DPC	Rollup merge of #71165 - lcnr:patch-2, r=Amanieu	blob \| commitdiff \| raw \| diff to current
2020-05-03	bors	Auto merge of #71815 - Mark-Simulacrum:no-llvm-rebuild...	blob \| commitdiff \| raw \| diff to current
2020-05-02	bors	Auto merge of #71807 - Dylan-DPC:rollup-jvb8sd9, r...	blob \| commitdiff \| raw \| diff to current
2020-05-02	bors	Auto merge of #69274 - LeSeulArtichaut:target-feature...	blob \| commitdiff \| raw \| diff to current
2020-05-02	Dylan DPC	Rollup merge of #71787 - tshepang:rustdoc-warnings...	blob \| commitdiff \| raw \| diff to current
2020-05-02	Dylan DPC	Rollup merge of #69274 - LeSeulArtichaut:target-feature...	blob \| commitdiff \| raw \| diff to current
2020-05-02	Ralf Jung	Rollup merge of #71712 - RalfJung:error-backtrace,...	blob \| commitdiff \| raw \| diff to current
2020-05-02	Tshepang Lekhonkhobe	fix rustdoc warnings	blob \| commitdiff \| raw \| diff to current
2020-05-02	Oliver Scherer	Add 'src/tools/clippy/' from commit 'd2708873ef711ec8ab...	blob \| commitdiff \| raw \| diff to current
2020-05-02	bors	Auto merge of #70170 - eddyb:wf-early-exit, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2020-05-02	bors	Auto merge of #71716 - alexcrichton:bitcode-follow...	blob \| commitdiff \| raw \| diff to current
2020-05-01	Dylan DPC	Rollup merge of #71018 - lcnr:custom-const-param, r...	blob \| commitdiff \| raw \| diff to current
2020-05-01	Dylan DPC	Rollup merge of #71747 - spastorino:safety-scheme-aroun...	blob \| commitdiff \| raw \| diff to current
2020-05-01	bors	Auto merge of #71623 - petrochenkov:localink, r=estebank	blob \| commitdiff \| raw \| diff to current
2020-05-01	bors	Auto merge of #70674 - cjgillot:query-arena-all, r...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Tyler Mandry	Rollup merge of #71719 - tmandry:update-backtrace-sys...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Tyler Mandry	Rollup merge of #71691 - ecstatic-morse:const-unreachab...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Tyler Mandry	Rollup merge of #71688 - ecstatic-morse:const-downcast...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Tyler Mandry	Rollup merge of #71682 - ehuss:bump-pulldown-cmark...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Tyler Mandry	Rollup merge of #71590 - RalfJung:mir-dump-pointers...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Tyler Mandry	Rollup merge of #71567 - Mark-Simulacrum:no-success...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Tyler Mandry	Rollup merge of #71465 - oli-obk:is_thread_local_cleanu...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Tyler Mandry	Rollup merge of #71148 - bluss:vec-drop-raw-slice,...	blob \| commitdiff \| raw \| diff to current
2020-04-30	bors	Auto merge of #71717 - Dylan-DPC:rollup-av5vjor, r...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Dylan DPC	Rollup merge of #71597 - CohenArthur:refactor-unique...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Dylan DPC	Rollup merge of #71559 - dillona:detect_git_progress_ve...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Dylan DPC	Rollup merge of #71449 - ecstatic-morse:free-region...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Dylan DPC	Rollup merge of #71433 - antoyo:error/missing-right...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Dylan DPC	Rollup merge of #70950 - nikomatsakis:leak-check-nll...	blob \| commitdiff \| raw \| diff to current
2020-04-25	Dylan DPC	Rollup merge of #70712 - :stabilize-remove-entry, r...	blob \| commitdiff \| raw \| diff to current
2020-04-25	Dylan DPC	Rollup merge of #69813 - thomcc:nonzero-bitor, r=Amanieu	blob \| commitdiff \| raw \| diff to current
2020-04-22	Dylan MacKenzie	Move `{Free,}RegionRelations` and `FreeRegionMap` out...	blob \| commitdiff \| raw \| diff to current
2020-04-17	Dylan DPC	Rollup merge of #70578 - PankajChaudhary5:master, r...	blob \| commitdiff \| raw \| diff to current
2020-04-16	Niko Matsakis	reserve variable for empty root region	blob \| commitdiff \| raw \| diff to current
2020-04-15	Dylan DPC	Rollup merge of #70354 - XAMPPRocky:master, r=Mark...	blob \| commitdiff \| raw \| diff to current
2020-04-14	Dylan DPC	Rollup merge of #71121 - AnthonyMikh:fix_string_doc_lin...	blob \| commitdiff \| raw \| diff to current
2020-04-09	Mazdak Farrokhzad	Rollup merge of #70367 - nikomatsakis:issue-69307,...	blob \| commitdiff \| raw \| diff to current
2020-04-08	Dylan DPC	Rollup merge of #70134 - hermitcore:osstrext, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2020-04-06	Dylan DPC	Rollup merge of #70690 - GuillaumeGomez:cleanup-e0501...	blob \| commitdiff \| raw \| diff to current
2020-04-06	Mazdak Farrokhzad	Rollup merge of #70519 - estebank:constraints-before...	blob \| commitdiff \| raw \| diff to current
2020-04-04	bors	Auto merge of #69898 - spastorino:rename-rustc-guide2...	blob \| commitdiff \| raw \| diff to current
2020-04-04	bors	Auto merge of #70136 - hermitcore:network_tcp, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2020-04-04	Stefan Lankes	Merge branch 'master' into abi	blob \| commitdiff \| raw \| diff to current
2020-04-03	Mazdak Farrokhzad	Rollup merge of #70741 - DutchGhost:test-59023, r=Centril	blob \| commitdiff \| raw \| diff to current
2020-04-03	Mazdak Farrokhzad	Rollup merge of #70735 - GuillaumeGomez:cleanup-e0502...	blob \| commitdiff \| raw \| diff to current
2020-04-03	Mazdak Farrokhzad	Rollup merge of #70224 - GuillaumeGomez:clean-up-rustdo...	blob \| commitdiff \| raw \| diff to current
2020-04-03	Mazdak Farrokhzad	Rollup merge of #68334 - andre-richter:master, r=japaric	blob \| commitdiff \| raw \| diff to current
2020-04-02	Mazdak Farrokhzad	Rollup merge of #70487 - Mark-Simulacrum:float-unchecke...	blob \| commitdiff \| raw \| diff to current
2020-04-02	Mazdak Farrokhzad	Rollup merge of #70421 - Centril:recover-const-async...	blob \| commitdiff \| raw \| diff to current
2020-04-02	Mazdak Farrokhzad	Rollup merge of #70281 - xfix:infallible-hash, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2020-04-02	bors	Auto merge of #70362 - TimDiekmann:alloc-overhaul,...	blob \| commitdiff \| raw \| diff to current
2020-04-01	Dylan DPC	Rollup merge of #70649 - GuillaumeGomez:cleanup-e0468...	blob \| commitdiff \| raw \| diff to current
2020-04-01	Mazdak Farrokhzad	Rollup merge of #70522 - rcoh:60762-raw-string-errors...	blob \| commitdiff \| raw \| diff to current
2020-04-01	Mazdak Farrokhzad	Rollup merge of #70511 - ecstatic-morse:mir-dataflow...	blob \| commitdiff \| raw \| diff to current
2020-04-01	bors	Auto merge of #70414 - lopsided98:armv6-gcc-8, r=pietro...	blob \| commitdiff \| raw \| diff to current
2020-03-31	Dylan DPC	Rollup merge of #70556 - Centril:fix-70552, r=estebank	blob \| commitdiff \| raw \| diff to current
2020-03-31	Dylan DPC	Rollup merge of #70081 - lcnr:issue68387, r=varkor	blob \| commitdiff \| raw \| diff to current
2020-03-31	Dylan DPC	Rollup merge of #68770 - ssomers:btree_drain_filter...	blob \| commitdiff \| raw \| diff to current
2020-03-31	Dylan DPC	Rollup merge of #70606 - GuillaumeGomez:cleanup-e0466...	blob \| commitdiff \| raw \| diff to current
2020-03-31	Dylan DPC	Rollup merge of #70600 - danielframpton:aarch64-windows...	blob \| commitdiff \| raw \| diff to current
2020-03-31	Dylan DPC	Rollup merge of #69425 - lcnr:make_contiguous, r=Amanieu	blob \| commitdiff \| raw \| diff to current
2020-03-31	Mazdak Farrokhzad	Rollup merge of #70548 - Ersikan:master, r=GuillaumeGomez	blob \| commitdiff \| raw \| diff to current
2020-03-31	Mazdak Farrokhzad	Rollup merge of #69784 - benesch:fast-strip-prefix...	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom