]> 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
2018-12-03 Ralf Jungupdate miri commit | commitdiff
2018-12-01 borsAuto merge of #56165 - RalfJung:drop-glue-type, r=eddyb... commit | commitdiff
2018-11-30 kennytmRollup merge of #56214 - scalexm:unification, r=nikomat... commit | commitdiff
2018-11-30 kennytmRollup merge of #55011 - vi:panic_immediate_abort,... commit | commitdiff
2018-11-30 kennytmRollup merge of #56268 - nnethercote:fold_opt_expr... commit | commitdiff
2018-11-30 kennytmRollup merge of #56131 - ljedrz:assorted, r=RalfJung commit | commitdiff
2018-11-30 kennytmRollup merge of #56014 - euclio:issue-21335, r=nagisa commit | commitdiff
2018-11-29 Guillaume GomezRollup merge of #56149 - ariasuni:improve-amctime-doc... commit | commitdiff
2018-11-29 Guillaume GomezRollup merge of #56148 - mark-i-m:rustc-guide-submodule... commit | commitdiff
2018-11-29 Guillaume GomezRollup merge of #56127 - rust-lang:oli-obk-patch-1... commit | commitdiff
2018-11-29 Guillaume GomezRollup merge of #56124 - antoine-de:fix_read_to_end_doc... commit | commitdiff
2018-11-29 Guillaume GomezRollup merge of #56114 - varkor:nonexhaustive-backticks... commit | commitdiff
2018-11-29 Guillaume GomezRollup merge of #56080 - mark-i-m:patch-2, r=steveklabnik commit | commitdiff
2018-11-29 Guillaume GomezRollup merge of #56023 - vorner:doc/atomic-ordering... commit | commitdiff
2018-11-29 Guillaume GomezRollup merge of #55391 - matthiaskrgr:bootstrap_cleanup... commit | commitdiff
2018-11-27 borsAuto merge of #55402 - estebank:macro-eof-2, r=nikomatsakis commit | commitdiff
2018-11-26 borsAuto merge of #54668 - RalfJung:use-maybe-uninit, r... commit | commitdiff
2018-11-26 borsAuto merge of #56070 - oli-obk:const_let, r=eddyb commit | commitdiff
2018-11-26 borsAuto merge of #55705 - ethanboxx:master, r=SimonSapin commit | commitdiff
2018-11-25 borsAuto merge of #55527 - sgeisler:time-checked-add, r... commit | commitdiff
2018-11-25 Pietro AlbiniRollup merge of #56204 - estebank:suggest-variant,... commit | commitdiff
2018-11-25 Pietro AlbiniRollup merge of #56176 - GuillaumeGomez:panic-setup... commit | commitdiff
2018-11-25 Pietro AlbiniRollup merge of #56170 - wesleywiser:fix_self_profiler_... commit | commitdiff
2018-11-25 Pietro AlbiniRollup merge of #56151 - alexcrichton:move-out-flaky... commit | commitdiff
2018-11-25 Pietro AlbiniRollup merge of #56144 - tromey:Bug-55771-btreemap... commit | commitdiff
2018-11-25 Pietro AlbiniRollup merge of #56101 - frewsxcv:frewsxcv-dyn, r=steve... commit | commitdiff
2018-11-25 Pietro AlbiniRollup merge of #56100 - RalfJung:visiting-generators... commit | commitdiff
2018-11-25 Pietro AlbiniRollup merge of #56075 - alexcrichton:wasm-producer... commit | commitdiff
2018-11-25 Pietro AlbiniRollup merge of #56072 - da-x:stabilize-literal-matcher... commit | commitdiff
2018-11-25 Pietro AlbiniRollup merge of #56045 - qnighy:additional-sizedness... commit | commitdiff
2018-11-25 Pietro AlbiniRollup merge of #56024 - oli-obk:const_fn_collect_inner... commit | commitdiff
2018-11-25 borsAuto merge of #55921 - scalexm:placeholders, r=nikomatsakis commit | commitdiff
2018-11-25 borsAuto merge of #55959 - matthewjasper:remove-end-region... commit | commitdiff
2018-11-25 borsAuto merge of #55915 - oli-obk:miri_engine_refactoring... commit | commitdiff
2018-11-24 Oliver SchererRebase fallout commit | commitdiff
2018-11-24 Oliver Schererupdate miri submodule commit | commitdiff
2018-11-24 Oliver SchererUpdate miri submodule commit | commitdiff
2018-11-22 borsAuto merge of #53918 - Havvy:doc-sort-by, r=GuillaumeGomez commit | commitdiff
2018-11-15 Pietro AlbiniRollup merge of #55182 - jD91mZM2:rebased, r=alexcrichton commit | commitdiff
2018-11-15 borsAuto merge of #54906 - qnighy:fix-issue-50452, r=nikoma... commit | commitdiff
2018-11-13 borsAuto merge of #55052 - newpavlov:patch-2, r=alexcrichton commit | commitdiff
2018-11-07 kennytmRollup merge of #55734 - teresy:shorthand-fields, r... commit | commitdiff
2018-11-06 borsAuto merge of #53996 - sekineh:thumb-run, r=japaric commit | commitdiff
2018-11-06 kennytmRollup merge of #55621 - GuillaumeGomez:create-dir... commit | commitdiff
2018-11-05 borsAuto merge of #54922 - murarth:rc-ub-fix, r=alexcrichton commit | commitdiff
2018-11-03 Guillaume GomezRollup merge of #54162 - GuillaumeGomez:hide-default... commit | commitdiff
2018-11-02 borsAuto merge of #55087 - levex:e0669-improve-span, r... commit | commitdiff
2018-11-02 borsAuto merge of #54543 - GuillaumeGomez:top-level-index... commit | commitdiff
2018-11-02 borsAuto merge of #54718 - froydnj:aarch64-ci, r=alexcrichton commit | commitdiff
2018-11-02 borsAuto merge of #54043 - fintelia:raw_entry, r=alexcrichton commit | commitdiff
2018-11-01 Pietro AlbiniRollup merge of #55280 - vlad20012:add-libproc_macro... commit | commitdiff
2018-10-28 borsAuto merge of #55043 - oliver-giersch:unchecked_thread_... commit | commitdiff
2018-10-28 borsAuto merge of #55192 - cramertj:nested-mod, r=petrochenkov commit | commitdiff
2018-10-28 kennytmRollup merge of #55244 - wesleywiser:issue-50411, r... commit | commitdiff
2018-10-28 kennytmRollup merge of #55148 - SimonSapin:path-fromstr, r... commit | commitdiff
2018-10-27 borsAuto merge of #55150 - pnkfelix:issues-47215-54797... commit | commitdiff
2018-10-27 borsAuto merge of #55053 - Emerentius:test_all_again, r... commit | commitdiff
2018-10-26 borsAuto merge of #54929 - csmoe:cfg_lint, r=petrochenkov commit | commitdiff
2018-10-26 kennytmRollup merge of #55271 - sinkuu:traversal_iter, r=matth... commit | commitdiff
2018-10-26 borsAuto merge of #54626 - alexcrichton:dwarf-generics... commit | commitdiff
2018-10-26 kennytmRollup merge of #55258 - Aaron1011:fix/rustdoc-blanket... commit | commitdiff
2018-10-26 kennytmRollup merge of #55167 - nnethercote:is_missing_ctors_e... commit | commitdiff
2018-10-26 kennytmRollup merge of #54921 - GuillaumeGomez:line-numbers... commit | commitdiff
2018-10-26 kennytmRollup merge of #54824 - Munksgaard:fix-49713, r=QuietM... commit | commitdiff
2018-10-26 kennytmRollup merge of #54816 - oli-obk:double_promotion,... commit | commitdiff
2018-10-25 borsAuto merge of #54490 - wesleywiser:rewrite_it_in_mir... commit | commitdiff
2018-10-25 Pietro AlbiniRollup merge of #55253 - zackmdavis:some_suggestion... commit | commitdiff
2018-10-25 Pietro AlbiniRollup merge of #55247 - peterjoel:peterjoel-prim-char... commit | commitdiff
2018-10-25 Pietro AlbiniRollup merge of #55138 - zackmdavis:the_paren_trap... commit | commitdiff
2018-10-25 Pietro AlbiniRollup merge of #54977 - estebank:macro-arg-parse,... commit | commitdiff
2018-10-25 Pietro AlbiniRollup merge of #54965 - chathaway-codes:update-tcp... commit | commitdiff
2018-10-25 Pietro AlbiniRollup merge of #53931 - iirelu:keyword-docs, r=stevekl... commit | commitdiff
2018-10-25 Pietro AlbiniRollup merge of #53507 - phungleson:fix-impl-from-for... commit | commitdiff
2018-10-23 borsAuto merge of #55113 - mockersf:master, r=estebank commit | commitdiff
2018-10-23 borsAuto merge of #54778 - scottmcm:stabilize-ihle, r=pnkfelix commit | commitdiff
2018-10-23 borsAuto merge of #55231 - zackmdavis:determinate, r=oli-obk commit | commitdiff
2018-10-22 borsAuto merge of #55224 - kryptan:master, r=matthewjasper commit | commitdiff
2018-10-22 borsAuto merge of #55126 - GuillaumeGomez:improve-search... commit | commitdiff
2018-10-21 borsAuto merge of #55236 - petrochenkov:pfail, r=davidtwco commit | commitdiff
2018-10-21 borsAuto merge of #52984 - fabric-and-ink:remove-canonical... commit | commitdiff
2018-10-21 borsAuto merge of #55069 - matthewjasper:explain-free-regio... commit | commitdiff
2018-10-21 borsAuto merge of #55125 - RalfJung:stacked-borrows, r... commit | commitdiff
2018-10-20 Ralf Jungupdate miri commit | commitdiff
2018-10-20 Manish GoregaokarRollup merge of #55073 - alexcrichton:demote-simd,... commit | commitdiff
2018-10-20 borsAuto merge of #55007 - davidtwco:issue-39175, r=petroch... commit | commitdiff
2018-10-19 borsAuto merge of #55162 - nikomatsakis:issue-54902-undersc... commit | commitdiff
2018-10-19 kennytmRollup merge of #55071 - oli-obk:const_cast_🍨, r=RalfJung commit | commitdiff
2018-10-19 kennytmRollup merge of #54300 - Aaronepower:master, r=Aaronepower commit | commitdiff
2018-10-18 borsAuto merge of #54979 - estebank:path-unsized, r=nikomat... commit | commitdiff
2018-10-18 borsAuto merge of #54580 - sdroege:rchunks, r=SimonSapin commit | commitdiff
2018-10-18 borsAuto merge of #54349 - GuillaumeGomez:no-example-lint... commit | commitdiff
2018-10-18 kennytmRollup merge of #55090 - pnkfelix:issue-54597-regressio... commit | commitdiff
2018-10-18 kennytmRollup merge of #55080 - thanatos:fix-localstorage... commit | commitdiff
2018-10-18 kennytmRollup merge of #55077 - ollie27:rustdoc_dyn_trait... commit | commitdiff
2018-10-18 kennytmRollup merge of #55050 - tshepang:repetition, r=stevekl... commit | commitdiff
2018-10-18 kennytmRollup merge of #55031 - nikic:verify_llvm_ir, r=Mark... commit | commitdiff
2018-10-18 kennytmRollup merge of #54964 - tromey:run-both-gdb-and-lldb... commit | commitdiff
2018-10-18 kennytmRollup merge of #54933 - ljedrz:cleanup_codegen_llvm... commit | commitdiff
2018-10-18 kennytmRollup merge of #54646 - vn971:fix_std_thread_sleep... commit | commitdiff
2018-10-17 borsAuto merge of #54946 - estebank:iterator, r=varkor commit | commitdiff
next
Empowering everyone to build reliable and efficient software.