2022-05-19 |
bors | Auto merge of #2128 - saethlin:fix-creation-range,... |
blob | commitdiff | raw |
2022-05-19 |
Ben Kimock | Pass the correct size to the AllocRange for log_creation |
blob | commitdiff | raw |
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 |
2021-07-12 |
bors | Auto merge of #1850 - RalfJung:fmt, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-07-11 |
Ralf Jung | fmt: set force_multiline_blocks=true |
blob | commitdiff | raw | diff to current |
2021-07-06 |
bors | Auto merge of #1846 - RalfJung:license, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-07-06 |
bors | Auto merge of #1847 - RalfJung:more-tags, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-07-06 |
Ralf Jung | fmt |
blob | commitdiff | raw | diff to current |
2021-07-06 |
Ralf Jung | also treat CallerLocation and Machine memory as properl... |
blob | commitdiff | raw | diff to current |
2021-07-06 |
Ralf Jung | explicitly list memory kinds for stacked borrows |
blob | commitdiff | raw | diff to current |
2021-05-23 |
bors | Auto merge of #1814 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-23 |
Ralf Jung | better approach to skip ZST reborrows |
blob | commitdiff | raw | diff to current |
2021-05-23 |
Ralf Jung | avoid unnecessary RefCell calls in Stacked Borrows |
blob | commitdiff | raw | diff to current |
2021-05-22 |
bors | Auto merge of #1811 - RalfJung:less-rc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-22 |
Ralf Jung | fmt |
blob | commitdiff | raw | diff to current |
2021-05-22 |
Ralf Jung | get rid of Rc in Stacked Borrows |
blob | commitdiff | raw | diff to current |
2021-05-19 |
bors | Auto merge of #1804 - RalfJung:ptrless-allocs, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-19 |
Ralf Jung | update for Memory API changes |
blob | commitdiff | raw | diff to current |
2021-05-16 |
bors | Auto merge of #1801 - RalfJung:rustfmt, r=oli-obk |
blob | commitdiff | raw | diff to current |
2021-05-16 |
Ralf Jung | format much of Miri |
blob | commitdiff | raw | diff to current |
2021-03-09 |
bors | Auto merge of #1736 - DJMcNab:rust-analyzer-private... |
blob | commitdiff | raw | diff to current |
2021-03-08 |
bors | Auto merge of #1735 - m-ou-se:remove-unwrap-none, r... |
blob | commitdiff | raw | diff to current |
2021-03-08 |
Mara Bos | Remove unwrap_none as it won't be stabilized. |
blob | commitdiff | raw | diff to current |
2021-03-02 |
bors | Auto merge of #1721 - henryboisdequin:add-atomic-min... |
blob | commitdiff | raw | diff to current |
2021-02-28 |
bors | Auto merge of #1726 - hyd-dev:stub-d, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-02-27 |
bors | Auto merge of #1725 - RalfJung:zst-reborrow, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-02-27 |
Ralf Jung | fix reborrowing of tagged ZST references |
blob | commitdiff | raw | diff to current |
2021-02-20 |
bors | Auto merge of #1716 - tmiasko:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-02-20 |
Tomasz Miąsko | rustup to e7c23ab933ebc1f205c3b59f4ebc85d40f67d404 |
blob | commitdiff | raw | diff to current |
2020-10-28 |
bors | Auto merge of #1606 - RalfJung:trophy, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-10-28 |
bors | Auto merge of #1603 - RalfJung:track-raw, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-10-28 |
Ralf Jung | add an option to track raw pointer tags in Stacked... |
blob | commitdiff | raw | diff to current |
2020-10-28 |
Ralf Jung | Stacked Borrows: print affected memory location on... |
blob | commitdiff | raw | diff to current |
2020-10-27 |
bors | Auto merge of #1601 - RalfJung:misc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-27 |
Ralf Jung | pointer tag tracking: also show when tag is being created |
blob | commitdiff | raw | diff to current |
2020-09-04 |
bors | Auto merge of #1534 - LeSeulArtichaut:tys-kind, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-09-04 |
LeSeulArtichaut | Change `ty.kind` -> `ty.kind()` |
blob | commitdiff | raw | diff to current |
2020-08-03 |
bors | Auto merge of #1495 - samrat:fd-trait, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-07-27 |
bors | Auto merge of #1489 - RalfJung:tls-alloc-ids, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-07-27 |
Ralf Jung | deallocate thread-local statics when the thread dies |
blob | commitdiff | raw | diff to current |
2020-07-08 |
bors | Auto merge of #1470 - RalfJung:machine-tracking, r... |
blob | commitdiff | raw | diff to current |
2020-07-08 |
Ralf Jung | we cannot track all machine memory any more due to... |
blob | commitdiff | raw | diff to current |
2020-07-03 |
bors | Auto merge of #1466 - RalfJung:target, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-07-02 |
bors | Auto merge of #1463 - RalfJung:track-call-id, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-07-02 |
Ralf Jung | add option to track call IDs |
blob | commitdiff | raw | diff to current |
2020-04-27 |
bors | Auto merge of #1354 - divergentdave:dump-alloc-on-undef... |
blob | commitdiff | raw | diff to current |
2020-04-22 |
bors | Auto merge of #1348 - RalfJung:raw-addr-of-align, r... |
blob | commitdiff | raw | diff to current |
2020-04-22 |
Ralf Jung | Stacked Borrows: alignment does not matter |
blob | commitdiff | raw | diff to current |
2020-04-20 |
bors | Auto merge of #1335 - vakaras:add-threads-noop, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-20 |
Vytautas Astrauskas | Move the stack to the evaluator to make Miri compile... |
blob | commitdiff | raw | diff to current |
2020-04-18 |
bors | Auto merge of #1325 - RalfJung:float_to_int_unchecked... |
blob | commitdiff | raw | diff to current |
2020-04-15 |
bors | Auto merge of #1330 - RalfJung:retag-return-place,... |
blob | commitdiff | raw | diff to current |
2020-04-15 |
Ralf Jung | retag return places |
blob | commitdiff | raw | diff to current |
2020-04-04 |
bors | Auto merge of #1293 - Firstyear:1289-miri-readme, r... |
blob | commitdiff | raw | diff to current |
2020-04-03 |
bors | Auto merge of #1294 - JOE1994:windows_instant, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-02 |
bors | Auto merge of #1299 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-02 |
Ralf Jung | rustup for import changes |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1270 - RalfJung:incremental, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1279 - divergentdave:open_O_EXCL, r... |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1281 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-30 |
Ralf Jung | adjust for librustc rename; reduce 'extern crate' to... |
blob | commitdiff | raw | diff to current |
2020-03-28 |
bors | Auto merge of #1275 - JOE1994:move_string_helpers,... |
blob | commitdiff | raw | diff to current |
next |