2022-08-10 |
bors | Auto merge of #2461 - RalfJung:frame-in-std, r=RalfJung |
blob | commitdiff | raw |
2022-08-08 |
bors | Auto merge of #2471 - RalfJung:term, r=RalfJung |
blob | commitdiff | raw |
2022-08-06 |
Ralf Jung | stop excluding TERM env var on Unix |
blob | commitdiff | raw |
2022-07-28 |
bors | Auto merge of #2426 - saethlin:unix-exec, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-25 |
bors | Auto merge of #2422 - RalfJung:integers, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-07-25 |
bors | Auto merge of #2436 - RalfJung:lib-crates, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-07-24 |
Ralf Jung | test all of the autocfg queries |
blob | commitdiff | raw | diff to current |
2022-07-24 |
Ralf Jung | make miri a better RUSTC by default inside cargo-miri |
blob | commitdiff | raw | diff to current |
2022-07-23 |
bors | Auto merge of #2424 - RalfJung:weak-memory-debug, r... |
blob | commitdiff | raw | diff to current |
2022-07-23 |
Ralf Jung | add a flag to print a diagnostic when an outdated value... |
blob | commitdiff | raw | diff to current |
2022-07-22 |
bors | Auto merge of #2418 - RalfJung:track, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-22 |
bors | Auto merge of #2415 - RalfJung:cargo-miri, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-07-22 |
Ralf Jung | support MIRI_HOST_SYSROOT env var for stage 0 builds |
blob | commitdiff | raw | diff to current |
2022-07-21 |
bors | Auto merge of #2410 - rust-lang:miri_auto_ops, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-21 |
Oli Scherer | Document MIRI_AUTO_OPS |
blob | commitdiff | raw | diff to current |
2022-07-20 |
bors | Auto merge of #2402 - RalfJung:cargo-target, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-20 |
bors | Auto merge of #2391 - RalfJung:stderr, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-07-19 |
bors | Auto merge of #2390 - RalfJung:debug, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-19 |
bors | Auto merge of #2350 - RalfJung:remove-deprecated, r... |
blob | commitdiff | raw | diff to current |
2022-07-13 |
bors | Auto merge of #2315 - saethlin:shrink-item, r=saethlin |
blob | commitdiff | raw | diff to current |
2022-07-12 |
Ralf Jung | remove deprecated options |
blob | commitdiff | raw | diff to current |
2022-07-11 |
bors | Auto merge of #2354 - Techie-Pi:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-10 |
TechiePi | Fix README typo |
blob | commitdiff | raw | diff to current |
2022-07-05 |
bors | Auto merge of #2329 - RalfJung:benches, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-07-05 |
bors | Auto merge of #2330 - RalfJung:notex, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-07-04 |
bors | Auto merge of #2331 - RalfJung:trophy, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-04 |
Ralf Jung | trophy case++ |
blob | commitdiff | raw | diff to current |
2022-07-03 |
bors | Auto merge of #1935 - saethlin:optimize-sb, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-03 |
bors | Auto merge of #2316 - domenicquirl:readme-track-tag... |
blob | commitdiff | raw | diff to current |
2022-07-03 |
DQ | clarify that a (tracked) tag may never be popped |
blob | commitdiff | raw | diff to current |
2022-07-03 |
bors | Auto merge of #2317 - RalfJung:this-is-not-a-std-test... |
blob | commitdiff | raw | diff to current |
2022-07-03 |
Ralf Jung | fix ./miri run with MIRI_TEST_TARGET |
blob | commitdiff | raw | diff to current |
2022-07-03 |
Ralf Jung | another one for the trophy case |
blob | commitdiff | raw | diff to current |
2022-07-03 |
DQ | Clarify `-Zmiri-track-pointer-tag` |
blob | commitdiff | raw | diff to current |
2022-07-02 |
bors | Auto merge of #2312 - RalfJung:misc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-02 |
Ralf Jung | readme tweaks |
blob | commitdiff | raw | diff to current |
2022-07-02 |
bors | Auto merge of #2304 - LegNeato:shim-fstat64-mac, r... |
blob | commitdiff | raw | diff to current |
2022-06-30 |
bors | Auto merge of #2293 - RalfJung:env, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-30 |
Ralf Jung | make -Zmiri-env-forward take precedence over -Zmiri... |
blob | commitdiff | raw | diff to current |
2022-06-30 |
bors | Auto merge of #2282 - rust-lang:no_std, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-30 |
Oli Scherer | Support no-std targets and test it in CI |
blob | commitdiff | raw | diff to current |
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 |
next |