2022-05-24 |
Jakob Degen | Adjust Miri to also require return places everywhere |
blob | commitdiff | raw |
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-22 |
bors | Auto merge of #2141 - saethlin:early-diagnostics-ice... |
blob | commitdiff | raw | diff to current |
2022-05-22 |
Ralf Jung | tweak comment |
blob | commitdiff | raw | diff to current |
2022-05-22 |
Ben Kimock | Handle diagnotics emitted in runtime initialization |
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-21 |
Ben Kimock | Make allow_data_races_* public to silence data races... |
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 #2121 - RalfJung:less-ice, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-15 |
Ralf Jung | don't ICE when libcore is missing |
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-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 | 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-26 |
Oli Scherer | Rename flag, datastructure and messaging around muting... |
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 |
Ralf Jung | be explicit about types |
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-10 |
bors | Auto merge of #2062 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-09 |
bors | Auto merge of #2061 - RalfJung:edition, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-09 |
Ralf Jung | remove no longer needed imports |
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-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-20 |
bors | Auto merge of #1975 - DrMeepster:backtrace_fix, r=RalfJung |
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-03-05 |
bors | Auto merge of #1999 - RalfJung:forward-env, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-03-05 |
Ralf Jung | add flag to forward specific env vars (while isolation... |
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-05 |
bors | Auto merge of #1956 - RalfJung:stack-pop-cleanup, r... |
blob | commitdiff | raw | diff to current |
2022-01-04 |
Ralf Jung | adjust for StackPopCleanup::None rename |
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-30 |
bors | Auto merge of #1885 - DrMeepster:global_allocator,... |
blob | commitdiff | raw | diff to current |
2021-09-24 |
bors | Auto merge of #1893 - RalfJung:arg-pass, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-09-24 |
Ralf Jung | some more Windows argument passing tests |
blob | commitdiff | raw | diff to current |
2021-09-22 |
bors | Auto merge of #1891 - ChrisDenton:win-args, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-09-22 |
Chris Denton | Apply review changes |
blob | commitdiff | raw | diff to current |
2021-09-18 |
Chris Denton | Correct Windows argument handling |
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-09-02 |
DrMeepster | remove commented out code |
blob | commitdiff | raw | diff to current |
2021-09-02 |
DrMeepster | add support for #[start] |
blob | commitdiff | raw | diff to current |
2021-07-27 |
bors | Auto merge of #1858 - RalfJung:thread-leaks, r=oli-obk |
blob | commitdiff | raw | diff to current |
2021-07-25 |
bors | Auto merge of #1859 - RalfJung:global-system-mixup... |
blob | commitdiff | raw | diff to current |
2021-07-25 |
Ralf Jung | tell users how to disable the leak check |
blob | commitdiff | raw | diff to current |
2021-07-25 |
Ralf Jung | also ignore 'thread leaks' with -Zmiri-ignore-leaks |
blob | commitdiff | raw | diff to current |
2021-07-25 |
bors | Auto merge of #1856 - RalfJung:no-mir, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-07-24 |
Ralf Jung | show proper error when using a sysroot without MIR |
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 |
2021-07-04 |
Smitty | Make work after mir-alloc-oom |
blob | commitdiff | raw | diff to current |
2021-06-09 |
bors | Auto merge of #1830 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-09 |
bors | Auto merge of #1818 - landaire:feature/panic-on-unsuppo... |
blob | commitdiff | raw | diff to current |
2021-06-09 |
bors | Auto merge of #1797 - atsmtat:env-isolation, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-09 |
Smit Soni | Add a support to execute isolated op without halting |
blob | commitdiff | raw | diff to current |
2021-06-07 |
Lander Brandt | Add support for panicking in the emulated application... |
blob | commitdiff | raw | diff to current |
2021-06-03 |
bors | Auto merge of #1776 - hyd-dev:1170, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-31 |
hyd-dev | Add `-Zmiri-disable-abi-check` |
blob | commitdiff | raw | diff to current |
2021-05-30 |
bors | Auto merge of #1791 - Aaron1011:measureme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-29 |
Aaron Hill | Address review comments |
blob | commitdiff | raw | diff to current |
2021-05-29 |
Aaron Hill | Add `measureme` integration for profiling the interpret... |
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-14 |
bors | Auto merge of #1743 - RalfJung:callee-checks, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-03-14 |
Ralf Jung | when Miri calls a function ptr, make sure it has the... |
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 |
2021-02-18 |
bors | Auto merge of #1715 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-02-18 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2021-01-30 |
bors | Auto merge of #1693 - rust-lang:oli-obk-patch-1, r... |
blob | commitdiff | raw | diff to current |
2021-01-29 |
bors | Auto merge of #1670 - unseddd:abi, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-01-28 |
bors | Auto merge of #1686 - thomcc:cmpxchg_weak, r=oli-obk |
blob | commitdiff | raw | diff to current |
2021-01-26 |
Thom Chiovoloni | Allow configuring the failure rate with -Zmiri-compare... |
blob | commitdiff | raw | diff to current |
2020-11-29 |
bors | Auto merge of #1617 - JCTyblaidd:data_race_detector... |
blob | commitdiff | raw | diff to current |
2020-11-15 |
JCTyBlaidd | Tidy up comments and function layout, should fix most... |
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-09-03 |
bors | Auto merge of #1532 - divergentdave:thread-panic-payloa... |
blob | commitdiff | raw | diff to current |
2020-09-03 |
David Cook | Per-thread errno storage |
blob | commitdiff | raw | diff to current |
2020-08-17 |
bors | Auto merge of #1513 - RalfJung:int-align, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-16 |
Ralf Jung | make alignment check integer-based by default, and... |
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 | fix diagnostics printing when triggered during TLS... |
blob | commitdiff | raw | diff to current |
2020-07-27 |
bors | Auto merge of #1487 - pnadon:miri-rename-undef-uninit... |
blob | commitdiff | raw | diff to current |
2020-07-26 |
Philippe Nadon | renamed ScalarMaybeUninit::not_undef to check_init |
blob | commitdiff | raw | diff to current |
next |