2022-06-19 |
bors | Auto merge of #2240 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw |
2022-06-19 |
Ralf Jung | readme |
blob | commitdiff | raw |
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 #2232 - rust-lang:gesundheit, r=oli-obk |
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-07 |
bors | Auto merge of #2208 - RalfJung:preempt, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-07 |
Ralf Jung | make scheduler preemptive, with configurable preemption... |
blob | commitdiff | raw | diff to current |
2022-06-06 |
Ralf Jung | deprecate -Zmiri-allow-uninit-numbers and -Zmiri-allow... |
blob | commitdiff | raw | diff to current |
2022-06-06 |
bors | Auto merge of #1963 - cbeuw:weak-memory, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-06 |
Andy Wang | Spelling, punctuation and grammar |
blob | commitdiff | raw | diff to current |
2022-06-06 |
Andy Wang | Update README |
blob | commitdiff | raw | diff to current |
2022-06-06 |
Andy Wang | Add -Zmiri-disable-weak-memory-emulation to README |
blob | commitdiff | raw | diff to current |
2022-06-03 |
bors | Auto merge of #2184 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-03 |
Ralf Jung | fix dangling reference in the README |
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 |
bors | Auto merge of #2161 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-28 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2022-05-25 |
bors | Auto merge of #2157 - RalfJung:tests, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-05-25 |
bors | Auto merge of #2151 - RalfJung:numbers, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-05-25 |
Ralf Jung | enable number validity checking and ptr::invalid checki... |
blob | commitdiff | raw | diff to current |
2022-05-25 |
bors | Auto merge of #2032 - rust-lang:gesundheit, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-05-25 |
Oli Scherer | Add a custom ui test runner and move all tests to it |
blob | commitdiff | raw | diff to current |
2022-05-23 |
bors | Auto merge of #2149 - RalfJung:tests, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-23 |
bors | Auto merge of #2147 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-23 |
Ralf Jung | fix some old typos |
blob | commitdiff | raw | diff to current |
2022-05-23 |
Ralf Jung | split flag section into common and advanced flags |
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 |
Ralf Jung | readme: document permissive-provenance flag |
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 |
bors | Auto merge of #2142 - saethlin:cleanup-data-race-ice... |
blob | commitdiff | raw | diff to current |
2022-05-22 |
bors | Auto merge of #2140 - V0ldek:page_size, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-21 |
bors | Auto merge of #2137 - RalfJung:targets, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-05-20 |
Ralf Jung | explain which targets we support to what extent |
blob | commitdiff | raw | diff to current |
2022-05-20 |
Ralf Jung | explain what we mean by 'unsound' |
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-10 |
bors | Auto merge of #2084 - rust-lang:silence, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-10 |
Oli Scherer | Wording nit |
blob | commitdiff | raw | diff to current |
2022-05-10 |
Oli Scherer | Use alphabetical order for miri flags |
blob | commitdiff | raw | diff to current |
2022-05-05 |
bors | Auto merge of #2100 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-05 |
Ralf Jung | tweak MIRI_SYSROOT docs |
blob | commitdiff | raw | diff to current |
2022-05-01 |
bors | Auto merge of #2098 - RalfJung:papers, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-01 |
Ralf Jung | mention some papers that use Miri |
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-30 |
bors | Auto merge of #2092 - dtolnay-contrib:checkoutv3, r... |
blob | commitdiff | raw | diff to current |
2022-04-30 |
David Tolnay | Update GitHub Actions actions/checkout@v2 to v3 |
blob | commitdiff | raw | diff to current |
2022-04-26 |
Oli Scherer | Add readme entry |
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-16 |
bors | Auto merge of #2065 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-16 |
Ralf Jung | readme |
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-04 |
bors | Auto merge of #2046 - RalfJung:very-strict, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-02 |
Ralf Jung | make strict-provenance imply check-number-validity |
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-20 |
DrMeepster | add new version of backtrace api using flags=1 |
blob | commitdiff | raw | diff to current |
2022-03-18 |
bors | Auto merge of #2024 - saethlin:better-local-check,... |
blob | commitdiff | raw | diff to current |
2022-03-18 |
Ben Kimock | Consider the cargo workspace when checking if a frame... |
blob | commitdiff | raw | diff to current |
2022-03-12 |
bors | Auto merge of #2018 - RalfJung:term, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-03-12 |
bors | Auto merge of #2021 - RalfJung:write-fields-refactor... |
blob | commitdiff | raw | diff to current |
2022-03-12 |
bors | Auto merge of #2019 - RalfJung:align, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-03-12 |
Ralf Jung | exclude TERM by default |
blob | commitdiff | raw | diff to current |
2022-03-12 |
Ralf Jung | also accept odd number of hex digits; add README sectio... |
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 |
Ralf Jung | update recommended CI snippet, add GHA example |
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-03-03 |
bors | Auto merge of #1995 - saethlin:trophies, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-03-03 |
Ben Kimock | rkyv deallocation alignment issue |
blob | commitdiff | raw | diff to current |
2022-02-23 |
bors | Auto merge of #1982 - saethlin:trophies, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-02-23 |
Ben Kimock | Add crossbeam-epoch and integer-encoding to the trophy... |
blob | commitdiff | raw | diff to current |
2022-02-22 |
bors | Auto merge of #1978 - RalfJung:simd_eq, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-02-21 |
bors | Auto merge of #1979 - RalfJung:trophy, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-02-21 |
Ralf Jung | another for the trophy case |
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-23 |
Ralf Jung | add and document MIRI_LIB_SRC env var to set the source... |
blob | commitdiff | raw | diff to current |
2021-12-19 |
bors | Auto merge of #1944 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-12-19 |
bors | Auto merge of #1943 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-12-19 |
Ralf Jung | readme: be more explicit about the toolchain |
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 | Add docs for `-Zmiri-check-number-validity` |
blob | commitdiff | raw | diff to current |
2021-10-12 |
bors | Auto merge of #1898 - Kixunil:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-10-12 |
Martin Habovštiak | Remove vague statement from README |
blob | commitdiff | raw | diff to current |
2021-10-12 |
Martin Habovštiak | Typo fixes |
blob | commitdiff | raw | diff to current |
2021-10-09 |
Martin Habovštiak | Document threading support a bit more |
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 |
Ralf Jung | also ignore 'thread leaks' with -Zmiri-ignore-leaks |
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 |
Ralf Jung | tweak isolation-error message in README |
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-09 |
bors | Auto merge of #1827 - l4l:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-09 |
Kitsu | Specify miri toolchain for CI example |
blob | commitdiff | raw | diff to current |
next |