2021-07-20 |
Ralf Jung | adjust for PointerOutOfBounds change |
blob | commitdiff | raw |
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 |
2020-03-28 |
bors | Auto merge of #1265 - RalfJung:float-cast, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-28 |
bors | Auto merge of #1263 - RalfJung:shims-limit, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-28 |
bors | Auto merge of #1271 - RalfJung:env-clean, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-28 |
Ralf Jung | env shim: make sure we clean up all the memory we allocate |
blob | commitdiff | raw | diff to current |
2020-03-25 |
bors | Auto merge of #1259 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-25 |
Ralf Jung | rustup, adjust for renames |
blob | commitdiff | raw | diff to current |
2020-03-23 |
bors | Auto merge of #1257 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-23 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2020-03-22 |
bors | Auto merge of #1250 - RalfJung:error-context, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-03-22 |
Ralf Jung | link to some websites for UB explanations |
blob | commitdiff | raw | diff to current |
2020-03-02 |
bors | Auto merge of #1202 - RalfJung:symbols, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-02 |
Ralf Jung | HashMap -> FxHashMap |
blob | commitdiff | raw | diff to current |
2020-03-02 |
bors | Auto merge of #1190 - RalfJung:canonical-alloc-id,... |
blob | commitdiff | raw | diff to current |
2020-03-02 |
Ralf Jung | port from find_foreign_static to canonical_alloc_id |
blob | commitdiff | raw | diff to current |
2020-03-01 |
bors | Auto merge of #1197 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-01 |
Ralf Jung | some formatting |
blob | commitdiff | raw | diff to current |
2020-02-26 |
bors | Auto merge of #1152 - divergentdave:shim-directory... |
blob | commitdiff | raw | diff to current |
2020-02-26 |
bors | Auto merge of #1192 - RalfJung:disable-stacked-borrows... |
blob | commitdiff | raw | diff to current |
2020-02-24 |
Ralf Jung | add an option to disable Stacked Borrows |
blob | commitdiff | raw | diff to current |
2020-01-10 |
bors | Auto merge of #1143 - christianpoveda:symlink-shim... |
blob | commitdiff | raw | diff to current |
2020-01-09 |
bors | Auto merge of #1127 - rust-lang:stacked_borrow_tracing... |
blob | commitdiff | raw | diff to current |
2020-01-09 |
Oliver Scherer | Remove trailing newline |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Use names that actually represent what's going on |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Make the non-halting diagnostic scheme independent... |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Remove debugging hint until we can actuall use `note:` |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Process delayed errors on every step |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Tell the user about stacked borrow debugging flags |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Emit errors without halting interpretation |
blob | commitdiff | raw | diff to current |
2020-01-07 |
bors | Auto merge of #1140 - RalfJung:no-macos, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-01-07 |
bors | Auto merge of #1142 - JohnTitor:rustup-0107, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-01-06 |
Yuki Okushi | Rustup |
blob | commitdiff | raw | diff to current |
2019-12-31 |
bors | Auto merge of #1130 - christianpoveda:ignore-close... |
blob | commitdiff | raw | diff to current |
2019-12-27 |
bors | Auto merge of #1114 - rust-lang:to_ptr_considered_harmf... |
blob | commitdiff | raw | diff to current |
2019-12-27 |
Oliver Scherer | Remove `to_ptr` uses |
blob | commitdiff | raw | diff to current |
2019-12-23 |
bors | Auto merge of #1121 - rust-lang:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-12-23 |
Oliver Scherer | Rustup to rustc 1.42.0-nightly (005cf38f7 2019-12-22) |
blob | commitdiff | raw | diff to current |
2019-12-23 |
bors | Auto merge of #1124 - RalfJung:sysroot-check, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-12-23 |
bors | Auto merge of #1118 - rust-lang:stacked_borrow_tracing... |
blob | commitdiff | raw | diff to current |
next |