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 |
2022-06-13 |
bors | Auto merge of #2179 - RalfJung:rustc, r=oli-obk |
tree | commitdiff |
2022-06-13 |
bors | Auto merge of #2203 - RalfJung:deprecate, r=oli-obk |
tree | commitdiff |
2022-06-13 |
bors | Auto merge of #2230 - scottmcm:master, r=RalfJung |
tree | commitdiff |
2022-06-13 |
Scott McMurray | Add `#![feature(yeet_expr)]` |
tree | commitdiff |
2022-06-13 |
bors | Auto merge of #2229 - DrMeepster:patch-1, r=RalfJung |
tree | commitdiff |
2022-06-12 |
bors | Auto merge of #2195 - RalfJung:vtable-validation, r... |
tree | commitdiff |
2022-06-12 |
Ralf Jung | rename ExperimentalUb → StackedBorrowsUb |
tree | commitdiff |
2022-06-12 |
bors | Auto merge of #2226 - InfRandomness:unix-helpers, r... |
tree | commitdiff |
2022-06-11 |
Andy Wang | Prevent futex_wait from reading outdated value |
tree | commitdiff |
2022-06-11 |
infrandomness | Add `assert_target_os_is_unix` function |
tree | commitdiff |
2022-06-11 |
infrandomness | Add target_os_is_unix helper |
tree | commitdiff |
2022-06-11 |
bors | Auto merge of #2227 - RalfJung:doc, r=RalfJung |
tree | commitdiff |
2022-06-11 |
bors | Auto merge of #2215 - InfRandomness:getpid_shim, r... |
tree | commitdiff |
2022-06-11 |
Ralf Jung | make some rustdoc comments more readable |
tree | commitdiff |
2022-06-11 |
bors | Auto merge of #2222 - InfRandomness:cargo-docs, r=RalfJung |
tree | commitdiff |
2022-06-11 |
InfRandomness | Add getpid shim |
tree | commitdiff |
2022-06-11 |
infrandomness | Add mandatory cargo_doc |
tree | commitdiff |
2022-06-11 |
bors | Auto merge of #2225 - RalfJung:frame-in-std-inlined... |
tree | commitdiff |
2022-06-11 |
Ralf Jung | make frame_in_std check work with inlining |
tree | commitdiff |
2022-06-08 |
bors | Auto merge of #2218 - Nilstrieb:faster-tag-partial... |
tree | commitdiff |
2022-06-08 |
Nilstrieb | Add comment to explain manual optimization |
tree | commitdiff |
2022-06-08 |
Nilstrieb | Allow `clippy::derive_hash_xor_eq` |
tree | commitdiff |
2022-06-08 |
Nilstrieb | Optimize `SbTag::eq` |
tree | commitdiff |
2022-06-08 |
bors | Auto merge of #2217 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-06-08 |
Ralf Jung | rustup |
tree | commitdiff |
2022-06-08 |
bors | Auto merge of #2216 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-06-08 |
Ralf Jung | some clippy-induced cleanup |
tree | commitdiff |
2022-06-07 |
bors | Auto merge of #2213 - RalfJung:clippy, r=RalfJung |
tree | commitdiff |
2022-06-07 |
Ralf Jung | silence another clippy lint |
tree | commitdiff |
2022-06-07 |
bors | Auto merge of #2212 - RalfJung:cargo-miri, r=RalfJung |
tree | commitdiff |
2022-06-07 |
bors | Auto merge of #2211 - InfRandomness:typo, r=RalfJung |
tree | commitdiff |
2022-06-07 |
InfRandomness | Fix typo |
tree | commitdiff |
2022-06-07 |
bors | Auto merge of #2208 - RalfJung:preempt, r=RalfJung |
tree | commitdiff |
2022-06-07 |
Ralf Jung | remove warning about thread support being experimental |
tree | commitdiff |
2022-06-07 |
Ralf Jung | make scheduler preemptive, with configurable preemption... |
tree | commitdiff |
2022-06-07 |
Ralf Jung | rename AllocationMap → RangeObjectMap |
tree | commitdiff |
2022-06-06 |
Ralf Jung | deprecate -Zmiri-allow-uninit-numbers and -Zmiri-allow... |
tree | commitdiff |
2022-06-06 |
bors | Auto merge of #1963 - cbeuw:weak-memory, r=RalfJung |
tree | commitdiff |
2022-06-06 |
Andy Wang | Make racy imperfectly overlapping atomic access unsuppo... |
tree | commitdiff |
2022-06-06 |
Andy Wang | Add more backgrounds on lazy store buffers |
tree | commitdiff |
2022-06-06 |
Andy Wang | Remove unused lifetimes |
tree | commitdiff |
2022-06-06 |
Andy Wang | Give flag temp disabling race detector a better name |
tree | commitdiff |
2022-06-06 |
Andy Wang | Refer to GitHub issue on overwritten init value |
tree | commitdiff |
2022-06-06 |
Andy Wang | Forbade all racing mixed size atomic accesses |
tree | commitdiff |
2022-06-06 |
Andy Wang | Move logic out of machine.rs |
tree | commitdiff |
2022-06-06 |
Andy Wang | Wording improvements |
tree | commitdiff |
2022-06-06 |
Andy Wang | Update experimental threading warning |
tree | commitdiff |
2022-06-06 |
Andy Wang | Split extra_cpp tests into sound and unsafe |
tree | commitdiff |
2022-06-06 |
Andy Wang | Allow non-racy mixed size accesses |
tree | commitdiff |
next |