| 2022-06-30 |
Oli Scherer | Support no-std targets and test it in CI |
blob | commitdiff | raw |
| 2022-06-29 |
bors | Auto merge of #2287 - RalfJung:field-retagging, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2022-06-29 |
Ralf Jung | add option for recursive field retagging |
blob | commitdiff | raw | diff to current |
| 2022-06-28 |
bors | Auto merge of #2279 - RalfJung:adjacent-allocs, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2022-06-28 |
Ralf Jung | typo |
blob | commitdiff | raw | diff to current |
| 2022-06-28 |
bors | Auto merge of #2275 - RalfJung:permissive-provenance... |
blob | commitdiff | raw | diff to current |
| 2022-06-27 |
bors | Auto merge of #2276 - RalfJung:join, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2022-06-27 |
Ralf Jung | readme: move some things around |
blob | commitdiff | raw | diff to current |
| 2022-06-27 |
Ralf Jung | make permissive provenance and raw-ptr tagging the... |
blob | commitdiff | raw | diff to current |
| 2022-06-26 |
bors | Auto merge of #2274 - RalfJung:trophy, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2022-06-26 |
Ralf Jung | trophy case: add the data race in thread::scope |
blob | commitdiff | raw | diff to current |
| 2022-06-26 |
bors | Auto merge of #2272 - RalfJung:progress, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2022-06-26 |
Ralf Jung | add -Zmiri-report-progress to regularly print a stacktr... |
blob | commitdiff | raw | diff to current |
| 2022-06-26 |
bors | Auto merge of #2245 - saethlin:color-always, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2022-06-25 |
bors | Auto merge of #2265 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2022-06-25 |
Ralf Jung | README: multi-seed loop: also test the 0 seed |
blob | commitdiff | raw | diff to current |
| 2022-06-25 |
bors | Auto merge of #2264 - RalfJung:not-a-fixme, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2022-06-25 |
bors | Auto merge of #2196 - carbotaniuman:permissive-stacked... |
blob | commitdiff | raw | diff to current |
| 2022-06-24 |
Ralf Jung | make the tests pass |
blob | commitdiff | raw | diff to current |
| 2022-06-19 |
bors | Auto merge of #2240 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2022-06-19 |
Ralf Jung | readme |
blob | commitdiff | raw | diff to current |
| 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 |
| next |
projects / rust.git / history