]> git.lizzy.rs Git - rust.git/history - src/tools/miri
Auto merge of #105001 - nicholasbishop:bishop-more-uefi-test, r=jyn514
[rust.git] / src / tools / miri /
2022-11-29 borsAuto merge of #105001 - nicholasbishop:bishop-more...
2022-11-29 borsAuto merge of #104992 - ehuss:docs-triagebot-assign...
2022-11-28 borsAuto merge of #105017 - matthiaskrgr:rollup-j0x550l...
2022-11-28 Matthias KrügerRollup merge of #105006 - RalfJung:scalar-pair-alignmen...
2022-11-28 Matthias KrügerRollup merge of #104998 - JakobDegen:mailmap, r=jyn514
2022-11-28 Matthias KrügerRollup merge of #104982 - RalfJung:norun, r=oli-obk
2022-11-28 Matthias KrügerRollup merge of #104956 - mucinoab:issue-104870, r...
2022-11-28 Matthias KrügerRollup merge of #104954 - vincenzopalazzo:macros/prinf...
2022-11-28 Matthias KrügerRollup merge of #104936 - cjgillot:self-rpit-orig-too...
2022-11-28 Matthias KrügerRollup merge of #104933 - RalfJung:interpret-partial...
2022-11-28 Matthias KrügerRollup merge of #104891 - fee1-dead-contrib:escaping_bo...
2022-11-28 borsAuto merge of #102991 - Sp00ph:master, r=scottmcm
2022-11-28 Dylan DPCRollup merge of #104927 - compiler-errors:binder-shifti...
2022-11-28 Dylan DPCRollup merge of #104907 - compiler-errors:selcx-infcx...
2022-11-28 Dylan DPCRollup merge of #104890 - lcnr:small-cleanup, r=fee1...
2022-11-28 Dylan DPCRollup merge of #104795 - estebank:multiline-spans...
2022-11-28 Dylan DPCRollup merge of #104732 - WaffleLapkin:from_def_idn...
2022-11-28 Dylan DPCRollup merge of #104360 - petrochenkov:stabverb, r...
2022-11-28 borsAuto merge of #104915 - weihanglo:update-cargo, r=ehuss
2022-11-28 borsAuto merge of #104990 - matthiaskrgr:rollup-oskk8v3...
2022-11-27 Matthias KrügerRollup merge of #104989 - RalfJung:miri, r=RalfJung
2022-11-27 borsAuto merge of #104506 - joshtriplett:style-principles...
2022-11-27 borsAuto merge of #2702 - RalfJung:rustup, r=RalfJung
2022-11-27 Ralf Jungclippy
2022-11-27 Ralf Jungadvice on josh pushing
2022-11-27 Ralf JungMerge from rustc
2022-11-27 Ralf JungPreparing for merge from rustc
2022-11-27 borsAuto merge of #2694 - RalfJung:retag-deref-check, r...
2022-11-27 borsAuto merge of #2685 - Nilstrieb:cargo-miri-wasm, r...
2022-11-27 borsAuto merge of #2701 - RalfJung:smoke, r=RalfJung
2022-11-27 Ralf Jungrun_tests_minimal: actually run the smoke test on the...
2022-11-27 borsAuto merge of #2700 - RalfJung:begingroup, r=RalfJung
2022-11-27 Ralf JungCI: fix begingroup printing
2022-11-27 nilsUse `.wasm` extension when building for wasm in cargo...
2022-11-26 Ralf Jungnits
2022-11-26 Ralf Jungmake Stacked Borrows retags act like data races
2022-11-26 Ralf Jungslightly adjust and synchronize Machine passing for...
2022-11-26 Ralf Jung!Unpin retags must still be reads, to check dereferenceable
2022-11-26 borsAuto merge of #2696 - RalfJung:no-std-windows, r=RalfJung
2022-11-26 Ralf Jungsupport no_std on Windows
2022-11-26 Ralf Jungrefactor try_resolve_did and also support resolving...
2022-11-26 DrMeepsteradd namespace to resolve_path
2022-11-26 borsAuto merge of #2695 - RalfJung:ci-pretty, r=RalfJung
2022-11-26 Ralf Jungprettify our CI logs
2022-11-26 borsAuto merge of #2690 - Nilstrieb:cargo-miri-smoke-test...
2022-11-26 Ralf Jungupdate lockfile
2022-11-26 borsAuto merge of #2647 - saethlin:current-span, r=RalfJung
2022-11-26 Ralf Jungcaller_span only makes sense when there are 2 frames...
2022-11-26 Matthias KrügerRollup merge of #104121 - Lokathor:mir-opt-when-instruc...
2022-11-26 Ralf Junginterpret: remove PartialOrd from a bunch of types...
2022-11-26 borsAuto merge of #103556 - clubby789:specialize-option...
2022-11-26 borsAuto merge of #104431 - alistair23:alistair/rv64-profil...
2022-11-25 Ben KimockUse None when the stack is empty
2022-11-25 NilstriebTest a small cargo-miri smoke test even in `run_tests_m...
2022-11-25 Matthias KrügerRollup merge of #104793 - nicholasbishop:bishop-add...
2022-11-25 Matthias KrügerRollup merge of #103648 - jyn514:no-preview, r=Mark...
2022-11-25 borsAuto merge of #104650 - BlackHoleFox:stuck-with-xcode...
2022-11-25 borsAuto merge of #2691 - RalfJung:get_mut, r=RalfJung
2022-11-25 Ralf Jungreplace a borrow_mut by get_mut
2022-11-24 Matthias KrügerRollup merge of #104514 - chenyukang:yukang/fix-104513...
2022-11-24 Matthias KrügerRollup merge of #104517 - dfordivam:patch-1, r=cuviper
2022-11-24 borsAuto merge of #103808 - cjgillot:vec-cache, r=TaKO8Ki
2022-11-24 borsAuto merge of #104610 - ouz-a:revert-overflow, r=compil...
2022-11-24 borsAuto merge of #104507 - WaffleLapkin:asderefsyou, r...
2022-11-23 borsAuto merge of #104410 - WaffleLapkin:unregress, r=estebank
2022-11-23 Laurențiu Nicola:arrow_up: rust-analyzer
2022-11-23 Dylan DPCRollup merge of #104286 - ozkanonur:fix-doc-bootstrap...
2022-11-23 borsAuto merge of #103947 - camsteffen:place-clones, r...
2022-11-23 Manish GoregaokarRollup merge of #104647 - RalfJung:alloc-strict-provena...
2022-11-23 Manish GoregaokarRollup merge of #104621 - YC:master, r=davidtwco
2022-11-23 Manish GoregaokarRollup merge of #104612 - Swatinem:async-ret-y, r=estebank
2022-11-23 Manish GoregaokarRollup merge of #104359 - Nilstrieb:plus-one, r=fee1...
2022-11-23 Ben KimockUpdate src/machine.rs
2022-11-22 Yuki OkushiRollup merge of #102293 - ecnelises:aix.initial, r...
2022-11-22 Ben KimockDocument is_user_relevant
2022-11-22 borsAuto merge of #2687 - RalfJung:getrandom, r=RalfJung
2022-11-22 Ralf Jungupdate test_dependencies
2022-11-22 Dylan DPCRollup merge of #104615 - spastorino:create-async-def...
2022-11-22 Dylan DPCRollup merge of #104464 - mati865:reduce-eh-overallocat...
2022-11-22 Ralf Jungensure current getrandom works with strict provenance
2022-11-22 Manish GoregaokarRollup merge of #104638 - Nilstrieb:macro-diagnostics...
2022-11-22 Manish GoregaokarRollup merge of #104622 - nicholasbishop:bishop-uefi...
2022-11-22 Manish GoregaokarRollup merge of #103193 - krasimirgg:sysonce, r=Amanieu
2022-11-22 Manish GoregaokarRollup merge of #101655 - dns2utf8:box_docs, r=dtolnay
2022-11-22 Manish GoregaokarRollup merge of #83608 - Kimundi:index_many, r=Mark...
2022-11-21 Ben KimockIncrementally track which frame to use for diagnostics
2022-11-21 Matthias KrügerRollup merge of #104666 - GuillaumeGomez:migrate-alias...
2022-11-21 Matthias KrügerRollup merge of #104597 - compiler-errors:need_migrate_...
2022-11-21 Matthias KrügerRollup merge of #104416 - clubby789:fix-104414, r=eholk
2022-11-21 Matthias KrügerRollup merge of #103396 - RalfJung:pinning-closure...
2022-11-21 Philipp KronesMerge commit 'f4850f7292efa33759b4f7f9b7621268979e9914...
2022-11-21 Matthias KrügerRollup merge of #104628 - alex-pinkus:revert-android...
2022-11-21 Matthias KrügerRollup merge of #104605 - RalfJung:clf_consts, r=bjorn3
2022-11-21 Matthias KrügerRollup merge of #104595 - compiler-errors:poly-existent...
2022-11-21 Matthias KrügerRollup merge of #104511 - dpaoliello:privateglobalworka...
2022-11-21 Matthias KrügerRollup merge of #104499 - Enselic:no-method-in-rustdoc...
2022-11-21 Matthias KrügerRollup merge of #104420 - TethysSvensson:master, r...
2022-11-21 borsAuto merge of #103491 - cjgillot:self-rpit, r=oli-obk
2022-11-21 borsAuto merge of #2684 - RalfJung:stack-borrows-weak-prote...
2022-11-21 borsAuto merge of #102717 - beetrees:repr128-c-style-debugi...
next