2022-07-04 |
bors | Auto merge of #2327 - RalfJung:unit-return, r=RalfJung |
tree | commitdiff |
2022-07-04 |
Ralf Jung | call_function: make the unit-return-type case more... |
tree | commitdiff |
2022-07-03 |
bors | Auto merge of #2319 - RalfJung:dont-touch-vtables,... |
tree | commitdiff |
2022-07-03 |
Ralf Jung | fix retagging of vtable ptrs |
tree | commitdiff |
2022-07-03 |
bors | Auto merge of #2318 - RalfJung:nodoc, r=RalfJung |
tree | commitdiff |
2022-07-03 |
bors | Auto merge of #1935 - saethlin:optimize-sb, r=RalfJung |
tree | commitdiff |
2022-07-03 |
Ben Kimock | Typo |
tree | commitdiff |
2022-07-02 |
Ben Kimock | Explain cache behavior a bit better, clean up diff |
tree | commitdiff |
2022-07-02 |
bors | Auto merge of #2312 - RalfJung:misc, r=RalfJung |
tree | commitdiff |
2022-07-02 |
Ralf Jung | put call to stacked borrows end_call in a more sensible... |
tree | commitdiff |
2022-07-02 |
bors | Auto merge of #2311 - RalfJung:many-seeds, r=RalfJung |
tree | commitdiff |
2022-07-02 |
Ben Kimock | Explain the behavior of the cache upon clear |
tree | commitdiff |
2022-07-02 |
bors | Auto merge of #2308 - RalfJung:ptr-tacking, r=RalfJung |
tree | commitdiff |
2022-07-02 |
Ralf Jung | pointer tag tracking: on creation, log the offsets... |
tree | commitdiff |
2022-07-02 |
bors | Auto merge of #2306 - RalfJung:unix, r=RalfJung |
tree | commitdiff |
2022-07-02 |
Ralf Jung | posix_fadvise is not Linux-specific |
tree | commitdiff |
2022-07-02 |
Ralf Jung | move some POSIX file shims from linux to unix module |
tree | commitdiff |
2022-07-02 |
bors | Auto merge of #2300 - InfRandomness:freebsd-environ... |
tree | commitdiff |
2022-07-02 |
bors | Auto merge of #2305 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-07-02 |
InfRandomness | Add `environ` extern implementation to freebsd |
tree | commitdiff |
2022-07-02 |
bors | Auto merge of #2304 - LegNeato:shim-fstat64-mac, r... |
tree | commitdiff |
2022-07-02 |
Christian Legnitto | Support (stat/fstat/lstat)64 on macos |
tree | commitdiff |
2022-07-02 |
Ben Kimock | Document implementation a bit, add some fast paths |
tree | commitdiff |
2022-07-02 |
bors | Auto merge of #2302 - RalfJung:datarace, r=RalfJung |
tree | commitdiff |
2022-07-02 |
Ralf Jung | fix and slightly improve data race reports |
tree | commitdiff |
2022-07-01 |
Ben Kimock | Cache lookups into the borrow stack |
tree | commitdiff |
2022-07-01 |
Ralf Jung | avoid copying thread manager state in data race detector |
tree | commitdiff |
2022-07-01 |
Ralf Jung | rename some data_race types for more clarity |
tree | commitdiff |
2022-07-01 |
bors | Auto merge of #2298 - InfRandomness:shim-error, r=RalfJung |
tree | commitdiff |
2022-07-01 |
InfRandomness | Add `__error` to freebsd shims |
tree | commitdiff |
2022-07-01 |
bors | Auto merge of #2297 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-07-01 |
Ralf Jung | make clippy happy |
tree | commitdiff |
2022-07-01 |
Ralf Jung | rustup |
tree | commitdiff |
2022-07-01 |
bors | Auto merge of #2295 - RalfJung:better-alloc-tracking... |
tree | commitdiff |
2022-07-01 |
Ralf Jung | allocation tracking: also print size, alignment, kind... |
tree | commitdiff |
2022-06-30 |
bors | Auto merge of #2293 - RalfJung:env, r=RalfJung |
tree | commitdiff |
2022-06-30 |
Ralf Jung | make -Zmiri-env-forward take precedence over -Zmiri... |
tree | commitdiff |
2022-06-30 |
bors | Auto merge of #2290 - RalfJung:snakessss, r=RalfJung |
tree | commitdiff |
2022-06-30 |
Ralf Jung | use Rust SnakeCase |
tree | commitdiff |
2022-06-29 |
bors | Auto merge of #2287 - RalfJung:field-retagging, r=RalfJung |
tree | commitdiff |
2022-06-29 |
bors | Auto merge of #2286 - LegNeato:patch-2, r=RalfJung |
tree | commitdiff |
2022-06-29 |
Ralf Jung | add option for recursive field retagging |
tree | commitdiff |
2022-06-29 |
Christian Legnitto | Support `gettimeofday` on more than macos |
tree | commitdiff |
2022-06-29 |
bors | Auto merge of #2283 - RalfJung:color, r=RalfJung |
tree | commitdiff |
2022-06-29 |
bors | Auto merge of #2281 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-06-29 |
Ralf Jung | fmt |
tree | commitdiff |
2022-06-29 |
Ralf Jung | also prune caller_location frames when backtrace=off |
tree | commitdiff |
2022-06-29 |
Ralf Jung | rustup |
tree | commitdiff |
2022-06-28 |
bors | Auto merge of #2280 - RalfJung:int2ptr, r=RalfJung |
tree | commitdiff |
2022-06-28 |
Ralf Jung | tweak int2ptr diagnostics |
tree | commitdiff |
2022-06-28 |
bors | Auto merge of #2279 - RalfJung:adjacent-allocs, r=RalfJung |
tree | commitdiff |
2022-06-28 |
Ralf Jung | finally we can actually have adjacent allocations :) |
tree | commitdiff |
2022-06-28 |
bors | Auto merge of #2278 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-06-28 |
Ralf Jung | make use of get_alloc_info |
tree | commitdiff |
2022-06-28 |
bors | Auto merge of #2275 - RalfJung:permissive-provenance... |
tree | commitdiff |
2022-06-28 |
Ralf Jung | show int2ptr warning once for each span (but don't... |
tree | commitdiff |
2022-06-28 |
Ralf Jung | fix warning text |
tree | commitdiff |
2022-06-27 |
bors | Auto merge of #2221 - InfRandomness:freebsd-target... |
tree | commitdiff |
2022-06-27 |
Ralf Jung | improve old comment |
tree | commitdiff |
2022-06-27 |
bors | Auto merge of #2276 - RalfJung:join, r=RalfJung |
tree | commitdiff |
2022-06-27 |
Ralf Jung | typo |
tree | commitdiff |
2022-06-27 |
Ralf Jung | avoid unnecessary indirection in miri-track-raw-pointer... |
tree | commitdiff |
2022-06-27 |
Ralf Jung | fmt |
tree | commitdiff |
2022-06-27 |
Ralf Jung | remove support for untagged pointers |
tree | commitdiff |
2022-06-27 |
Ralf Jung | more int2ptr cast tests, and fix casting of addresses... |
tree | commitdiff |
2022-06-27 |
Ralf Jung | make permissive provenance and raw-ptr tagging the... |
tree | commitdiff |
2022-06-26 |
infrandomness | Cargo fmt |
tree | commitdiff |
2022-06-26 |
infrandomness | Address code review |
tree | commitdiff |
2022-06-26 |
infrandomness | Add `pthread_attr_get_np` shim |
tree | commitdiff |
2022-06-26 |
infrandomness | Add `pthread_attr_getstack` shim |
tree | commitdiff |
2022-06-26 |
infrandomness | Fix panicking ui_tests framework |
tree | commitdiff |
2022-06-26 |
infrandomness | Fix pending reviews |
tree | commitdiff |
2022-06-26 |
infrandomness | Initial freebsd work |
tree | commitdiff |
2022-06-26 |
bors | Auto merge of #2272 - RalfJung:progress, r=RalfJung |
tree | commitdiff |
2022-06-26 |
Ralf Jung | add -Zmiri-report-progress to regularly print a stacktr... |
tree | commitdiff |
2022-06-26 |
bors | Auto merge of #2245 - saethlin:color-always, r=RalfJung |
tree | commitdiff |
2022-06-25 |
bors | Auto merge of #2264 - RalfJung:not-a-fixme, r=RalfJung |
tree | commitdiff |
2022-06-25 |
Ralf Jung | remove a FIXME that is not actually a bug |
tree | commitdiff |
2022-06-25 |
bors | Auto merge of #2196 - carbotaniuman:permissive-stacked... |
tree | commitdiff |
2022-06-25 |
Ralf Jung | tweaks and feedback |
tree | commitdiff |
2022-06-25 |
Ralf Jung | implement 'delimited' expose tracking so we still detec... |
tree | commitdiff |
2022-06-24 |
Ralf Jung | make the tests pass |
tree | commitdiff |
2022-06-24 |
Ralf Jung | reorganize exposure code a bit |
tree | commitdiff |
2022-06-24 |
carbotaniuman | Try fix stuff |
tree | commitdiff |
2022-06-24 |
carbotaniuman | Maybe this wil work |
tree | commitdiff |
2022-06-24 |
carbotaniuman | Handle wildcard pointers in SB |
tree | commitdiff |
2022-06-23 |
bors | Auto merge of #2261 - RalfJung:fmt, r=oli-obk |
tree | commitdiff |
2022-06-23 |
bors | Auto merge of #2250 - rust-lang:gesundheit, r=oli-obk |
tree | commitdiff |
2022-06-22 |
bors | Auto merge of #2248 - RalfJung:arc-drop-fix, r=RalfJung |
tree | commitdiff |
2022-06-22 |
bors | Auto merge of #2252 - dtolnay-contrib:rustfmt5, r=oli-obk |
tree | commitdiff |
2022-06-22 |
bors | Auto merge of #2251 - dtolnay-contrib:rustfmt4, r=RalfJung |
tree | commitdiff |
2022-06-22 |
bors | Auto merge of #2241 - RalfJung:extern_static_in_const... |
tree | commitdiff |
2022-06-22 |
Ralf Jung | fix ICE when const refers to extern static |
tree | commitdiff |
2022-06-22 |
Ralf Jung | check that tag_alloc_base_pointer is not called on... |
tree | commitdiff |
2022-06-21 |
Ralf Jung | do not protect SRW items |
tree | commitdiff |
2022-06-19 |
bors | Auto merge of #2240 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
2022-06-18 |
bors | Auto merge of #2228 - cbeuw:futex-fix, r=RalfJung |
tree | commitdiff |
2022-06-18 |
Ralf Jung | tweak correctness comment |
tree | commitdiff |
2022-06-15 |
Andy Wang | Elaborate correctness comments |
tree | commitdiff |
2022-06-13 |
bors | Auto merge of #2232 - rust-lang:gesundheit, r=oli-obk |
tree | commitdiff |
next |