2022-07-01 |
Ralf Jung | more tweaks |
commit | commitdiff | tree | snapshot |
2022-07-01 |
Ralf Jung | add './miri many-seeds', and respect MIRIFLAGS in ... |
commit | commitdiff | tree | snapshot |
2022-07-01 |
Ralf Jung | make miri script work from other working directories |
commit | commitdiff | tree | snapshot |
2022-07-01 |
bors | Auto merge of #2295 - RalfJung:better-alloc-tracking... |
commit | commitdiff | tree | snapshot |
2022-07-01 |
Ralf Jung | allocation tracking: also print size, alignment, kind... |
commit | commitdiff | tree | snapshot |
2022-06-30 |
bors | Auto merge of #2293 - RalfJung:env, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-30 |
Ralf Jung | make -Zmiri-env-forward take precedence over -Zmiri... |
commit | commitdiff | tree | snapshot |
2022-06-30 |
bors | Auto merge of #2291 - RalfJung:no-std-is-minimal, r... |
commit | commitdiff | tree | snapshot |
2022-06-30 |
Ralf Jung | use run_tests_minimal for the new no-std test |
commit | commitdiff | tree | snapshot |
2022-06-30 |
bors | Auto merge of #2282 - rust-lang:no_std, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-30 |
Oli Scherer | Support no-std targets and test it in CI |
commit | commitdiff | tree | snapshot |
2022-06-30 |
bors | Auto merge of #2290 - RalfJung:snakessss, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-30 |
Ralf Jung | use Rust SnakeCase |
commit | commitdiff | tree | snapshot |
2022-06-30 |
bors | Auto merge of #2289 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-30 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-06-29 |
bors | Auto merge of #2287 - RalfJung:field-retagging, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-29 |
bors | Auto merge of #2286 - LegNeato:patch-2, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-29 |
Ralf Jung | merge two SB test files |
commit | commitdiff | tree | snapshot |
2022-06-29 |
Ralf Jung | add option for recursive field retagging |
commit | commitdiff | tree | snapshot |
2022-06-29 |
bors | Auto merge of #2288 - RalfJung:clippy, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-29 |
Ralf Jung | make ui_test pass clippy |
commit | commitdiff | tree | snapshot |
2022-06-29 |
Ralf Jung | add ./miri clippy |
commit | commitdiff | tree | snapshot |
2022-06-29 |
Christian Legnitto | Support `gettimeofday` on more than macos |
commit | commitdiff | tree | snapshot |
2022-06-29 |
bors | Auto merge of #2285 - LegNeato:patch-1, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-29 |
Christian Legnitto | Update path to passing tests in CONTRIBUTING.md examples |
commit | commitdiff | tree | snapshot |
2022-06-29 |
bors | Auto merge of #2283 - RalfJung:color, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-29 |
Ralf Jung | revert --color=always changes |
commit | commitdiff | tree | snapshot |
2022-06-29 |
bors | Auto merge of #2281 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-29 |
Ralf Jung | fmt |
commit | commitdiff | tree | snapshot |
2022-06-29 |
Ralf Jung | also prune caller_location frames when backtrace=off |
commit | commitdiff | tree | snapshot |
2022-06-29 |
Ralf Jung | improve atomics test coverage |
commit | commitdiff | tree | snapshot |
2022-06-29 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-06-28 |
bors | Auto merge of #2280 - RalfJung:int2ptr, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-28 |
Ralf Jung | tweak int2ptr diagnostics |
commit | commitdiff | tree | snapshot |
2022-06-28 |
bors | Auto merge of #2279 - RalfJung:adjacent-allocs, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-28 |
Ralf Jung | typo |
commit | commitdiff | tree | snapshot |
2022-06-28 |
Ralf Jung | update getrandom |
commit | commitdiff | tree | snapshot |
2022-06-28 |
Ralf Jung | finally we can actually have adjacent allocations :) |
commit | commitdiff | tree | snapshot |
2022-06-28 |
bors | Auto merge of #2278 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-28 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-06-28 |
Ralf Jung | make use of get_alloc_info |
commit | commitdiff | tree | snapshot |
2022-06-28 |
bors | Auto merge of #2275 - RalfJung:permissive-provenance... |
commit | commitdiff | tree | snapshot |
2022-06-28 |
Ralf Jung | show int2ptr warning once for each span (but don't... |
commit | commitdiff | tree | snapshot |
2022-06-28 |
Ralf Jung | fix warning text |
commit | commitdiff | tree | snapshot |
2022-06-27 |
bors | Auto merge of #2221 - InfRandomness:freebsd-target... |
commit | commitdiff | tree | snapshot |
2022-06-27 |
Ralf Jung | improve old comment |
commit | commitdiff | tree | snapshot |
2022-06-27 |
bors | Auto merge of #2276 - RalfJung:join, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-27 |
Ralf Jung | make sure a thread is joined |
commit | commitdiff | tree | snapshot |
2022-06-27 |
Ralf Jung | typo |
commit | commitdiff | tree | snapshot |
2022-06-27 |
Ralf Jung | avoid unnecessary indirection in miri-track-raw-pointer... |
commit | commitdiff | tree | snapshot |
2022-06-27 |
Ralf Jung | make macOS happy |
commit | commitdiff | tree | snapshot |
2022-06-27 |
Ralf Jung | fmt |
commit | commitdiff | tree | snapshot |
2022-06-27 |
Ralf Jung | readme: move some things around |
commit | commitdiff | tree | snapshot |
2022-06-27 |
Ralf Jung | remove support for untagged pointers |
commit | commitdiff | tree | snapshot |
2022-06-27 |
Ralf Jung | more int2ptr cast tests, and fix casting of addresses... |
commit | commitdiff | tree | snapshot |
2022-06-27 |
Ralf Jung | make permissive provenance and raw-ptr tagging the... |
commit | commitdiff | tree | snapshot |
2022-06-26 |
infrandomness | Cargo fmt |
commit | commitdiff | tree | snapshot |
2022-06-26 |
infrandomness | Address code review |
commit | commitdiff | tree | snapshot |
2022-06-26 |
Ralf Jung | only test a few tests on FreeBSD |
commit | commitdiff | tree | snapshot |
2022-06-26 |
infrandomness | Add `pthread_attr_get_np` shim |
commit | commitdiff | tree | snapshot |
2022-06-26 |
infrandomness | Add `pthread_attr_getstack` shim |
commit | commitdiff | tree | snapshot |
2022-06-26 |
infrandomness | Fix panicking ui_tests framework |
commit | commitdiff | tree | snapshot |
2022-06-26 |
infrandomness | Fix pending reviews |
commit | commitdiff | tree | snapshot |
2022-06-26 |
infrandomness | Initial freebsd work |
commit | commitdiff | tree | snapshot |
2022-06-26 |
bors | Auto merge of #2274 - RalfJung:trophy, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-26 |
Ralf Jung | trophy case: add the data race in thread::scope |
commit | commitdiff | tree | snapshot |
2022-06-26 |
bors | Auto merge of #2272 - RalfJung:progress, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-26 |
Ralf Jung | add -Zmiri-report-progress to regularly print a stacktr... |
commit | commitdiff | tree | snapshot |
2022-06-26 |
bors | Auto merge of #2270 - RalfJung:futex-ordering, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-26 |
Ralf Jung | test that futexes induce appropriate synchronization |
commit | commitdiff | tree | snapshot |
2022-06-26 |
bors | Auto merge of #2269 - RalfJung:fmt, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-26 |
Ralf Jung | make a bunch of tests look more like how they did befor... |
commit | commitdiff | tree | snapshot |
2022-06-26 |
bors | Auto merge of #2245 - saethlin:color-always, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-26 |
Ralf Jung | don't assert the same thing twice |
commit | commitdiff | tree | snapshot |
2022-06-25 |
bors | Auto merge of #2268 - RalfJung:not-unpin-protected... |
commit | commitdiff | tree | snapshot |
2022-06-25 |
Ralf Jung | test that &mut !Unpin references are protected |
commit | commitdiff | tree | snapshot |
2022-06-25 |
bors | Auto merge of #2267 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-25 |
Ralf Jung | test for forgetting locked mutex |
commit | commitdiff | tree | snapshot |
2022-06-25 |
Ralf Jung | join all the threads |
commit | commitdiff | tree | snapshot |
2022-06-25 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-06-25 |
bors | Auto merge of #2265 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-25 |
Ralf Jung | README: multi-seed loop: also test the 0 seed |
commit | commitdiff | tree | snapshot |
2022-06-25 |
bors | Auto merge of #2264 - RalfJung:not-a-fixme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-25 |
Ralf Jung | remove a FIXME that is not actually a bug |
commit | commitdiff | tree | snapshot |
2022-06-25 |
Ben Kimock | Actually pass through the request for --color=always |
commit | commitdiff | tree | snapshot |
2022-06-25 |
bors | Auto merge of #2196 - carbotaniuman:permissive-stacked... |
commit | commitdiff | tree | snapshot |
2022-06-25 |
Ralf Jung | tweaks and feedback |
commit | commitdiff | tree | snapshot |
2022-06-25 |
Ralf Jung | implement 'delimited' expose tracking so we still detec... |
commit | commitdiff | tree | snapshot |
2022-06-24 |
bors | Auto merge of #2263 - wesleywiser:update_measureme... |
commit | commitdiff | tree | snapshot |
2022-06-24 |
Wesley Wiser | Update measureme to the latest version |
commit | commitdiff | tree | snapshot |
2022-06-24 |
Ralf Jung | make the tests pass |
commit | commitdiff | tree | snapshot |
2022-06-24 |
Ralf Jung | reorganize exposure code a bit |
commit | commitdiff | tree | snapshot |
2022-06-24 |
Ralf Jung | add exposed_only_ro test |
commit | commitdiff | tree | snapshot |
2022-06-24 |
carbotaniuman | Try fix stuff |
commit | commitdiff | tree | snapshot |
2022-06-24 |
carbotaniuman | Maybe this wil work |
commit | commitdiff | tree | snapshot |
2022-06-24 |
carbotaniuman | Handle wildcard pointers in SB |
commit | commitdiff | tree | snapshot |
2022-06-24 |
bors | Auto merge of #2262 - RalfJung:zulip, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-24 |
Ralf Jung | only one Zulip cron job topic per month |
commit | commitdiff | tree | snapshot |
2022-06-23 |
bors | Auto merge of #2257 - dtolnay-contrib:rustfmt9, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-23 |
David Tolnay | Bless stderr files after rustfmt |
commit | commitdiff | tree | snapshot |
next |