2022-05-25 |
bors | Auto merge of #2157 - RalfJung:tests, r=oli-obk |
blob | commitdiff | raw |
2022-05-25 |
bors | Auto merge of #2151 - RalfJung:numbers, r=oli-obk |
blob | commitdiff | raw |
2022-05-25 |
Ralf Jung | enable number validity checking and ptr::invalid checki... |
blob | commitdiff | raw |
2022-05-25 |
bors | Auto merge of #2032 - rust-lang:gesundheit, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-05-25 |
Oli Scherer | Add a custom ui test runner and move all tests to it |
blob | commitdiff | raw | diff to current |
2022-05-24 |
bors | Auto merge of #2138 - JakobDegen:call-fallout, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-24 |
Jakob Degen | Adjust Miri to also require return places everywhere |
blob | commitdiff | raw | diff to current |
2022-05-23 |
bors | Auto merge of #2149 - RalfJung:tests, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-23 |
bors | Auto merge of #2147 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-23 |
bors | Auto merge of #2148 - RalfJung:compare-exchange-weak... |
blob | commitdiff | raw | diff to current |
2022-05-23 |
bors | Auto merge of #2146 - RalfJung:int2ptr, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-23 |
Ralf Jung | clean up int2ptr code a bit |
blob | commitdiff | raw | diff to current |
2022-05-23 |
bors | Auto merge of #2059 - carbotaniuman:master, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-23 |
carbotaniuman | Initial work on permissive provenance |
blob | commitdiff | raw | diff to current |
2022-05-23 |
bors | Auto merge of #2105 - thomcc:flip-failure-rate, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-23 |
bors | Auto merge of #2139 - saethlin:lazy-current-span, r... |
blob | commitdiff | raw | diff to current |
2022-05-22 |
Ben Kimock | Factor current-span logic into a lazy caching handle |
blob | commitdiff | raw | diff to current |
2022-05-22 |
bors | Auto merge of #2141 - saethlin:early-diagnostics-ice... |
blob | commitdiff | raw | diff to current |
2022-05-22 |
bors | Auto merge of #2142 - saethlin:cleanup-data-race-ice... |
blob | commitdiff | raw | diff to current |
2022-05-22 |
bors | Auto merge of #2140 - V0ldek:page_size, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-21 |
Mateusz Gienieczko | Add `i16` and `u16` primitive layout. |
blob | commitdiff | raw | diff to current |
2022-05-20 |
bors | Auto merge of #2135 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-20 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2022-05-19 |
bors | Auto merge of #2128 - saethlin:fix-creation-range,... |
blob | commitdiff | raw | diff to current |
2022-05-15 |
bors | Auto merge of #2116 - carbotaniuman:minimal-miri-change... |
blob | commitdiff | raw | diff to current |
2022-05-14 |
bors | Auto merge of #2030 - saethlin:track-alloc-history... |
blob | commitdiff | raw | diff to current |
2022-05-14 |
carbotaniuman | Bump rustc for permissive provenance |
blob | commitdiff | raw | diff to current |
2022-05-13 |
Ben Kimock | More review feedback |
blob | commitdiff | raw | diff to current |
2022-05-13 |
bors | Auto merge of #2114 - cbeuw:shim-rmw, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-12 |
bors | Auto merge of #2117 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-12 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2022-05-12 |
Ben Kimock | Cleanup/Refactoring from review |
blob | commitdiff | raw | diff to current |
2022-05-10 |
bors | Auto merge of #2111 - RalfJung:python, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-10 |
Ralf Jung | rustfmt |
blob | commitdiff | raw | diff to current |
2022-05-10 |
bors | Auto merge of #2084 - rust-lang:silence, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-09 |
bors | Auto merge of #2109 - RalfJung:fmt, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-09 |
Ralf Jung | rustfmt |
blob | commitdiff | raw | diff to current |
2022-05-09 |
bors | Auto merge of #2108 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-09 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2022-04-30 |
Ben Kimock | Move SB diagnostics to a module |
blob | commitdiff | raw | diff to current |
2022-04-30 |
Ben Kimock | Set the current span (somewhat) lazily |
blob | commitdiff | raw | diff to current |
2022-04-30 |
Ben Kimock | Print spans where tags are created and invalidated |
blob | commitdiff | raw | diff to current |
2022-04-30 |
bors | Auto merge of #2090 - dtolnay-contrib:addcarry, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-04-30 |
bors | Auto merge of #2091 - dtolnay-contrib:clippy, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-04-29 |
David Tolnay | Resolve clippy::needless_borrow |
blob | commitdiff | raw | diff to current |
2022-04-26 |
Oli Scherer | Rename flag, datastructure and messaging around muting... |
blob | commitdiff | raw | diff to current |
2022-04-25 |
Oli Scherer | Implement the output dropping for windows, too |
blob | commitdiff | raw | diff to current |
2022-04-25 |
Oli Scherer | Add a command line flag to avoid printing to stdout... |
blob | commitdiff | raw | diff to current |
2022-04-21 |
bors | Auto merge of #2075 - y86-dev:master, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-21 |
y86-dev | Added support for multiple tracked pointers, allocs... |
blob | commitdiff | raw | diff to current |
2022-04-20 |
bors | Auto merge of #2071 - RalfJung:provenance, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-20 |
Ralf Jung | avoid into_pointer_or_addr and into_parts in visit_free... |
blob | commitdiff | raw | diff to current |
2022-04-20 |
Ralf Jung | adjust for provenance cleanup |
blob | commitdiff | raw | diff to current |
2022-04-18 |
bors | Auto merge of #2070 - RalfJung:size-assert, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-18 |
Ralf Jung | add size assertions for some core types |
blob | commitdiff | raw | diff to current |
2022-04-08 |
bors | Auto merge of #2055 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-07 |
Ralf Jung | add machine hook tcx parameters |
blob | commitdiff | raw | diff to current |
2022-04-05 |
bors | Auto merge of #2047 - RalfJung:no-extras, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-05 |
Ralf Jung | adjust for MemoryExtra being merged into Machine |
blob | commitdiff | raw | diff to current |
2022-04-04 |
bors | Auto merge of #2046 - RalfJung:very-strict, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-04 |
bors | Auto merge of #2048 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-04 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2022-04-01 |
bors | Auto merge of #2045 - RalfJung:strict-provenance, r... |
blob | commitdiff | raw | diff to current |
2022-04-01 |
Ralf Jung | add -Zmiri-strict-provenance |
blob | commitdiff | raw | diff to current |
2022-03-27 |
bors | Auto merge of #2040 - RalfJung:pnvi, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-03-26 |
Ralf Jung | fix types in env shim to avoid ptr-int transmutes |
blob | commitdiff | raw | diff to current |
2022-03-20 |
bors | Auto merge of #1975 - DrMeepster:backtrace_fix, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-03-18 |
bors | Auto merge of #2024 - saethlin:better-local-check,... |
blob | commitdiff | raw | diff to current |
2022-03-18 |
Ben Kimock | Consider the cargo workspace when checking if a frame... |
blob | commitdiff | raw | diff to current |
2022-03-08 |
bors | Auto merge of #2006 - RalfJung:readme-ci, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-03-07 |
bors | Auto merge of #1981 - tavianator:readdir, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-03-07 |
Tavian Barnes | Rename MiriMemoryKind::Env to Runtime |
blob | commitdiff | raw | diff to current |
2022-03-06 |
bors | Auto merge of #2001 - RalfJung:simd, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-03-05 |
Ralf Jung | avoid repeated string matching, and add more simd_reduc... |
blob | commitdiff | raw | diff to current |
2022-03-05 |
bors | Auto merge of #1970 - asquared31415:open_unix_varargs... |
blob | commitdiff | raw | diff to current |
2022-02-22 |
bors | Auto merge of #1977 - saethlin:short-backtraces, r... |
blob | commitdiff | raw | diff to current |
2022-02-22 |
Ben Kimock | Prune backtraces similar to RUST_BACKTRACE=1 logic |
blob | commitdiff | raw | diff to current |
2022-01-09 |
bors | Auto merge of #1952 - RalfJung:self-referential, r... |
blob | commitdiff | raw | diff to current |
2022-01-03 |
bors | Auto merge of #1954 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-01-03 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2021-12-24 |
bors | Auto merge of #1928 - RalfJung:fn-abi, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-12-24 |
Ralf Jung | adjust for FnAbi changes |
blob | commitdiff | raw | diff to current |
2021-11-27 |
bors | Auto merge of #1926 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-11-27 |
Ralf Jung | rustup; stub support for some extern statics used for... |
blob | commitdiff | raw | diff to current |
2021-11-17 |
bors | Auto merge of #1911 - RalfJung:rename-track-tag, r... |
blob | commitdiff | raw | diff to current |
2021-11-13 |
Ralf Jung | rename track-raw-pointers flag to tag-raw-pointers |
blob | commitdiff | raw | diff to current |
2021-11-10 |
bors | Auto merge of #1904 - camelid:uninit-num, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-11-10 |
Noah Lev | Update Miri for detecting uninitialized numbers |
blob | commitdiff | raw | diff to current |
2021-09-09 |
bors | Auto merge of #1888 - hyd-dev:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-09-09 |
hyd-dev | `rustc_mir` -> `rustc_const_eval` |
blob | commitdiff | raw | diff to current |
2021-09-08 |
bors | Auto merge of #1884 - DrMeepster:start, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-09-06 |
bors | Auto merge of #1886 - camelid:stage2, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-09-06 |
bors | Auto merge of #1887 - hyd-dev:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-09-06 |
hyd-dev | `rustc_target::abi::LayoutOf` -> `rustc_middle::ty... |
blob | commitdiff | raw | diff to current |
2021-08-02 |
bors | Auto merge of #1854 - RalfJung:partial-ptr-overwrite... |
blob | commitdiff | raw | diff to current |
2021-08-02 |
Ralf Jung | docify some comments |
blob | commitdiff | raw | diff to current |
2021-08-02 |
Ralf Jung | adjust for ERR_ON_PARTIAL_PTR_OVERWRITE |
blob | commitdiff | raw | diff to current |
2021-07-17 |
bors | Auto merge of #1851 - RalfJung:provenance-overhaul... |
blob | commitdiff | raw | diff to current |
2021-07-16 |
Ralf Jung | adjust Miri to Pointer type overhaul |
blob | commitdiff | raw | diff to current |
2021-07-04 |
bors | Auto merge of #1845 - Smittyvb:fix-after-mir-alloc... |
blob | commitdiff | raw | diff to current |
next |