2022-06-29 |
bors | Auto merge of #2287 - RalfJung:field-retagging, r=RalfJung |
tree | commitdiff |
2022-06-29 |
Ralf Jung | add option for recursive field retagging |
tree | commitdiff |
2022-06-28 |
bors | Auto merge of #2275 - RalfJung:permissive-provenance... |
tree | commitdiff |
2022-06-27 |
bors | Auto merge of #2276 - RalfJung:join, r=RalfJung |
tree | commitdiff |
2022-06-27 |
Ralf Jung | avoid unnecessary indirection in miri-track-raw-pointer... |
tree | commitdiff |
2022-06-27 |
Ralf Jung | remove support for untagged pointers |
tree | commitdiff |
2022-06-27 |
Ralf Jung | make permissive provenance and raw-ptr tagging the... |
tree | commitdiff |
2022-06-26 |
bors | Auto merge of #2272 - RalfJung:progress, r=RalfJung |
tree | commitdiff |
2022-06-26 |
Ralf Jung | add -Zmiri-report-progress to regularly print a stacktr... |
tree | commitdiff |
2022-06-18 |
bors | Auto merge of #2228 - cbeuw:futex-fix, r=RalfJung |
tree | commitdiff |
2022-06-13 |
bors | Auto merge of #2232 - rust-lang:gesundheit, r=oli-obk |
tree | commitdiff |
2022-06-13 |
bors | Auto merge of #2179 - RalfJung:rustc, r=oli-obk |
tree | commitdiff |
2022-06-13 |
bors | Auto merge of #2203 - RalfJung:deprecate, r=oli-obk |
tree | commitdiff |
2022-06-07 |
bors | Auto merge of #2208 - RalfJung:preempt, r=RalfJung |
tree | commitdiff |
2022-06-07 |
Ralf Jung | make scheduler preemptive, with configurable preemption... |
tree | commitdiff |
2022-06-06 |
Ralf Jung | deprecate -Zmiri-allow-uninit-numbers and -Zmiri-allow... |
tree | commitdiff |
2022-06-06 |
bors | Auto merge of #1963 - cbeuw:weak-memory, r=RalfJung |
tree | commitdiff |
2022-06-06 |
Andy Wang | Add weak memory config option |
tree | commitdiff |
2022-06-06 |
bors | Auto merge of #2183 - RalfJung:better-provenance-contro... |
tree | commitdiff |
2022-06-06 |
bors | Auto merge of #2202 - InfRandomness:infrandomness/rustd... |
tree | commitdiff |
2022-06-06 |
bors | Auto merge of #2201 - RalfJung:arg-parsing, r=RalfJung |
tree | commitdiff |
2022-06-06 |
Ralf Jung | argument parsing: make better use of strip_prefix |
tree | commitdiff |
2022-06-01 |
bors | Auto merge of #2175 - RalfJung:xargo, r=oli-obk |
tree | commitdiff |
2022-06-01 |
bors | Auto merge of #2167 - rust-lang:gesundheit, r=RalfJung |
tree | commitdiff |
2022-06-01 |
Oli Scherer | Check that diagnostics happen in the line that they... |
tree | commitdiff |
2022-05-25 |
bors | Auto merge of #2157 - RalfJung:tests, r=oli-obk |
tree | commitdiff |
2022-05-25 |
bors | Auto merge of #2151 - RalfJung:numbers, r=oli-obk |
tree | commitdiff |
2022-05-25 |
Ralf Jung | enable number validity checking and ptr::invalid checki... |
tree | commitdiff |
2022-05-23 |
bors | Auto merge of #2059 - carbotaniuman:master, r=RalfJung |
tree | commitdiff |
2022-05-23 |
carbotaniuman | Initial work on permissive provenance |
tree | commitdiff |
2022-05-14 |
bors | Auto merge of #2030 - saethlin:track-alloc-history... |
tree | commitdiff |
2022-05-11 |
bors | Auto merge of #2113 - RalfJung:rustc-log, r=RalfJung |
tree | commitdiff |
2022-05-11 |
Ralf Jung | when MIRI_LOG is set, set RUSTC_LOG_ENTRY_EXIT |
tree | commitdiff |
2022-05-10 |
bors | Auto merge of #2084 - rust-lang:silence, r=RalfJung |
tree | commitdiff |
2022-05-06 |
bors | Auto merge of #2103 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-05-06 |
Ralf Jung | rustup |
tree | commitdiff |
2022-04-30 |
bors | Auto merge of #2090 - dtolnay-contrib:addcarry, r=oli-obk |
tree | commitdiff |
2022-04-30 |
bors | Auto merge of #2091 - dtolnay-contrib:clippy, r=oli-obk |
tree | commitdiff |
2022-04-29 |
David Tolnay | Suppress all currently triggered clippy lints |
tree | commitdiff |
2022-04-26 |
Oli Scherer | Rename flag, datastructure and messaging around muting... |
tree | commitdiff |
2022-04-25 |
bors | Auto merge of #2086 - nbdd0121:master, r=RalfJung |
tree | commitdiff |
2022-04-25 |
Gary Guo | Update export_symbols |
tree | commitdiff |
2022-04-25 |
Oli Scherer | Add a command line flag to avoid printing to stdout... |
tree | commitdiff |
2022-04-21 |
bors | Auto merge of #2075 - y86-dev:master, r=RalfJung |
tree | commitdiff |
2022-04-21 |
y86-dev | Added support for multiple tracked pointers, allocs... |
tree | commitdiff |
2022-04-10 |
bors | Auto merge of #2062 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-04-09 |
bors | Auto merge of #2061 - RalfJung:edition, r=RalfJung |
tree | commitdiff |
2022-04-09 |
Ralf Jung | remove no longer needed imports |
tree | commitdiff |
2022-04-05 |
bors | Auto merge of #2047 - RalfJung:no-extras, r=RalfJung |
tree | commitdiff |
2022-04-04 |
bors | Auto merge of #2046 - RalfJung:very-strict, r=RalfJung |
tree | commitdiff |
2022-04-02 |
Ralf Jung | make strict-provenance imply check-number-validity |
tree | commitdiff |
2022-04-01 |
bors | Auto merge of #2045 - RalfJung:strict-provenance, r... |
tree | commitdiff |
2022-04-01 |
Ralf Jung | add -Zmiri-strict-provenance |
tree | commitdiff |
2022-03-20 |
bors | Auto merge of #1975 - DrMeepster:backtrace_fix, r=RalfJung |
tree | commitdiff |
2022-03-12 |
bors | Auto merge of #2018 - RalfJung:term, r=oli-obk |
tree | commitdiff |
2022-03-12 |
bors | Auto merge of #2021 - RalfJung:write-fields-refactor... |
tree | commitdiff |
2022-03-12 |
bors | Auto merge of #2019 - RalfJung:align, r=RalfJung |
tree | commitdiff |
2022-03-12 |
Ralf Jung | also accept odd number of hex digits; add README sectio... |
tree | commitdiff |
2022-03-05 |
bors | Auto merge of #1970 - asquared31415:open_unix_varargs... |
tree | commitdiff |
2022-03-05 |
bors | Auto merge of #1999 - RalfJung:forward-env, r=oli-obk |
tree | commitdiff |
2022-03-05 |
Ralf Jung | add flag to forward specific env vars (while isolation... |
tree | commitdiff |
2022-02-22 |
bors | Auto merge of #1977 - saethlin:short-backtraces, r... |
tree | commitdiff |
2022-02-22 |
Ben Kimock | Prune backtraces similar to RUST_BACKTRACE=1 logic |
tree | commitdiff |
2021-11-17 |
bors | Auto merge of #1911 - RalfJung:rename-track-tag, r... |
tree | commitdiff |
2021-11-13 |
Ralf Jung | rename track-raw-pointers flag to tag-raw-pointers |
tree | commitdiff |
2021-11-10 |
bors | Auto merge of #1904 - camelid:uninit-num, r=RalfJung |
tree | commitdiff |
2021-11-10 |
Noah Lev | Update Miri for detecting uninitialized numbers |
tree | commitdiff |
2021-10-26 |
bors | Auto merge of #1902 - camelid:r-a, r=RalfJung |
tree | commitdiff |
2021-10-26 |
bors | Auto merge of #1903 - bjorn3:rustup, r=oli-obk |
tree | commitdiff |
2021-10-26 |
bjorn3 | rustup |
tree | commitdiff |
2021-09-09 |
bors | Auto merge of #1888 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-09-09 |
hyd-dev | `rustc_mir` -> `rustc_const_eval` |
tree | commitdiff |
2021-09-08 |
bors | Auto merge of #1884 - DrMeepster:start, r=RalfJung |
tree | commitdiff |
2021-09-02 |
DrMeepster | add support for #[start] |
tree | commitdiff |
2021-07-30 |
bors | Auto merge of #1863 - hyd-dev:parallel-compiler, r... |
tree | commitdiff |
2021-07-30 |
hyd-dev | Use `Lrc` instead of `Rc` in `MiriCompilerCalls::config()` |
tree | commitdiff |
2021-07-17 |
bors | Auto merge of #1851 - RalfJung:provenance-overhaul... |
tree | commitdiff |
2021-07-16 |
Ralf Jung | adjust Miri to Pointer type overhaul |
tree | commitdiff |
2021-07-12 |
bors | Auto merge of #1850 - RalfJung:fmt, r=RalfJung |
tree | commitdiff |
2021-07-11 |
Ralf Jung | fmt: set force_multiline_blocks=true |
tree | commitdiff |
2021-06-15 |
bors | Auto merge of #1833 - hyd-dev:82261, r=RalfJung |
tree | commitdiff |
2021-06-14 |
hyd-dev | Do not return `DefId` that doesn't have exported symbol... |
tree | commitdiff |
2021-06-09 |
bors | Auto merge of #1830 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
2021-06-09 |
bors | Auto merge of #1818 - landaire:feature/panic-on-unsuppo... |
tree | commitdiff |
2021-06-09 |
bors | Auto merge of #1797 - atsmtat:env-isolation, r=RalfJung |
tree | commitdiff |
2021-06-09 |
Smit Soni | Add a support to execute isolated op without halting |
tree | commitdiff |
2021-06-07 |
Lander Brandt | Add support for panicking in the emulated application... |
tree | commitdiff |
2021-06-03 |
bors | Auto merge of #1776 - hyd-dev:1170, r=RalfJung |
tree | commitdiff |
2021-06-03 |
Ralf Jung | fix typo |
tree | commitdiff |
2021-05-31 |
hyd-dev | Implement calls to exported symbols |
tree | commitdiff |
2021-05-31 |
hyd-dev | Add `-Zmiri-disable-abi-check` |
tree | commitdiff |
2021-05-30 |
bors | Auto merge of #1791 - Aaron1011:measureme, r=RalfJung |
tree | commitdiff |
2021-05-29 |
Aaron Hill | Add `measureme` integration for profiling the interpret... |
tree | commitdiff |
2021-05-17 |
bors | Auto merge of #1802 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-05-17 |
Ralf Jung | rustup |
tree | commitdiff |
2021-05-16 |
bors | Auto merge of #1801 - RalfJung:rustfmt, r=oli-obk |
tree | commitdiff |
2021-05-16 |
Ralf Jung | format much of Miri |
tree | commitdiff |
2021-04-30 |
bors | Auto merge of #1783 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-04-30 |
hyd-dev | Rustup for rust-lang/rust#84401 |
tree | commitdiff |
2021-04-09 |
bors | Auto merge of #1764 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
next |