2022-07-01 |
Ben Kimock | Cache lookups into the borrow stack |
blob | commitdiff | raw |
2022-07-01 |
bors | Auto merge of #2298 - InfRandomness:shim-error, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-01 |
bors | Auto merge of #2297 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-01 |
Ralf Jung | make clippy happy |
blob | commitdiff | raw | diff to current |
2022-07-01 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2022-06-29 |
bors | Auto merge of #2287 - RalfJung:field-retagging, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-29 |
Ralf Jung | add option for recursive field retagging |
blob | commitdiff | raw | diff to current |
2022-06-28 |
bors | Auto merge of #2279 - RalfJung:adjacent-allocs, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-28 |
bors | Auto merge of #2278 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-28 |
Ralf Jung | make use of get_alloc_info |
blob | commitdiff | raw | diff to current |
2022-06-28 |
bors | Auto merge of #2275 - RalfJung:permissive-provenance... |
blob | commitdiff | raw | diff to current |
2022-06-27 |
Ralf Jung | fmt |
blob | commitdiff | raw | diff to current |
2022-06-27 |
Ralf Jung | remove support for untagged pointers |
blob | commitdiff | raw | diff to current |
2022-06-27 |
Ralf Jung | make permissive provenance and raw-ptr tagging the... |
blob | commitdiff | raw | diff to current |
2022-06-25 |
bors | Auto merge of #2264 - RalfJung:not-a-fixme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-25 |
bors | Auto merge of #2196 - carbotaniuman:permissive-stacked... |
blob | commitdiff | raw | diff to current |
2022-06-25 |
Ralf Jung | tweaks and feedback |
blob | commitdiff | raw | diff to current |
2022-06-25 |
Ralf Jung | implement 'delimited' expose tracking so we still detec... |
blob | commitdiff | raw | diff to current |
2022-06-24 |
Ralf Jung | make the tests pass |
blob | commitdiff | raw | diff to current |
2022-06-24 |
Ralf Jung | reorganize exposure code a bit |
blob | commitdiff | raw | diff to current |
2022-06-24 |
carbotaniuman | Try fix stuff |
blob | commitdiff | raw | diff to current |
2022-06-24 |
carbotaniuman | Maybe this wil work |
blob | commitdiff | raw | diff to current |
2022-06-24 |
carbotaniuman | Handle wildcard pointers in SB |
blob | commitdiff | raw | diff to current |
2022-06-23 |
bors | Auto merge of #2261 - RalfJung:fmt, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-06-23 |
bors | Auto merge of #2250 - rust-lang:gesundheit, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-06-22 |
bors | Auto merge of #2248 - RalfJung:arc-drop-fix, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-21 |
Ralf Jung | do not protect SRW items |
blob | commitdiff | raw | diff to current |
2022-06-18 |
bors | Auto merge of #2228 - cbeuw:futex-fix, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-13 |
bors | Auto merge of #2179 - RalfJung:rustc, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-06-13 |
bors | Auto merge of #2203 - RalfJung:deprecate, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-06-13 |
bors | Auto merge of #2229 - DrMeepster:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-12 |
bors | Auto merge of #2195 - RalfJung:vtable-validation, r... |
blob | commitdiff | raw | diff to current |
2022-06-12 |
Ralf Jung | rename ExperimentalUb → StackedBorrowsUb |
blob | commitdiff | raw | diff to current |
2022-06-11 |
bors | Auto merge of #2215 - InfRandomness:getpid_shim, r... |
blob | commitdiff | raw | diff to current |
2022-06-11 |
bors | Auto merge of #2222 - InfRandomness:cargo-docs, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-08 |
bors | Auto merge of #2218 - Nilstrieb:faster-tag-partial... |
blob | commitdiff | raw | diff to current |
2022-06-08 |
Nilstrieb | Add comment to explain manual optimization |
blob | commitdiff | raw | diff to current |
2022-06-08 |
Nilstrieb | Optimize `SbTag::eq` |
blob | commitdiff | raw | diff to current |
2022-06-06 |
bors | Auto merge of #2183 - RalfJung:better-provenance-contro... |
blob | commitdiff | raw | diff to current |
2022-06-06 |
bors | Auto merge of #2202 - InfRandomness:infrandomness/rustd... |
blob | commitdiff | raw | diff to current |
2022-06-06 |
infrandomness | Fix rustdoc warnings |
blob | commitdiff | raw | diff to current |
2022-06-04 |
bors | Auto merge of #2186 - matthiaskrgr:clippy, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-04 |
Matthias Krüger | clippy fixes |
blob | commitdiff | raw | diff to current |
2022-05-31 |
bors | Auto merge of #2171 - RalfJung:less-dup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-31 |
Ralf Jung | fix some lifetime names |
blob | commitdiff | raw | diff to current |
2022-05-31 |
Ralf Jung | reduce some code duplication |
blob | commitdiff | raw | diff to current |
2022-05-31 |
bors | Auto merge of #2166 - RalfJung:tests, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-05-30 |
bors | Auto merge of #2145 - saethlin:zero-size-creation,... |
blob | commitdiff | raw | diff to current |
2022-05-30 |
bors | Auto merge of #2158 - rust-lang:gesundheit, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-29 |
Ben Kimock | Save a created event for zero-size reborrows |
blob | commitdiff | raw | diff to current |
2022-05-29 |
bors | Auto merge of #2162 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-29 |
Ralf Jung | rustup |
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 #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-19 |
bors | Auto merge of #2128 - saethlin:fix-creation-range,... |
blob | commitdiff | raw | diff to current |
2022-05-19 |
Ben Kimock | Pass the correct size to the AllocRange for log_creation |
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-13 |
Ben Kimock | More review feedback |
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 #2084 - rust-lang:silence, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-30 |
Ben Kimock | Pass AccessKind to check_protector |
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::clone_on_copy |
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 | adjust for provenance cleanup |
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-03-20 |
bors | Auto merge of #1975 - DrMeepster:backtrace_fix, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-03-17 |
bors | Auto merge of #1971 - saethlin:sb-details, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-03-17 |
Ben Kimock | Print more in SB error diagnostics |
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-01-09 |
bors | Auto merge of #1952 - RalfJung:self-referential, r... |
blob | commitdiff | raw | diff to current |
2022-01-01 |
Ralf Jung | exclude mutable references to !Unpin types from uniquen... |
blob | commitdiff | raw | diff to current |
2021-12-23 |
bors | Auto merge of #1949 - RalfJung:miri-lib-src, r=oli-obk |
blob | commitdiff | raw | diff to current |
2021-12-21 |
bors | Auto merge of #1945 - saethlin:better-sb-tracking,... |
blob | commitdiff | raw | diff to current |
2021-12-21 |
Ben Kimock | Provide better notes when tracking a pointer tag |
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-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-07-20 |
bors | Auto merge of #1853 - RalfJung:negative-offsets, r... |
blob | commitdiff | raw | diff to current |
2021-07-20 |
Ralf Jung | adjust for PointerOutOfBounds change |
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 |
next |