2022-07-03 |
Ralf Jung | move arc_drop test to miri-test-libstd |
commit | commitdiff | tree | snapshot |
2022-07-02 |
bors | Auto merge of #2312 - RalfJung:misc, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-07-02 |
Ralf Jung | readme tweaks |
commit | commitdiff | tree | snapshot |
2022-07-02 |
Ralf Jung | put call to stacked borrows end_call in a more sensible... |
commit | commitdiff | tree | snapshot |
2022-07-02 |
bors | Auto merge of #2311 - RalfJung:many-seeds, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-07-02 |
Ralf Jung | ./miri many-seeds: also print the seed before we try it |
commit | commitdiff | tree | snapshot |
2022-07-02 |
bors | Auto merge of #2309 - RalfJung:read_link, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-07-02 |
Ralf Jung | test fs::read_link surface function |
commit | commitdiff | tree | snapshot |
2022-07-02 |
bors | Auto merge of #2308 - RalfJung:ptr-tacking, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-07-02 |
Ralf Jung | pointer tag tracking: on creation, log the offsets... |
commit | commitdiff | tree | snapshot |
2022-07-02 |
bors | Auto merge of #2306 - RalfJung:unix, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-07-02 |
Ralf Jung | posix_fadvise is not Linux-specific |
commit | commitdiff | tree | snapshot |
2022-07-02 |
Ralf Jung | male libc.rs at least build on FreeBSD |
commit | commitdiff | tree | snapshot |
2022-07-02 |
Ralf Jung | move some POSIX file shims from linux to unix module |
commit | commitdiff | tree | snapshot |
2022-07-02 |
bors | Auto merge of #2300 - InfRandomness:freebsd-environ... |
commit | commitdiff | tree | snapshot |
2022-07-02 |
bors | Auto merge of #2305 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-07-02 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-07-02 |
InfRandomness | Enable env test on freebsd |
commit | commitdiff | tree | snapshot |
2022-07-02 |
InfRandomness | Add `environ` extern implementation to freebsd |
commit | commitdiff | tree | snapshot |
2022-07-02 |
bors | Auto merge of #2304 - LegNeato:shim-fstat64-mac, r... |
commit | commitdiff | tree | snapshot |
2022-07-02 |
Christian Legnitto | Support (stat/fstat/lstat)64 on macos |
commit | commitdiff | tree | snapshot |
2022-07-02 |
bors | Auto merge of #2302 - RalfJung:datarace, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-07-02 |
Ralf Jung | fix and slightly improve data race reports |
commit | commitdiff | tree | snapshot |
2022-07-01 |
Ralf Jung | avoid copying thread manager state in data race detector |
commit | commitdiff | tree | snapshot |
2022-07-01 |
Ralf Jung | rename some data_race types for more clarity |
commit | commitdiff | tree | snapshot |
2022-07-01 |
bors | Auto merge of #2299 - RalfJung:bsd, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-07-01 |
Ralf Jung | run data_race tests on bsd |
commit | commitdiff | tree | snapshot |
2022-07-01 |
Ralf Jung | more current_dir tests for freebsd |
commit | commitdiff | tree | snapshot |
2022-07-01 |
bors | Auto merge of #2298 - InfRandomness:shim-error, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-07-01 |
InfRandomness | Add `current_dir_with_isolation` to freebsd tests list |
commit | commitdiff | tree | snapshot |
2022-07-01 |
InfRandomness | Add `__error` to freebsd shims |
commit | commitdiff | tree | snapshot |
2022-07-01 |
bors | Auto merge of #2297 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-07-01 |
Ralf Jung | make clippy happy |
commit | commitdiff | tree | snapshot |
2022-07-01 |
bors | Auto merge of #2296 - RalfJung:miri-script, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-07-01 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
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 |
next |