| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-07-26 | better diagnostics for Tree Borrows + int2ptr casts | Ralf Jung | -33/+0 | |
| 2024-07-24 | show warning when Stacked Borrows skips a reborrow due to 'extern type' | Ralf Jung | -5/+5 | |
| 2024-06-17 | tell people how to set miri flags | Ralf Jung | -4/+3 | |
| 2024-03-23 | rename ptr::from_exposed_addr -> ptr::with_exposed_provenance | Ralf Jung | -3/+3 | |
| 2024-03-02 | print thread name in miri error backtraces | Ralf Jung | -0/+1 | |
| 2023-03-16 | TB: select tests to run both TB and SB | Neven Villani | -0/+33 | |
