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-09	Matthias Krüger	Rollup merge of #105443 - compiler-errors:move-more...	blob \| commitdiff \| raw
2022-12-09	Matthias Krüger	Rollup merge of #105442 - notriddle:notriddle/docblock...	blob \| commitdiff \| raw
2022-12-09	Matthias Krüger	Rollup merge of #105427 - GuillaumeGomez:dont-silently...	blob \| commitdiff \| raw
2022-12-09	Matthias Krüger	Rollup merge of #105389 - ogarokpeter:patch-1, r=Mark...	blob \| commitdiff \| raw
2022-12-09	Matthias Krüger	Rollup merge of #105387 - willcrichton:scrape-examples...	blob \| commitdiff \| raw
2022-12-09	Matthias Krüger	Rollup merge of #105245 - RalfJung:align_to, r=Amanieu	blob \| commitdiff \| raw
2022-12-09	Matthias Krüger	Rollup merge of #105216 - GuillaumeGomez:rm-unused...	blob \| commitdiff \| raw
2022-12-09	bors	Auto merge of #105456 - matthiaskrgr:rollup-yennygf...	blob \| commitdiff \| raw
2022-12-08	Matthias Krüger	Rollup merge of #105441 - nnethercote:rm-UnsafetyState...	blob \| commitdiff \| raw
2022-12-08	Matthias Krüger	Rollup merge of #105434 - nbdd0121:lib, r=thomcc	blob \| commitdiff \| raw
2022-12-08	Matthias Krüger	Rollup merge of #105433 - ComputerDruid:docker_continua...	blob \| commitdiff \| raw
2022-12-08	Matthias Krüger	Rollup merge of #105423 - oli-obk:symbols, r=jackh726	blob \| commitdiff \| raw
2022-12-08	Matthias Krüger	Rollup merge of #105408 - cuviper:help-rpitirpit, r...	blob \| commitdiff \| raw
2022-12-08	Matthias Krüger	Rollup merge of #105405 - sunfishcode:sunfishcode/expor...	blob \| commitdiff \| raw
2022-12-08	Matthias Krüger	Rollup merge of #105317 - RalfJung:retag-rework, r...	blob \| commitdiff \| raw
2022-12-08	Matthias Krüger	Rollup merge of #105255 - cjgillot:issue-105197, r...	blob \| commitdiff \| raw \| diff to current
2022-12-08	Matthias Krüger	Rollup merge of #105120 - solid-rs:patch/kmc-solid...	blob \| commitdiff \| raw \| diff to current
2022-12-08	Matthias Krüger	Rollup merge of #104922 - estebank:fur-elize, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-12-07	bors	Auto merge of #103459 - ChrisDenton:propagate-nulls...	blob \| commitdiff \| raw \| diff to current
2022-12-06	Matthias Krüger	Rollup merge of #105298 - krasimirgg:llvm-16-dec-1...	blob \| commitdiff \| raw \| diff to current
2022-12-06	Matthias Krüger	Rollup merge of #105362 - WaffleLapkin:🙅, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-12-06	Matthias Krüger	Rollup merge of #105174 - chenyukang:yukang/fix-105028...	blob \| commitdiff \| raw \| diff to current
2022-12-06	Matthias Krüger	Rollup merge of #105004 - TaKO8Ki:fix-104897, r=wesleywiser	blob \| commitdiff \| raw \| diff to current
2022-12-06	Matthias Krüger	Rollup merge of #104898 - oli-obk:group_all_the_things...	blob \| commitdiff \| raw \| diff to current
2022-12-06	bors	Auto merge of #105229 - saethlin:zst-writes-to-unions...	blob \| commitdiff \| raw \| diff to current
2022-12-06	Matthias Krüger	Rollup merge of #105254 - cjgillot:issue-105251, r...	blob \| commitdiff \| raw \| diff to current
2022-12-06	Matthias Krüger	Rollup merge of #105098 - lyming2007:issue-103869-fix...	blob \| commitdiff \| raw \| diff to current
2022-12-06	Matthias Krüger	Rollup merge of #104439 - ferrocene:pa-generate-copyrig...	blob \| commitdiff \| raw \| diff to current
2022-12-06	Ralf Jung	make retagging work even with 'unstable' places	blob \| commitdiff \| raw
2022-12-06	bors	Auto merge of #105175 - michaelwoerister:add-stable...	blob \| commitdiff \| raw \| diff to current
2022-12-06	Yuki Okushi	Rollup merge of #105256 - GuillaumeGomez:comment-method...	blob \| commitdiff \| raw \| diff to current
2022-12-06	Yuki Okushi	Rollup merge of #105246 - JakobDegen:run-mir-tests...	blob \| commitdiff \| raw \| diff to current
2022-12-06	Yuki Okushi	Rollup merge of #105207 - RalfJung:interpret-clobber...	blob \| commitdiff \| raw \| diff to current
2022-12-06	Yuki Okushi	Rollup merge of #104967 - willcrichton:fix-scrape-examp...	blob \| commitdiff \| raw \| diff to current
2022-12-06	bors	Auto merge of #105220 - oli-obk:feeding, r=cjgillot	blob \| commitdiff \| raw \| diff to current
2022-12-06	bors	Auto merge of #105119 - JakobDegen:inline-experiments...	blob \| commitdiff \| raw \| diff to current
2022-12-05	Matthias Krüger	Rollup merge of #105230 - cjgillot:issue-104312, r...	blob \| commitdiff \| raw \| diff to current
2022-12-05	Matthias Krüger	Rollup merge of #105223 - lukas-code:(ExprWithBlock...	blob \| commitdiff \| raw \| diff to current
2022-12-05	Matthias Krüger	Rollup merge of #105222 - devnexen:fbsd_update_img...	blob \| commitdiff \| raw \| diff to current
2022-12-05	Matthias Krüger	Rollup merge of #105180 - nbdd0121:async_track_caller...	blob \| commitdiff \| raw \| diff to current
2022-12-05	Matthias Krüger	Rollup merge of #104953 - jyn514:fewer-submodule-update...	blob \| commitdiff \| raw \| diff to current
2022-12-05	Matthias Krüger	Rollup merge of #104952 - jyn514:setup, r=Mark-Simulacrum	blob \| commitdiff \| raw \| diff to current
2022-12-05	Matthias Krüger	Rollup merge of #104912 - RalfJung:per, r=Mark-Simulacrum	blob \| commitdiff \| raw \| diff to current
2022-12-05	bors	Auto merge of #105176 - klensy:docker-smol, r=Mark...	blob \| commitdiff \| raw \| diff to current
2022-12-05	bors	Auto merge of #105046 - scottmcm:vecdeque-vs-vec, r...	blob \| commitdiff \| raw \| diff to current
2022-12-05	bors	Auto merge of #104824 - klensy:bump-some, r=Mark-Simulacrum	blob \| commitdiff \| raw \| diff to current
2022-12-05	bors	Auto merge of #104920 - compiler-errors:avoid-infcx...	blob \| commitdiff \| raw \| diff to current
2022-12-04	bors	Auto merge of #105094 - Swatinem:generator-not-future...	blob \| commitdiff \| raw \| diff to current
2022-12-04	bors	Auto merge of #104535 - mikebenfield:discr-fix, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2022-12-04	Matthias Krüger	Rollup merge of #105247 - cjgillot:issue-102682, r...	blob \| commitdiff \| raw \| diff to current
2022-12-04	Matthias Krüger	Rollup merge of #105236 - JohnTitor:issue-47814, r...	blob \| commitdiff \| raw \| diff to current
2022-12-04	Matthias Krüger	Rollup merge of #105224 - cjgillot:issue-104240, r...	blob \| commitdiff \| raw \| diff to current
2022-12-04	Matthias Krüger	Rollup merge of #105141 - ohno418:fix-ice-on-invalid...	blob \| commitdiff \| raw \| diff to current
2022-12-04	Matthias Krüger	Rollup merge of #101975 - chenyukang:fix-101749, r...	blob \| commitdiff \| raw \| diff to current
2022-12-04	bors	Auto merge of #103293 - est31:untwist_and_drop_order...	blob \| commitdiff \| raw \| diff to current
2022-12-04	Matthias Krüger	Rollup merge of #105237 - JohnTitor:issue-79450, r...	blob \| commitdiff \| raw \| diff to current
2022-12-04	Matthias Krüger	Rollup merge of #105142 - nbdd0121:inline_const, r...	blob \| commitdiff \| raw \| diff to current
2022-12-04	Matthias Krüger	Rollup merge of #105123 - BlackHoleFox:fixing-the-macos...	blob \| commitdiff \| raw \| diff to current
2022-12-04	Matthias Krüger	Rollup merge of #104856 - luqmana:associated-const...	blob \| commitdiff \| raw \| diff to current
2022-12-04	bors	Auto merge of #101514 - nvzqz:nvzqz/stabilize-nonzero...	blob \| commitdiff \| raw \| diff to current
2022-12-04	bors	Auto merge of #105121 - oli-obk:simpler-cheaper-dump_mi...	blob \| commitdiff \| raw \| diff to current
2022-12-04	bors	Auto merge of #104757 - camelid:consolidate-lints,...	blob \| commitdiff \| raw \| diff to current
2022-12-04	bors	Auto merge of #105217 - jyn514:submodule-fixes, r=bjorn3	blob \| commitdiff \| raw \| diff to current
2022-12-03	bors	Auto merge of #105218 - matthiaskrgr:rollup-8d3k08n...	blob \| commitdiff \| raw \| diff to current
2022-12-03	Matthias Krüger	Rollup merge of #105214 - RalfJung:miri, r=RalfJung	blob \| commitdiff \| raw \| diff to current
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 \| diff to current
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	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom