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

]> git.lizzy.rs Git - rust.git/history - src/tools/miri/src/concurrency/data_race.rs

[rust.git] / src / tools / miri / src / concurrency / data_race.rs

2022-12-02	Ralf Jung	Merge from rustc	blob \| commitdiff \| raw
2022-12-02	bors	Auto merge of #2710 - RalfJung:ptr-tracking-ice, r...	blob \| commitdiff \| raw \| diff to current
2022-12-02	bors	Auto merge of #2711 - RalfJung:btrack, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-12-02	Ralf Jung	rename some more types for consistency	blob \| commitdiff \| raw \| diff to current
2022-12-02	bors	Auto merge of #2708 - RalfJung:verbose-setup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-12-02	bors	Auto merge of #2697 - Vanille-N:borrow-tracking, r...	blob \| commitdiff \| raw \| diff to current
2022-12-02	Vanille-N	SbTag -> BorTag everywhere	blob \| commitdiff \| raw \| diff to current
2022-12-02	Matthias Krüger	Rollup merge of #105136 - RalfJung:deref-promotion...	blob \| commitdiff \| raw \| diff to current
2022-12-02	Matthias Krüger	Rollup merge of #105132 - GuillaumeGomez:migrate-summar...	blob \| commitdiff \| raw \| diff to current
2022-12-02	Matthias Krüger	Rollup merge of #104614 - Nilstrieb:type-ascribe!,...	blob \| commitdiff \| raw \| diff to current
2022-12-01	Philipp Krones	Merge commit 'd822110d3b5625b9dc80ccc442e06fc3cc851d76...	blob \| commitdiff \| raw \| diff to current
2022-12-01	bors	Auto merge of #105003 - flba-eb:only_windows, r=Mark...	blob \| commitdiff \| raw \| diff to current
2022-12-01	Matthias Krüger	Rollup merge of #105078 - TaKO8Ki:fix-105011, r=nnethercote	blob \| commitdiff \| raw \| diff to current
2022-12-01	bors	Auto merge of #104160 - Ayush1325:windows-args, r=m...	blob \| commitdiff \| raw \| diff to current
2022-11-30	Matthias Krüger	Rollup merge of #105063 - aDotInTheVoid:rdj-dont-assume...	blob \| commitdiff \| raw \| diff to current
2022-11-30	Matthias Krüger	Rollup merge of #104895 - chenyukang:yukang/fix-104884...	blob \| commitdiff \| raw \| diff to current
2022-11-30	Matthias Krüger	Rollup merge of #104865 - pratushrai0309:bootstrap...	blob \| commitdiff \| raw \| diff to current
2022-11-30	Matthias Krüger	Rollup merge of #103065 - aDotInTheVoid:rdj-arg-pattern...	blob \| commitdiff \| raw \| diff to current
2022-11-30	bors	Auto merge of #99814 - aliemjay:patch-2, r=jackh726	blob \| commitdiff \| raw \| diff to current
2022-11-30	bors	Auto merge of #104905 - compiler-errors:normalization...	blob \| commitdiff \| raw \| diff to current
2022-11-30	Matthias Krüger	Rollup merge of #104811 - haraldh:feat/wasm32_wasi_shut...	blob \| commitdiff \| raw \| diff to current
2022-11-30	Matthias Krüger	Rollup merge of #104697 - dingxiangfei2009:fix-euv...	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #105023 - tmiasko:asm-sym-static-reacha...	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #105002 - zertosh:acp-140, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #104627 - calebzulawski:print-target...	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #104523 - flba-eb:fix_nto_target_name...	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #104436 - ismailmaj:add-slice-to-stack...	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #103876 - oli-obk:tait_implications...	blob \| commitdiff \| raw \| diff to current
2022-11-29	bors	Auto merge of #94487 - oli-obk:stable_hash_ty, r=fee1...	blob \| commitdiff \| raw \| diff to current
2022-11-29	bors	Auto merge of #105012 - WaffleLapkin:into, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-11-29	bors	Auto merge of #104947 - cjgillot:verify-hir-nest, r...	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #105027 - aDotInTheVoid:rdj-foreign...	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #105024 - notriddle:notriddle/fnname...	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #105020 - notriddle:notriddle/rustdoc...	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #105016 - GuillaumeGomez:load-sentence...	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #105010 - Neutron3529:patch-2, r=jyn514	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #104978 - Veykril:patch-2, r=jyn514	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #104959 - compiler-errors:revert-104269...	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #104951 - Swatinem:async-kind, r=compil...	blob \| commitdiff \| raw \| diff to current
2022-11-29	Matthias Krüger	Rollup merge of #104465 - djkoloski:improve_fuchsia_tes...	blob \| commitdiff \| raw \| diff to current
2022-11-29	bors	Auto merge of #105001 - nicholasbishop:bishop-more...	blob \| commitdiff \| raw \| diff to current
2022-11-29	bors	Auto merge of #104992 - ehuss:docs-triagebot-assign...	blob \| commitdiff \| raw \| diff to current
2022-11-28	bors	Auto merge of #105017 - matthiaskrgr:rollup-j0x550l...	blob \| commitdiff \| raw \| diff to current
2022-11-28	Matthias Krüger	Rollup merge of #105006 - RalfJung:scalar-pair-alignmen...	blob \| commitdiff \| raw \| diff to current
2022-11-28	Matthias Krüger	Rollup merge of #104998 - JakobDegen:mailmap, r=jyn514	blob \| commitdiff \| raw \| diff to current
2022-11-28	Matthias Krüger	Rollup merge of #104982 - RalfJung:norun, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-11-28	Matthias Krüger	Rollup merge of #104956 - mucinoab:issue-104870, r...	blob \| commitdiff \| raw \| diff to current
2022-11-28	Matthias Krüger	Rollup merge of #104954 - vincenzopalazzo:macros/prinf...	blob \| commitdiff \| raw \| diff to current
2022-11-28	Matthias Krüger	Rollup merge of #104936 - cjgillot:self-rpit-orig-too...	blob \| commitdiff \| raw \| diff to current
2022-11-28	Matthias Krüger	Rollup merge of #104933 - RalfJung:interpret-partial...	blob \| commitdiff \| raw \| diff to current
2022-11-28	Matthias Krüger	Rollup merge of #104891 - fee1-dead-contrib:escaping_bo...	blob \| commitdiff \| raw \| diff to current
2022-11-28	bors	Auto merge of #102991 - Sp00ph:master, r=scottmcm	blob \| commitdiff \| raw \| diff to current
2022-11-28	Dylan DPC	Rollup merge of #104927 - compiler-errors:binder-shifti...	blob \| commitdiff \| raw \| diff to current
2022-11-28	Dylan DPC	Rollup merge of #104907 - compiler-errors:selcx-infcx...	blob \| commitdiff \| raw \| diff to current
2022-11-28	Dylan DPC	Rollup merge of #104890 - lcnr:small-cleanup, r=fee1...	blob \| commitdiff \| raw \| diff to current
2022-11-28	Dylan DPC	Rollup merge of #104795 - estebank:multiline-spans...	blob \| commitdiff \| raw \| diff to current
2022-11-28	Dylan DPC	Rollup merge of #104732 - WaffleLapkin:from_def_idn...	blob \| commitdiff \| raw \| diff to current
2022-11-28	Dylan DPC	Rollup merge of #104360 - petrochenkov:stabverb, r...	blob \| commitdiff \| raw \| diff to current
2022-11-28	bors	Auto merge of #2698 - RalfJung:miri-in-rustc, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-11-28	bors	Auto merge of #104915 - weihanglo:update-cargo, r=ehuss	blob \| commitdiff \| raw \| diff to current
2022-11-28	bors	Auto merge of #104990 - matthiaskrgr:rollup-oskk8v3...	blob \| commitdiff \| raw \| diff to current
2022-11-27	Matthias Krüger	Rollup merge of #104989 - RalfJung:miri, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-11-27	bors	Auto merge of #104506 - joshtriplett:style-principles...	blob \| commitdiff \| raw \| diff to current
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	slightly adjust and synchronize Machine passing for...	blob \| commitdiff \| raw \| diff to current
2022-11-26	Matthias Krüger	Rollup merge of #104121 - Lokathor:mir-opt-when-instruc...	blob \| commitdiff \| raw \| diff to current
2022-11-26	Ralf Jung	interpret: remove PartialOrd from a bunch of types...	blob \| commitdiff \| raw \| diff to current
2022-11-26	bors	Auto merge of #103556 - clubby789:specialize-option...	blob \| commitdiff \| raw \| diff to current
2022-11-26	bors	Auto merge of #104431 - alistair23:alistair/rv64-profil...	blob \| commitdiff \| raw \| diff to current
2022-11-24	bors	Auto merge of #103808 - cjgillot:vec-cache, r=TaKO8Ki	blob \| commitdiff \| raw \| diff to current
2022-11-24	bors	Auto merge of #104507 - WaffleLapkin:asderefsyou, r...	blob \| commitdiff \| raw \| diff to current
2022-11-23	bors	Auto merge of #104410 - WaffleLapkin:unregress, r=estebank	blob \| commitdiff \| raw \| diff to current
2022-11-23	Laurențiu Nicola	:arrow_up: rust-analyzer	blob \| commitdiff \| raw \| diff to current
2022-11-23	Dylan DPC	Rollup merge of #104286 - ozkanonur:fix-doc-bootstrap...	blob \| commitdiff \| raw \| diff to current
2022-11-22	Dylan DPC	Rollup merge of #104464 - mati865:reduce-eh-overallocat...	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	Matthias Krüger	Rollup merge of #104416 - clubby789:fix-104414, r=eholk	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	Matthias Krüger	Rollup merge of #104511 - dpaoliello:privateglobalworka...	blob \| commitdiff \| raw \| diff to current
2022-11-21	Matthias Krüger	Rollup merge of #104499 - Enselic:no-method-in-rustdoc...	blob \| commitdiff \| raw \| diff to current
2022-11-21	Matthias Krüger	Rollup merge of #104420 - TethysSvensson:master, r...	blob \| commitdiff \| raw \| diff to current
2022-11-21	bors	Auto merge of #103491 - cjgillot:self-rpit, r=oli-obk	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	Matthias Krüger	Rollup merge of #104487 - klensy:ntapi, r=Mark-Simulacrum	blob \| commitdiff \| raw \| diff to current
2022-11-20	Matthias Krüger	Rollup merge of #104461 - mati865:gnullvm-aarch64-fixup...	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-20	Yuki Okushi	Rollup merge of #104467 - fuzzypixelz:fix/attempt-to...	blob \| commitdiff \| raw \| diff to current
2022-11-20	Yuki Okushi	Rollup merge of #104435 - scottmcm:iter-repeat-n, r...	blob \| commitdiff \| raw \| diff to current
2022-11-20	Yuki Okushi	Rollup merge of #104112 - yancyribbens:add-copy-to...	blob \| commitdiff \| raw \| diff to current
2022-11-20	Yuki Okushi	Rollup merge of #103901 - H4x5:fmt-arguments-as-str...	blob \| commitdiff \| raw \| diff to current
2022-11-19	bors	Auto merge of #104470 - ehuss:cdb-dupe-last-command...	blob \| commitdiff \| raw \| diff to current
2022-11-19	Matthias Krüger	Rollup merge of #104497 - lyming2007:issue-104379-fix...	blob \| commitdiff \| raw \| diff to current
2022-11-19	Matthias Krüger	Rollup merge of #104076 - ozkanonur:fix-ci-rustc-sysroo...	blob \| commitdiff \| raw \| diff to current
2022-11-19	Matthias Krüger	Rollup merge of #103989 - arlosi:arm32-panic, r=Amanieu	blob \| commitdiff \| raw \| diff to current
2022-11-19	Matthias Krüger	Rollup merge of #103969 - ferrocene:pa-download-rustc...	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	Dylan DPC	Rollup merge of #104528 - WaffleLapkin:lazy_lock_docfix...	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom