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

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

[rust.git] / src / tools / miri / src / machine.rs

2022-12-04	Matthias Krüger	Rollup merge of #105141 - ohno418:fix-ice-on-invalid...	blob \| commitdiff \| raw
2022-12-04	Matthias Krüger	Rollup merge of #101975 - chenyukang:fix-101749, r...	blob \| commitdiff \| raw
2022-12-04	Matthias Krüger	Rollup merge of #105237 - JohnTitor:issue-79450, r...	blob \| commitdiff \| raw
2022-12-04	Matthias Krüger	Rollup merge of #105142 - nbdd0121:inline_const, r...	blob \| commitdiff \| raw
2022-12-04	Matthias Krüger	Rollup merge of #105123 - BlackHoleFox:fixing-the-macos...	blob \| commitdiff \| raw
2022-12-04	Matthias Krüger	Rollup merge of #104856 - luqmana:associated-const...	blob \| commitdiff \| raw
2022-12-04	bors	Auto merge of #101514 - nvzqz:nvzqz/stabilize-nonzero...	blob \| commitdiff \| raw
2022-12-04	bors	Auto merge of #105121 - oli-obk:simpler-cheaper-dump_mi...	blob \| commitdiff \| raw
2022-12-04	bors	Auto merge of #104757 - camelid:consolidate-lints,...	blob \| commitdiff \| raw
2022-12-04	bors	Auto merge of #105217 - jyn514:submodule-fixes, r=bjorn3	blob \| commitdiff \| raw
2022-12-03	bors	Auto merge of #105218 - matthiaskrgr:rollup-8d3k08n...	blob \| commitdiff \| raw
2022-12-03	Matthias Krüger	Rollup merge of #105214 - RalfJung:miri, r=RalfJung	blob \| commitdiff \| raw
2022-12-03	Matthias Krüger	Rollup merge of #105164 - compiler-errors:revert-import...	blob \| commitdiff \| raw \| diff to current
2022-12-03	Matthias Krüger	Rollup merge of #104199 - SarthakSingh31:issue-97417...	blob \| commitdiff \| raw \| diff to current
2022-12-03	bors	Auto merge of #97485 - bjorn3:new_archive_writer, r...	blob \| commitdiff \| raw \| diff to current
2022-12-02	Matthias Krüger	Rollup merge of #105162 - compiler-errors:fn-sig-arity...	blob \| commitdiff \| raw \| diff to current
2022-12-02	bors	Auto merge of #104999 - saethlin:immediate-abort-inlini...	blob \| commitdiff \| raw \| diff to current
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
2022-12-02	bors	Auto merge of #2711 - RalfJung:btrack, r=RalfJung	blob \| commitdiff \| raw
2022-12-02	Ralf Jung	rename some more types for consistency	blob \| commitdiff \| raw
2022-12-02	Ralf Jung	slight simplifications for borrow tracking	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	other renames, introduction of BorrowTrackerMethod...	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 #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	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 #2699 - RalfJung:schedule-refactor, r...	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 #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	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 #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 #104947 - cjgillot:verify-hir-nest, r...	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 #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	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	Ralf Jung	cleanup global imports a bit	blob \| commitdiff \| raw \| diff to current
2022-11-28	Ralf Jung	refactor scheduling of TLS dtors	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	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-26	Matthias Krüger	Rollup merge of #104121 - Lokathor:mir-opt-when-instruc...	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-23	Ben Kimock	Update src/machine.rs	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	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 #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
next

Empowering everyone to build reliable and efficient software.

RSS Atom