]> git.lizzy.rs Git - rust.git/history - src/tools/miri
projects / rust.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
update Miri
[rust.git] / src / tools / miri
2019-12-08 Ralf Jungupdate Miri commit | commitdiff
2019-12-08 Mazdak FarrokhzadRollup merge of #66325 - BartMassey:master, r=joshtriplett commit | commitdiff
2019-12-07 borsAuto merge of #66927 - RalfJung:engines-dont-panic... commit | commitdiff
2019-12-07 borsAuto merge of #66882 - mati865:znver1_fix, r=nikomatsakis commit | commitdiff
2019-12-06 Mazdak FarrokhzadRollup merge of #67009 - Aaron1011:fix/coerce-suggestio... commit | commitdiff
2019-12-06 Mazdak FarrokhzadRollup merge of #66606 - christianpoveda:mut-refs-in... commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #67049 - tmiasko:io-slice-advance,... commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #67033 - cuviper:ValueName2, r=rkruppe commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #67023 - jethrogb:jb/bootstrap-target... commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #67008 - ollie27:rustdoc_issue_61732... commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #66998 - Wind-River:master_up, r=alexcr... commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #66988 - osa1:issue66985, r=matthewjasper commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #66959 - GuillaumeGomez:cfg-duplicates... commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #66846 - gizmondo:master, r=michaelwoer... commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #67041 - Wind-River:master_base, r... commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #67021 - elichai:2019-12-fmt, r=QuietMi... commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #67017 - GuillaumeGomez:long-err-explan... commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #66979 - reese:E0631-long-error, r... commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #66974 - cuviper:not-isCI, r=alexcrichton commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #66900 - GuillaumeGomez:clean-up-err... commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #66764 - estebank:reword-bad-collect... commit | commitdiff
2019-12-06 Yuki OkushiRollup merge of #66649 - Wind-River:master_xyz, r=alexc... commit | commitdiff
2019-12-06 borsAuto merge of #66835 - AviKozokin:master, r=alexcrichton commit | commitdiff
2019-12-06 borsAuto merge of #66911 - eddyb:nicer-rustc_regions, r... commit | commitdiff
2019-12-05 Mazdak FarrokhzadRollup merge of #67011 - Aaron1011:fix/expected-found... commit | commitdiff
2019-12-05 Mazdak FarrokhzadRollup merge of #67010 - estebank:raw-idents, r=Centril commit | commitdiff
2019-12-05 Mazdak FarrokhzadRollup merge of #67005 - andrewbanchich:master, r=josht... commit | commitdiff
2019-12-05 Mazdak FarrokhzadRollup merge of #67002 - JayXon:patch-1, r=Dylan-DPC commit | commitdiff
2019-12-05 Mazdak FarrokhzadRollup merge of #66863 - osa1:fix_66702, r=cramertj commit | commitdiff
2019-12-05 Mazdak FarrokhzadRollup merge of #66710 - vorner:weak-into-raw-null... commit | commitdiff
2019-12-05 borsAuto merge of #66828 - GuillaumeGomez:less-minification... commit | commitdiff
2019-12-05 borsAuto merge of #66815 - mark-i-m:simplify-borrow_check... commit | commitdiff
2019-12-05 borsAuto merge of #66952 - 0dvictor:print, r=rkruppe commit | commitdiff
2019-12-05 borsAuto merge of #66520 - alexcrichton:disable-gdb-wasm... commit | commitdiff
2019-12-04 borsAuto merge of #67038 - RalfJung:miri, r=RalfJung commit | commitdiff
2019-12-04 Ralf Jungupdate miri commit | commitdiff
2019-12-04 borsAuto merge of #66866 - oli-obk:const_fn_memoization... commit | commitdiff
2019-12-04 borsAuto merge of #66408 - nnethercote:greedy-process_oblig... commit | commitdiff
2019-12-04 borsAuto merge of #66275 - oli-obk:organize-intrinsics... commit | commitdiff
2019-12-04 borsAuto merge of #65947 - eddyb:fn-abi, r=oli-obk,nagisa commit | commitdiff
2019-12-04 borsAuto merge of #66996 - ehuss:update-cargo, r=alexcrichton commit | commitdiff
2019-12-04 borsAuto merge of #66995 - flip1995:clippyup, r=Manishearth commit | commitdiff
2019-12-03 borsAuto merge of #66925 - RalfJung:miri, r=RalfJung commit | commitdiff
2019-12-03 Ralf Jungupdate miri commit | commitdiff
2019-12-03 Mazdak FarrokhzadRollup merge of #66651 - Areredify:on-unimplemented... commit | commitdiff
2019-12-03 Mazdak FarrokhzadRollup merge of #66148 - oli-obk:it_must_be_a_sign... commit | commitdiff
2019-12-03 borsAuto merge of #66256 - CAD97:patch-2, r=RalfJung commit | commitdiff
2019-12-02 Ralf JungRollup merge of #66834 - infinity0:master, r=Mark-Simul... commit | commitdiff
2019-12-02 Ralf JungRollup merge of #66827 - RalfJung:miri-missing-ret... commit | commitdiff
2019-12-02 Ralf JungRollup merge of #66654 - ecstatic-morse:check-consts... commit | commitdiff
2019-12-02 Mazdak FarrokhzadRollup merge of #66850 - eddyb:span-free-formats, r... commit | commitdiff
2019-12-02 Mazdak FarrokhzadRollup merge of #66346 - linkmauve:try-in-docstring... commit | commitdiff
2019-12-01 Mazdak FarrokhzadRollup merge of #66832 - RalfJung:const-prop-no-alloc... commit | commitdiff
2019-12-01 Mazdak FarrokhzadRollup merge of #66790 - christianpoveda:check-set... commit | commitdiff
2019-12-01 Mazdak FarrokhzadRollup merge of #66662 - RalfJung:miri-test-liballoc... commit | commitdiff
2019-12-01 Mazdak FarrokhzadRollup merge of #66503 - thomasetter:panic-error-msg... commit | commitdiff
2019-11-30 Mazdak FarrokhzadRollup merge of #66858 - 0dvictor:capi, r=rkruppe commit | commitdiff
2019-11-30 Mazdak FarrokhzadRollup merge of #66759 - CAD97:patch-3, r=KodrAus commit | commitdiff
2019-11-30 Mazdak FarrokhzadRollup merge of #66705 - pitdicker:atomic_mut_ptr,... commit | commitdiff
2019-11-30 Mazdak FarrokhzadRollup merge of #66612 - Nadrieril:or-patterns-initial... commit | commitdiff
2019-11-30 David TolnayRollup merge of #66847 - dtolnay:_fmt, r=joshtriplett commit | commitdiff
2019-11-29 Ralf JungRollup merge of #66844 - RalfJung:caller-location-leak... commit | commitdiff
2019-11-29 Ralf JungRollup merge of #66837 - ohadravid:epsilon-doc, r=dtolnay commit | commitdiff
2019-11-29 Ralf JungRollup merge of #66826 - mlodato517:mlodato517-clarify... commit | commitdiff
2019-11-29 Ralf JungRollup merge of #66808 - GuillaumeGomez:cleanup-err... commit | commitdiff
2019-11-29 Ralf JungRollup merge of #66793 - matthewjasper:record-static... commit | commitdiff
2019-11-29 Ralf JungRollup merge of #66791 - cjgillot:arena, r=Mark-Simulacrum commit | commitdiff
2019-11-29 Ralf JungRollup merge of #66766 - RalfJung:panic-comments, r... commit | commitdiff
2019-11-29 Ralf JungRollup merge of #66589 - TheSamsa:master, r=Dylan-DPC commit | commitdiff
2019-11-29 Ralf JungRollup merge of #66379 - CreepySkeleton:patch-1, r... commit | commitdiff
2019-11-29 borsAuto merge of #66321 - ninjasource:async-fn-resume... commit | commitdiff
2019-11-29 borsAuto merge of #66697 - petrochenkov:nocstore, r=eddyb commit | commitdiff
2019-11-29 borsAuto merge of #66645 - RalfJung:dereferenceable, r... commit | commitdiff
2019-11-29 borsAuto merge of #66590 - Aaron1011:fix/real-impl-trait... commit | commitdiff
2019-11-29 borsAuto merge of #66547 - leo60228:procfs-fallback, r... commit | commitdiff
2019-11-29 borsAuto merge of #66567 - estebank:suggest-copy, r=Centril commit | commitdiff
2019-11-28 borsAuto merge of #66843 - RalfJung:miri, r=RalfJung commit | commitdiff
2019-11-28 Ralf Jungupdate Miri commit | commitdiff
2019-11-28 borsAuto merge of #66642 - ecstatic-morse:promotion-in... commit | commitdiff
2019-11-28 borsAuto merge of #66603 - Nadrieril:fix-65413, r=varkor commit | commitdiff
2019-11-28 borsAuto merge of #65013 - petertodd:2019-maybeuninit-debug... commit | commitdiff
2019-11-27 Tyler MandryRollup merge of #66534 - immunant:multiple_global_decls... commit | commitdiff
2019-11-27 Tyler MandryRollup merge of #66222 - Aaron1011:fix/opaque-closure... commit | commitdiff
2019-11-27 borsAuto merge of #66677 - wesleywiser:fix_const_prop_alloc... commit | commitdiff
2019-11-27 borsAuto merge of #66675 - GuillaumeGomez:support-anchors... commit | commitdiff
2019-11-26 Tyler MandryRollup merge of #66754 - estebank:rustdoc-capitalizatio... commit | commitdiff
2019-11-26 Tyler MandryRollup merge of #66128 - emilio:new-zeroed, r=SimonSapin commit | commitdiff
2019-11-26 borsAuto merge of #66631 - michaelwoerister:additional... commit | commitdiff
2019-11-26 borsAuto merge of #66522 - tmiasko:sanitize-flags, r=alexcr... commit | commitdiff
2019-11-25 Pietro AlbiniRollup merge of #66569 - pietroalbini:gha-1, r=alexcrichton commit | commitdiff
2019-11-25 Pietro AlbiniRollup merge of #66512 - jsgf:process-argv0, r=Dylan-DPC commit | commitdiff
2019-11-25 Pietro AlbiniRollup merge of #65613 - Mark-Simulacrum:rustdoc-preser... commit | commitdiff
2019-11-25 borsAuto merge of #66682 - estebank:fn-type-err, r=davidtwco commit | commitdiff
2019-11-25 borsAuto merge of #66279 - cjgillot:hashstable, r=Zoxc commit | commitdiff
2019-11-24 borsAuto merge of #66540 - nnethercote:SmallVec-Candidate... commit | commitdiff
2019-11-24 borsAuto merge of #66592 - estebank:raw-raw-ah-ah-ah, r... commit | commitdiff
2019-11-24 borsAuto merge of #66393 - ssomers:hash_benches, r=dtolnay commit | commitdiff
2019-11-24 borsAuto merge of #66322 - lzutao:consistent-result-map_or_... commit | commitdiff
2019-11-24 Mazdak FarrokhzadRollup merge of #66594 - Aaron1011:fix/debug-print... commit | commitdiff
2019-11-24 Mazdak FarrokhzadRollup merge of #66411 - RalfJung:forget, r=sfackler commit | commitdiff
next
Empowering everyone to build reliable and efficient software.