2023-01-24 |
Ben Kimock | Thread a ParamEnv down to might_permit_raw_init
|
commit | commitdiff | tree |
2023-01-15 |
Ben Kimock | InstCombine away intrinsic validity assertions
|
commit | commitdiff | tree |
2023-01-11 |
Ben Kimock | Add a regression test for argument copies with DestinationPr...
|
commit | commitdiff | tree |
2023-01-02 |
Ben Kimock | Always take advantage of arithmetic identities
|
commit | commitdiff | tree |
2022-12-23 |
Ben Kimock | Mention and number the components of a race in the...
|
commit | commitdiff | tree |
2022-12-22 |
Ben Kimock | Add a (1) and (2) to the data race errors
|
commit | commitdiff | tree |
2022-12-22 |
Ben Kimock | Fix phrasing
|
commit | commitdiff | tree |
2022-12-22 |
Ben Kimock | Clean up implementation, deduplicate in errors
|
commit | commitdiff | tree |
2022-12-21 |
Ben Kimock | Re-enable the VClock ordering tests
|
commit | commitdiff | tree |
2022-12-21 |
Ben Kimock | Fix span management
|
commit | commitdiff | tree |
2022-12-16 |
Ben Kimock | Include a Span in VClock
|
commit | commitdiff | tree |
2022-12-04 |
Ben Kimock | Re-enable removal of ZST writes to unions
|
commit | commitdiff | tree |
2022-11-29 |
Ben Kimock | Adjust inlining attributes around panic_immediate_abort
|
commit | commitdiff | tree |
2022-11-25 |
Ben Kimock | Use None when the stack is empty
|
commit | commitdiff | tree |
2022-11-23 |
Ben Kimock | Update src/machine.rs
|
commit | commitdiff | tree |
2022-11-22 |
Ben Kimock | Document is_user_relevant
|
commit | commitdiff | tree |
2022-11-21 |
Ben Kimock | Incrementally track which frame to use for diagnostics
|
commit | commitdiff | tree |
2022-11-06 |
Ben Kimock | Add a codegen test for rust-lang/rust#96152
|
commit | commitdiff | tree |
2022-10-28 |
Ben Kimock | Do fewer passes and generally be more efficient when...
|
commit | commitdiff | tree |
2022-10-27 |
Ben Kimock | Print the precondition we violated, and visible through...
|
commit | commitdiff | tree |
2022-10-26 |
Ben Kimock | Update library/core/src/ptr/mod.rs
|
commit | commitdiff | tree |
2022-10-25 |
Ben Kimock | Try to say that memory outside the AM is always exposed
|
commit | commitdiff | tree |
2022-10-25 |
Ben Kimock | Rename, improve docs, fail better
|
commit | commitdiff | tree |
2022-10-21 |
Ben Kimock | Add a missing precondition check
|
commit | commitdiff | tree |
2022-10-20 |
Ben Kimock | Use a faster allocation size check in slice::from_raw_parts
|
commit | commitdiff | tree |
2022-10-19 |
Ben Kimock | Never start the Stack::retain loop at offset 0 so that...
|
commit | commitdiff | tree |
2022-10-18 |
Ben Kimock | Add docs
|
commit | commitdiff | tree |
2022-10-15 |
Ben Kimock | Replace tags in stdout
|
commit | commitdiff | tree |
2022-10-15 |
Ben Kimock | Add a test
|
commit | commitdiff | tree |
2022-10-14 |
Ben Kimock | Implement a crude stack printing mechanism
|
commit | commitdiff | tree |
2022-10-09 |
Ben Kimock | Add a regression test for #39137
|
commit | commitdiff | tree |
2022-10-07 |
Ben Kimock | Avoid defensive re-initialization of the BufReader...
|
commit | commitdiff | tree |
2022-10-04 |
Ben Kimock | Finish TimeoutCallback
|
commit | commitdiff | tree |
2022-10-04 |
Ben Kimock | Please help, where is this lifetime bound coming from
|
commit | commitdiff | tree |
2022-10-04 |
Ben Kimock | Use static dispatch in the visitor
|
commit | commitdiff | tree |
2022-10-04 |
Ben Kimock | Use VisitProvenance to factor allocation visiting better
|
commit | commitdiff | tree |
2022-10-04 |
Ben Kimock | A bit of cleanup
|
commit | commitdiff | tree |
2022-10-04 |
Ben Kimock | Expand VisitMachineValues to cover more pointers in...
|
commit | commitdiff | tree |
2022-09-22 |
Ben Kimock | Only add 'inside this call' for Invalidation diagnostics
|
commit | commitdiff | tree |
2022-09-21 |
Ben Kimock | Don't move too far down the call stack when reporting...
|
commit | commitdiff | tree |
2022-09-15 |
Ben Kimock | don't use egrep, we don't need it
|
commit | commitdiff | tree |
2022-09-13 |
Ben Kimock | Linux has more testing, we should do the extra checks...
|
commit | commitdiff | tree |
2022-09-11 |
Ben Kimock | In CI set the GC interval to 1 for Linux only
|
commit | commitdiff | tree |
2022-09-11 |
Ben Kimock | Implement -Zmiri-tag-gc a garbage collector for tags
|
commit | commitdiff | tree |
2022-09-10 |
Ben Kimock | Alternate approach; just modify Drain
|
commit | commitdiff | tree |
2022-09-10 |
Ben Kimock | Remove &[T] from vec_deque::Drain
|
commit | commitdiff | tree |
2022-09-03 |
Ben Kimock | Add a Machine hook for inline assembly
|
commit | commitdiff | tree |
2022-09-03 |
Ben Kimock | rustup: bring in Miri backtrace-rs pruning fix
|
commit | commitdiff | tree |
2022-09-03 |
Ben Kimock | Add support for BCRYPT_RNG_ALG_HANDLE
|
commit | commitdiff | tree |
2022-09-02 |
Ben Kimock | Update backtrace
|
commit | commitdiff | tree |
2022-09-01 |
Ben Kimock | Sort tests at compile time, not at startup
|
commit | commitdiff | tree |
2022-09-01 |
Ben Kimock | Add a protector test that demonstrates the base tag...
|
commit | commitdiff | tree |
2022-08-29 |
Ben Kimock | Use the better FnEntry spans in protector errors
|
commit | commitdiff | tree |
2022-08-29 |
Ben Kimock | Skip field retagging on ZSTs, it can take forever
|
commit | commitdiff | tree |
2022-08-28 |
Ben Kimock | Use the declaration's SourceInfo for FnEntry retags...
|
commit | commitdiff | tree |
2022-08-18 |
Ben Kimock | some CurrentSpan cleanup
|
commit | commitdiff | tree |
2022-08-18 |
Ben Kimock | Clean up diff churn a bit, adjust comments
|
commit | commitdiff | tree |
2022-08-18 |
Ben Kimock | Improve information sharing across SB diagnostics
|
commit | commitdiff | tree |
2022-08-16 |
Ben Kimock | rustup
|
commit | commitdiff | tree |
2022-08-16 |
Ben Kimock | Rename memory hooks
|
commit | commitdiff | tree |
2022-08-15 |
Ben Kimock | Rename Machine memory hooks to suggest when they run
|
commit | commitdiff | tree |
2022-08-01 |
Ben Kimock | Add back Send and Sync impls on ChunksMut iterators
|
commit | commitdiff | tree |
2022-07-27 |
Ben Kimock | Use real exec on cfg(unix) targets
|
commit | commitdiff | tree |
2022-07-27 |
Ben Kimock | Clarify safety comments
|
commit | commitdiff | tree |
2022-07-27 |
Ben Kimock | Add Buffer::consume_with to enable direct buffer access...
|
commit | commitdiff | tree |
2022-07-26 |
Ben Kimock | Explain how *mut [T] helps, and how we rely on the...
|
commit | commitdiff | tree |
2022-07-24 |
Ben Kimock | Rename and document the new BufReader internals
|
commit | commitdiff | tree |
2022-07-24 |
Ben Kimock | Allow Buffer methods to inline
|
commit | commitdiff | tree |
2022-07-24 |
Ben Kimock | Remove some redundant checks from BufReader
|
commit | commitdiff | tree |
2022-07-22 |
Ben Kimock | Lock stdout once when listing tests
|
commit | commitdiff | tree |
2022-07-20 |
Ben Kimock | Clarify implementation a bit
|
commit | commitdiff | tree |
2022-07-20 |
Ben Kimock | Add a minimal reproducer of the ICE
|
commit | commitdiff | tree |
2022-07-20 |
Ben Kimock | Fix bugs where unique_range became invalid
|
commit | commitdiff | tree |
2022-07-18 |
Ben Kimock | Test that isatty doesn't crash
|
commit | commitdiff | tree |
2022-07-17 |
Ben Kimock | Pass through isatty if the host is also unix
|
commit | commitdiff | tree |
2022-07-16 |
Ben Kimock | Rearrange slice::split_mut to remove bounds check
|
commit | commitdiff | tree |
2022-07-13 |
Ben Kimock | Add a benchmark of the hang-on-test-failure code path
|
commit | commitdiff | tree |
2022-07-13 |
Ben Kimock | Rearrange and document the new implementation
|
commit | commitdiff | tree |
2022-07-13 |
Ben Kimock | Store protectors outside Item, pack Tag and Perm
|
commit | commitdiff | tree |
2022-07-03 |
Ben Kimock | Fix slice::ChunksMut aliasing
|
commit | commitdiff | tree |
2022-07-03 |
Ben Kimock | Typo
|
commit | commitdiff | tree |
2022-07-02 |
Ben Kimock | Explain cache behavior a bit better, clean up diff
|
commit | commitdiff | tree |
2022-07-02 |
Ben Kimock | Explain the behavior of the cache upon clear
|
commit | commitdiff | tree |
2022-07-02 |
Ben Kimock | Document implementation a bit, add some fast paths
|
commit | commitdiff | tree |
2022-07-01 |
Ben Kimock | Cache lookups into the borrow stack
|
commit | commitdiff | tree |
2022-06-25 |
Ben Kimock | Actually pass through the request for --color=always
|
commit | commitdiff | tree |
2022-06-20 |
Ben Kimock | Pass --color=always through cargo-miri
|
commit | commitdiff | tree |
2022-06-09 |
Ben Kimock | Add more bench-cargo-miri programs
|
commit | commitdiff | tree |
2022-06-07 |
Ben Kimock | Use repr(C) when depending on struct layout in ptr...
|
commit | commitdiff | tree |
2022-05-30 |
Ben Kimock | Add support for _COARSE clocks, spruce up comments
|
commit | commitdiff | tree |
2022-05-29 |
Ben Kimock | Save a created event for zero-size reborrows
|
commit | commitdiff | tree |
2022-05-22 |
Ben Kimock | Factor current-span logic into a lazy caching handle
|
commit | commitdiff | tree |
2022-05-22 |
Ben Kimock | Handle diagnotics emitted in runtime initialization
|
commit | commitdiff | tree |
2022-05-21 |
Ben Kimock | Make allow_data_races_* public to silence data races...
|
commit | commitdiff | tree |
2022-05-19 |
Ben Kimock | Pass the correct size to the AllocRange for log_creation
|
commit | commitdiff | tree |
2022-05-13 |
Ben Kimock | More review feedback
|
commit | commitdiff | tree |
2022-05-12 |
Ben Kimock | Cleanup/Refactoring from review
|
commit | commitdiff | tree |
2022-04-30 |
Ben Kimock | Pass AccessKind to check_protector
|
commit | commitdiff | tree |
2022-04-30 |
Ben Kimock | Move SB diagnostics to a module
|
commit | commitdiff | tree |
2022-04-30 |
Ben Kimock | Set the current span (somewhat) lazily
|
commit | commitdiff | tree |
next |