git.lizzy.rs Git - rust.git/history - src/librustc_mir/borrow_check/nll/constraint

]> git.lizzy.rs Git - rust.git/history - src/librustc_mir/borrow_check/nll/constraint_generation.rs

[rust.git] / src / librustc_mir / borrow_check / nll / constraint_generation.rs

2018-07-12	Niko Matsakis	generate reborrow constraints at type check time	blob \| commitdiff \| raw
2018-07-08	bors	Auto merge of #51955 - zackmdavis:item_semi, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2018-07-07	bors	Auto merge of #52109 - michaelwoerister:ir-objs, r...	blob \| commitdiff \| raw \| diff to current
2018-07-07	Mark Rousskov	Rollup merge of #52067 - csmoe:issue-51167, r=nikomatsakis	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	bors	Auto merge of #52010 - toidiu:ak-crossCrateOutlives...	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	kennytm	Rollup merge of #52019 - michaelwoerister:cross-lto...	blob \| commitdiff \| raw \| diff to current
2018-07-06	kennytm	Rollup merge of #52016 - oli-obk:dedup_static_errors...	blob \| commitdiff \| raw \| diff to current
2018-07-06	kennytm	Rollup merge of #52005 - alexcrichton:update-llvm-for...	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-05	bors	Auto merge of #51599 - GuillaumeGomez:reduce-search...	blob \| commitdiff \| raw \| diff to current
2018-07-05	bors	Auto merge of #51967 - varkor:const-body-break-continue...	blob \| commitdiff \| raw \| diff to current
2018-07-05	bors	Auto merge of #51936 - japaric:rust-lld, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-07-05	bors	Auto merge of #51938 - zackmdavis:and_the_case_of_the_l...	blob \| commitdiff \| raw \| diff to current
2018-07-05	bors	Auto merge of #51964 - matthewjasper:unused-mut-mir...	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-04	bors	Auto merge of #51935 - cramertj:unpin-references, r...	blob \| commitdiff \| raw \| diff to current
2018-07-04	bors	Auto merge of #51895 - nikomatsakis:move-self-trait...	blob \| commitdiff \| raw \| diff to current
2018-07-03	bors	Auto merge of #51926 - matthewjasper:Initialization...	blob \| commitdiff \| raw \| diff to current
2018-07-03	bors	Auto merge of #51900 - PramodBisht:51813_b, r=nikomatsakis	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	bors	Auto merge of #52014 - pietroalbini:rollup, r=pietroalbini	blob \| commitdiff \| raw \| diff to current
2018-07-03	Pietro Albini	Rollup merge of #51958 - euclio:attr-refactor, r=petroc...	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 #51889 - spastorino:make-causal-tracking...	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 #51896 - nikomatsakis:nll-liveness-dirty...	blob \| commitdiff \| raw \| diff to current
2018-07-02	bors	Auto merge of #51122 - oli-obk:clippy, r=Mark-Simulacrum	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 #51931 - cramertj:rm-libbacktrace, r...	blob \| commitdiff \| raw \| diff to current
2018-07-02	bors	Auto merge of #51866 - zackmdavis:hir_making_each_day_o...	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	Santiago Pastorino	Make causal tracking lazy	blob \| commitdiff \| raw \| diff to current
2018-07-01	bors	Auto merge of #51110 - alexreg:new-static-eval-rules...	blob \| commitdiff \| raw \| diff to current
2018-07-01	Pietro Albini	Rollup merge of #51961 - 11Takanori:fix-typo, r=petroch...	blob \| commitdiff \| raw \| diff to current
2018-07-01	Pietro Albini	Rollup merge of #51922 - japaric:llvm-tools-preview...	blob \| commitdiff \| raw \| diff to current
2018-07-01	Pietro Albini	Rollup merge of #51921 - japaric:panic-impl-error,...	blob \| commitdiff \| raw \| diff to current
2018-07-01	Pietro Albini	Rollup merge of #51920 - euclio:concrete-type-suggestio...	blob \| commitdiff \| raw \| diff to current
2018-07-01	Pietro Albini	Rollup merge of #51890 - Ixrec:patch-3, 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 #51536 - davidtwco:nll-dyn-trait-undersco...	blob \| commitdiff \| raw \| diff to current
2018-07-01	Niko Matsakis	propagate boring vs interesting causal info for constra...	blob \| commitdiff \| raw \| diff to current
2018-07-01	Niko Matsakis	remove the `at_location` from Locations	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	bors	Auto merge of #51444 - estebank:impl-static, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2018-06-27	bors	Auto merge of #51598 - Pazzaz:master, r=sfackler	blob \| commitdiff \| raw \| diff to current
2018-06-26	bors	Auto merge of #49469 - Nokel81:allow-irrefutable-let...	blob \| commitdiff \| raw \| diff to current
2018-06-26	bors	Auto merge of #51613 - nnethercote:ob-forest-cleanup...	blob \| commitdiff \| raw \| diff to current
2018-06-26	bors	Auto merge of #50630 - sharkdp:fix-50619, r=sfackler	blob \| commitdiff \| raw \| diff to current
2018-06-22	bors	Auto merge of #51482 - GuillaumeGomez:table-display...	blob \| commitdiff \| raw \| diff to current
2018-06-22	kennytm	Rollup merge of #51158 - ogham:patch-1, r=steveklabnik	blob \| commitdiff \| raw \| diff to current
2018-06-22	bors	Auto merge of #51433 - scalexm:finish-rules, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2018-06-21	bors	Auto merge of #50336 - japaric:llvm-tools, r=Mark-Simul...	blob \| commitdiff \| raw \| diff to current
2018-06-21	bors	Auto merge of #51601 - Emerentius:step_by_range_diet...	blob \| commitdiff \| raw \| diff to current
2018-06-20	bors	Auto merge of #51617 - nnethercote:nll-allocs, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-06-19	bors	Auto merge of #51367 - oli-obk:silence!_I_test_you...	blob \| commitdiff \| raw \| diff to current
2018-06-19	bors	Auto merge of #51081 - kornelski:examplestr, r=steveklabnik	blob \| commitdiff \| raw \| diff to current
2018-06-19	bors	Auto merge of #51597 - Mark-Simulacrum:update-books...	blob \| commitdiff \| raw \| diff to current
2018-06-19	bors	Auto merge of #51278 - EPashkin:fix_mod_with_multilevel...	blob \| commitdiff \| raw \| diff to current
2018-06-18	bors	Auto merge of #51248 - fabric-and-ink:newtype_index_deb...	blob \| commitdiff \| raw \| diff to current
2018-06-18	bors	Auto merge of #50894 - teiesti:stabilize_path_ancestors...	blob \| commitdiff \| raw \| diff to current
2018-06-18	bors	Auto merge of #51460 - nikomatsakis:nll-perf-examinatio...	blob \| commitdiff \| raw \| diff to current
2018-06-09	Niko Matsakis	convert type-check constraints into NLL constraints...	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-28	bors	Auto merge of #50465 - clarcharr:wrapping, r=KodrAus	blob \| commitdiff \| raw \| diff to current
2018-05-26	bors	Auto merge of #50364 - LukasKalbertodt:improve-duration...	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-17	bors	Auto merge of #50593 - nikomatsakis:nll-no-location...	blob \| commitdiff \| raw \| diff to current
2018-05-17	Mark Simulacrum	Rollup merge of #50649 - nnethercote:tweak-nearest_comm...	blob \| commitdiff \| raw \| diff to current
2018-05-17	Mark Simulacrum	Rollup merge of #50610 - estebank:fmt-str, r=Kimundi	blob \| commitdiff \| raw \| diff to current
2018-05-17	Mark Simulacrum	Rollup merge of #50553 - clarcharr:option_xor, r=sfackler	blob \| commitdiff \| raw \| diff to current
2018-05-17	Mark Simulacrum	Rollup merge of #50387 - phansch:remove_leftover_tab...	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-16	kennytm	Rollup merge of #50656 - leodasvacas:fix-impl-trait...	blob \| commitdiff \| raw \| diff to current
2018-05-15	Guillaume Gomez	Rollup merge of #50632 - GuillaumeGomez:minification...	blob \| commitdiff \| raw \| diff to current
2018-05-15	Guillaume Gomez	Rollup merge of #50594 - sanxiyn:man-print, r=steveklabnik	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 #50351 - varkor:vestigial-never-conversio...	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-13	bors	Auto merge of #50622 - eddyb:make-room-for-ghosts,...	blob \| commitdiff \| raw \| diff to current
2018-05-13	bors	Auto merge of #50573 - oli-obk:tool_sanity, r=kennytm	blob \| commitdiff \| raw \| diff to current
2018-05-12	Mark Simulacrum	Rollup merge of #50607 - Zoxc:symbol-arena, r=michaelwo...	blob \| commitdiff \| raw \| diff to current
2018-05-12	Mark Simulacrum	Rollup merge of #50602 - Screwtapello:update-canonicali...	blob \| commitdiff \| raw \| diff to current
2018-05-12	Mark Simulacrum	Rollup merge of #50550 - llogiq:fmt-result, r=petrochenkov	blob \| commitdiff \| raw \| diff to current
2018-05-12	Mark Simulacrum	Rollup merge of #50545 - rizakrko:const_time, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2018-05-12	Mark Simulacrum	Rollup merge of #50544 - Eijebong:cleanup_deps, r=alexc...	blob \| commitdiff \| raw \| diff to current
2018-05-12	bors	Auto merge of #50352 - porglezomp:btree-no-empty-alloc...	blob \| commitdiff \| raw \| diff to current
2018-05-11	bors	Auto merge of #50105 - mixi:crt-included, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom