git.lizzy.rs Git - rust.git/history - src/tools/miri/src/stacked

]> git.lizzy.rs Git - rust.git/history - src/tools/miri/src/stacked_borrows/diagnostics.rs

[rust.git] / src / tools / miri / src / stacked_borrows / diagnostics.rs

2022-11-28	Ralf Jung	cleanup global imports a bit	blob \| commitdiff \| raw
2022-11-27	Ralf Jung	Merge from rustc	blob \| commitdiff \| raw \| diff to current
2022-11-27	bors	Auto merge of #2694 - RalfJung:retag-deref-check, r...	blob \| commitdiff \| raw \| diff to current
2022-11-26	Ralf Jung	!Unpin retags must still be reads, to check dereferenceable	blob \| commitdiff \| raw \| diff to current
2022-11-26	bors	Auto merge of #2690 - Nilstrieb:cargo-miri-smoke-test...	blob \| commitdiff \| raw \| diff to current
2022-11-26	bors	Auto merge of #2647 - saethlin:current-span, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-11-23	Laurențiu Nicola	:arrow_up: rust-analyzer	blob \| commitdiff \| raw \| diff to current
2022-11-22	Manish Goregaokar	Rollup merge of #103193 - krasimirgg:sysonce, r=Amanieu	blob \| commitdiff \| raw \| diff to current
2022-11-22	Manish Goregaokar	Rollup merge of #101655 - dns2utf8:box_docs, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2022-11-21	Ben Kimock	Incrementally track which frame to use for diagnostics	blob \| commitdiff \| raw \| diff to current
2022-11-21	Matthias Krüger	Rollup merge of #103396 - RalfJung:pinning-closure...	blob \| commitdiff \| raw \| diff to current
2022-11-21	Philipp Krones	Merge commit 'f4850f7292efa33759b4f7f9b7621268979e9914...	blob \| commitdiff \| raw \| diff to current
2022-11-21	bors	Auto merge of #2684 - RalfJung:stack-borrows-weak-prote...	blob \| commitdiff \| raw \| diff to current
2022-11-21	bors	Auto merge of #102717 - beetrees:repr128-c-style-debugi...	blob \| commitdiff \| raw \| diff to current
2022-11-20	Ralf Jung	tweaks	blob \| commitdiff \| raw \| diff to current
2022-11-20	Ralf Jung	add a weak form of protection that justifies Box noalias	blob \| commitdiff \| raw \| diff to current
2022-11-20	bors	Auto merge of #103390 - compiler-errors:metadata-mod...	blob \| commitdiff \| raw \| diff to current
2022-11-19	Matthias Krüger	Rollup merge of #103117 - joshtriplett:use-is-terminal...	blob \| commitdiff \| raw \| diff to current
2022-11-19	bors	Auto merge of #97870 - eggyal:inplace_fold_spec, r...	blob \| commitdiff \| raw \| diff to current
2022-11-18	Manish Goregaokar	Rollup merge of #103456 - scottmcm:fix-unchecked-shifts...	blob \| commitdiff \| raw \| diff to current
2022-11-18	Manish Goregaokar	Rollup merge of #103378 - nagisa:fix-infinite-offset...	blob \| commitdiff \| raw \| diff to current
2022-11-18	Manish Goregaokar	Rollup merge of #102977 - lukas-code:is-sorted-hrtb...	blob \| commitdiff \| raw \| diff to current
2022-11-17	bors	Auto merge of #104219 - bryangarza:async-track-caller...	blob \| commitdiff \| raw \| diff to current
2022-11-16	Matthias Krüger	Rollup merge of #103489 - WaffleLapkin:byte_offset_from...	blob \| commitdiff \| raw \| diff to current
2022-11-16	bors	Auto merge of #102935 - ajtribick:display-float-0.5...	blob \| commitdiff \| raw \| diff to current
2022-11-15	Kagami Sascha Rosy...	Merge branch 'master' into patch-2	blob \| commitdiff \| raw \| diff to current
2022-11-14	Matthias Krüger	Rollup merge of #102470 - est31:stabilize_const_char_co...	blob \| commitdiff \| raw \| diff to current
2022-11-14	Matthias Krüger	Rollup merge of #101967 - jmillikin:linux-abstract...	blob \| commitdiff \| raw \| diff to current
2022-11-12	Guillaume Gomez	Rollup merge of #104308 - scottmcm:no-more-validalign...	blob \| commitdiff \| raw \| diff to current
2022-11-12	Dylan DPC	Rollup merge of #102049 - fee1-dead-contrib:derive_cons...	blob \| commitdiff \| raw \| diff to current
2022-11-11	Manish Goregaokar	Rollup merge of #103531 - chenyukang:yukang/fix-103474...	blob \| commitdiff \| raw \| diff to current
2022-11-11	Manish Goregaokar	Rollup merge of #103468 - chenyukang:yukang/fix-103435...	blob \| commitdiff \| raw \| diff to current
2022-11-11	Manish Goregaokar	Rollup merge of #102215 - alexcrichton:wasm-link-whole...	blob \| commitdiff \| raw \| diff to current
2022-11-11	Dylan DPC	Rollup merge of #103445 - fmease:fix-50291, r=estebank	blob \| commitdiff \| raw \| diff to current
2022-11-11	bors	Auto merge of #99918 - WaffleLapkin:fnFnfun, r=estebank	blob \| commitdiff \| raw \| diff to current
2022-11-10	Manish Goregaokar	Rollup merge of #101939 - zhaixiaojuan:loongarch64...	blob \| commitdiff \| raw \| diff to current
2022-11-10	Michael Goulet	Rollup merge of #103443 - mucinoab:recover-colon-as...	blob \| commitdiff \| raw \| diff to current
2022-11-09	Manish Goregaokar	Rollup merge of #103307 - b4den:master, r=estebank	blob \| commitdiff \| raw \| diff to current
2022-11-09	Laurențiu Nicola	:arrow_up: rust-analyzer	blob \| commitdiff \| raw \| diff to current
2022-11-09	Dylan DPC	Rollup merge of #103570 - lukas-code:stabilize-ilog...	blob \| commitdiff \| raw \| diff to current
2022-11-09	bors	Auto merge of #102565 - jyn514:refactor-build-manifest...	blob \| commitdiff \| raw \| diff to current
2022-11-09	Manish Goregaokar	Rollup merge of #103521 - chenyukang:yukang/fix-103451...	blob \| commitdiff \| raw \| diff to current
2022-11-05	bors	Auto merge of #102458 - JohnTitor:stabilize-instruction...	blob \| commitdiff \| raw \| diff to current
2022-11-05	bors	Auto merge of #103691 - michaelwoerister:consistent...	blob \| commitdiff \| raw \| diff to current
2022-11-04	bors	Auto merge of #103298 - ferrocene:pa-compile-flags...	blob \| commitdiff \| raw \| diff to current
2022-11-04	Matthias Krüger	Rollup merge of #103397 - crlf0710:port_dead_code_lint...	blob \| commitdiff \| raw \| diff to current
2022-11-04	bors	Auto merge of #101703 - nicholasbishop:bishop-add-uefi...	blob \| commitdiff \| raw \| diff to current
2022-11-04	bors	Auto merge of #103098 - Amanieu:asm-tied-fixed, r=bjorn3	blob \| commitdiff \| raw \| diff to current
2022-11-03	bors	Auto merge of #103455 - BlackHoleFox:apple-sim-abi...	blob \| commitdiff \| raw \| diff to current
2022-11-02	Matthias Krüger	Rollup merge of #103610 - wesleywiser:thinlto_cgu1...	blob \| commitdiff \| raw \| diff to current
2022-11-02	Dylan DPC	Rollup merge of #103275 - Manishearth:tinystrup, r...	blob \| commitdiff \| raw \| diff to current
2022-11-02	Manish Goregaokar	Rollup merge of #103575 - Xiretza:suggestions-style...	blob \| commitdiff \| raw \| diff to current
2022-11-02	Manish Goregaokar	Rollup merge of #103084 - inquisitivecrystal:control...	blob \| commitdiff \| raw \| diff to current
2022-11-01	bors	Auto merge of #103217 - mejrs:track, r=eholk	blob \| commitdiff \| raw \| diff to current
2022-11-01	Dylan DPC	Rollup merge of #84022 - Aaron1011:remove-derive-res...	blob \| commitdiff \| raw \| diff to current
2022-11-01	Laurențiu Nicola	:arrow_up: rust-analyzer	blob \| commitdiff \| raw \| diff to current
2022-10-31	bors	Auto merge of #102950 - oli-obk:check_miri, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-10-31	Dylan DPC	Rollup merge of #103766 - lukas-code:error-in-core...	blob \| commitdiff \| raw \| diff to current
2022-10-31	Dylan DPC	Rollup merge of #103338 - l4l:enum-unreachable-pub...	blob \| commitdiff \| raw \| diff to current
2022-10-31	Michael Howell	Rollup merge of #102689 - ayrtonm:master, r=cjgillot	blob \| commitdiff \| raw \| diff to current
2022-10-31	Michael Howell	Rollup merge of #102101 - BelovDV:new-check-lld-version...	blob \| commitdiff \| raw \| diff to current
2022-10-31	Michael Howell	Rollup merge of #101944 - notriddle:notriddle/toggle...	blob \| commitdiff \| raw \| diff to current
2022-10-31	Michael Howell	Rollup merge of #101428 - JakobDegen:build-tests, r...	blob \| commitdiff \| raw \| diff to current
2022-10-31	Michael Howell	Rollup merge of #97971 - Soveu:varargs, r=jackh726	blob \| commitdiff \| raw \| diff to current
2022-10-30	bors	Auto merge of #103479 - nikic:update-llvm-9, r=cuviper	blob \| commitdiff \| raw \| diff to current
2022-10-30	bors	Auto merge of #103299 - nikic:usub-overflow, r=wesleywiser	blob \| commitdiff \| raw \| diff to current
2022-10-30	bors	Auto merge of #103295 - ishitatsuyuki:ninja, r=cuviper	blob \| commitdiff \| raw \| diff to current
2022-10-30	Dylan DPC	Rollup merge of #103588 - weihanglo:rustdoc/url-redirec...	blob \| commitdiff \| raw \| diff to current
2022-10-30	Dylan DPC	Rollup merge of #103560 - zbyrn:issue-103358-fix, r...	blob \| commitdiff \| raw \| diff to current
2022-10-30	Dylan DPC	Rollup merge of #93582 - WaffleLapkin:rpitirpit, r...	blob \| commitdiff \| raw \| diff to current
2022-10-29	Matthias Krüger	Rollup merge of #103253 - notriddle:notriddle/test...	blob \| commitdiff \| raw \| diff to current
2022-10-29	Matthias Krüger	Rollup merge of #103124 - ldm0:nohard_tests, r=Mark...	blob \| commitdiff \| raw \| diff to current
2022-10-29	Matthias Krüger	Rollup merge of #100006 - jyn514:update-copy, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2022-10-29	bors	Auto merge of #103450 - cjgillot:elision-nodedup, r...	blob \| commitdiff \| raw \| diff to current
2022-10-29	Guillaume Gomez	Rollup merge of #103415 - compiler-errors:tiny-perf...	blob \| commitdiff \| raw \| diff to current
2022-10-29	Guillaume Gomez	Rollup merge of #102721 - nbdd0121:panic, r=Amanieu	blob \| commitdiff \| raw \| diff to current
2022-10-29	Guillaume Gomez	Rollup merge of #102634 - andrewpollack:refactor-test...	blob \| commitdiff \| raw \| diff to current
2022-10-29	Matthias Krüger	Rollup merge of #103383 - compiler-errors:tait-scope...	blob \| commitdiff \| raw \| diff to current
2022-10-29	Matthias Krüger	Rollup merge of #103342 - Rageking8:add-test-for-issue...	blob \| commitdiff \| raw \| diff to current
2022-10-29	Matthias Krüger	Rollup merge of #102961 - reitermarkus:const-cstr-from...	blob \| commitdiff \| raw \| diff to current
2022-10-29	bors	Auto merge of #102698 - michaelwoerister:unord-collecti...	blob \| commitdiff \| raw \| diff to current
2022-10-29	bors	Auto merge of #102233 - petrochenkov:effvis, r=jackh726	blob \| commitdiff \| raw \| diff to current
2022-10-28	bors	Auto merge of #102737 - RalfJung:poll_fn_pin, r=Mark...	blob \| commitdiff \| raw \| diff to current
2022-10-28	bors	Auto merge of #103071 - wesleywiser:fix_inlined_line_nu...	blob \| commitdiff \| raw \| diff to current
2022-10-28	bors	Auto merge of #102674 - CastilloDel:master, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-10-28	Matthias Krüger	Rollup merge of #103643 - notriddle:notriddle/summary...	blob \| commitdiff \| raw \| diff to current
2022-10-28	Matthias Krüger	Rollup merge of #103550 - notriddle:notriddle/no-sugges...	blob \| commitdiff \| raw \| diff to current
2022-10-28	Matthias Krüger	Rollup merge of #103523 - GuillaumeGomez:inline-doc...	blob \| commitdiff \| raw \| diff to current
2022-10-28	Matthias Krüger	Rollup merge of #103283 - nbarrios1337:unsafe-impl...	blob \| commitdiff \| raw \| diff to current
2022-10-27	Matthias Krüger	Rollup merge of #103544 - Nilstrieb:no-recovery-pls...	blob \| commitdiff \| raw \| diff to current
2022-10-27	Matthias Krüger	Rollup merge of #103524 - petrochenkov:modchild4, r...	blob \| commitdiff \| raw \| diff to current
2022-10-27	Matthias Krüger	Rollup merge of #103505 - notriddle:notriddle/rustdoc...	blob \| commitdiff \| raw \| diff to current
2022-10-27	Matthias Krüger	Rollup merge of #103408 - compiler-errors:rpitit-rustdo...	blob \| commitdiff \| raw \| diff to current
2022-10-27	Matthias Krüger	Rollup merge of #103394 - Pointerbender:unsafecell...	blob \| commitdiff \| raw \| diff to current
2022-10-27	Matthias Krüger	Rollup merge of #103255 - oli-obk:opaque_wrong_eq_relat...	blob \| commitdiff \| raw \| diff to current
2022-10-27	Matthias Krüger	Rollup merge of #103110 - RalfJung:manual-send, r=thomcc	blob \| commitdiff \| raw \| diff to current
2022-10-27	Matthias Krüger	Rollup merge of #103593 - compiler-errors:nit-remove...	blob \| commitdiff \| raw \| diff to current
2022-10-27	Matthias Krüger	Rollup merge of #103592 - notriddle:notriddle/notable...	blob \| commitdiff \| raw \| diff to current
2022-10-27	Matthias Krüger	Rollup merge of #103586 - compiler-errors:issue-103573...	blob \| commitdiff \| raw \| diff to current
2022-10-27	Matthias Krüger	Rollup merge of #103564 - RalfJung:miri-unused, r=thomcc	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom