| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-12-09 | Auto merge of #104449 - oli-obk:unhide_unknown_spans, r=estebank,RalfJung | bors | -80/+82 |
| 2022-12-08 | add graceful shim for the custom `O_TMPFILE` linux file opening flag plus tes... | Pointerbender | -1/+40 |
| 2022-12-06 | Emit full spans in miri | Oli Scherer | -3/+2 |
| 2022-12-06 | Bless after rebase | Oli Scherer | -4/+4 |
| 2022-12-06 | Reintroduce the span printing in miri (plus point to spans where possible) | Oli Scherer | -420/+423 |
| 2022-12-06 | Remove now-redundant file/line info from const backtraces | Oli Scherer | -492/+492 |
| 2022-12-06 | Stacked Borrows: factor the logic determining the new permissions on retag in... | Ralf Jung | -167/+187 |
| 2022-12-06 | make retagging work even with 'unstable' places | Ralf Jung | -32/+72 |
| 2022-12-05 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
| 2022-12-03 | for now, do not do fake reads on non-Unpin mutable references | Ralf Jung | -54/+14 |
| 2022-12-03 | add test for self-referential future | Ralf Jung | -0/+102 |
| 2022-12-03 | clippy | Ralf Jung | -42/+15 |
| 2022-12-02 | Merge from rustc | Ralf Jung | -1/+1 |
| 2022-12-02 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
| 2022-12-02 | Auto merge of #2710 - RalfJung:ptr-tracking-ice, r=oli-obk | bors | -27/+13 |
| 2022-12-02 | Auto merge of #2711 - RalfJung:btrack, r=RalfJung | bors | -84/+62 |
| 2022-12-02 | fix ICE in pointer tracking | Ralf Jung | -27/+13 |
| 2022-12-02 | rename some more types for consistency | Ralf Jung | -26/+26 |
| 2022-12-02 | slight simplifications for borrow tracking | Ralf Jung | -58/+36 |
| 2022-12-02 | Auto merge of #2708 - RalfJung:verbose-setup, r=RalfJung | bors | -3/+6 |
| 2022-12-02 | forward verbosity to cargo setup | Ralf Jung | -3/+6 |
| 2022-12-02 | fix imports | Vanille-N | -5/+9 |
| 2022-12-02 | other renames, introduction of BorrowTrackerMethod and AllocExtra | Vanille-N | -76/+56 |
| 2022-12-02 | SbTag -> BorTag everywhere | Vanille-N | -62/+62 |
| 2022-12-02 | move stacked_borrows to borrow_tracker/stacked_borrows | Vanille-N | -291/+116 |
| 2022-12-02 | extract common borrow tracking logic | Vanille-N | -0/+365 |
| 2022-12-01 | Bump ui_test crate | Oli Scherer | -9/+9 |
| 2022-12-01 | Auto merge of #2699 - RalfJung:schedule-refactor, r=RalfJung | bors | -327/+412 |
| 2022-11-28 | Rollup merge of #104933 - RalfJung:interpret-partial-ord, r=oli-obk | Matthias Krüger | -1/+1 |
| 2022-11-28 | decreasw yield count a bit and explain reasoning a bit more | Ralf Jung | -1/+5 |
| 2022-11-28 | Auto merge of #2698 - RalfJung:miri-in-rustc, r=oli-obk | bors | -47/+14 |
| 2022-11-28 | add many-seeds capabilities to CI | Ralf Jung | -3/+16 |
| 2022-11-28 | make ./miri run a bit more silent; add option to control seeds tested by many... | Ralf Jung | -9/+16 |
| 2022-11-28 | move interpreter loop into thread manager; they are pretty tightly coupled an... | Ralf Jung | -78/+76 |
| 2022-11-28 | fix TLS on partially supported OSes | Ralf Jung | -3/+9 |
| 2022-11-28 | add scoped thread test | Ralf Jung | -0/+24 |
| 2022-11-28 | yield the main thread a number of times after its TLS dtors are done | Ralf Jung | -14/+37 |
| 2022-11-28 | cleanup global imports a bit | Ralf Jung | -5/+12 |
| 2022-11-28 | refactor scheduling of TLS dtors | Ralf Jung | -265/+268 |
| 2022-11-27 | clippy | Ralf Jung | -19/+15 |
| 2022-11-27 | advice on josh pushing | Ralf Jung | -0/+7 |
| 2022-11-27 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
| 2022-11-27 | Auto merge of #2694 - RalfJung:retag-deref-check, r=saethlin | bors | -157/+339 |
| 2022-11-27 | Auto merge of #2685 - Nilstrieb:cargo-miri-wasm, r=RalfJung | bors | -1/+3 |
| 2022-11-27 | Auto merge of #2701 - RalfJung:smoke, r=RalfJung | bors | -1/+1 |
| 2022-11-27 | run_tests_minimal: actually run the smoke test on the desired target | Ralf Jung | -1/+1 |
| 2022-11-27 | CI: fix begingroup printing | Ralf Jung | -1/+1 |
| 2022-11-27 | Use `.wasm` extension when building for wasm in cargo-miri | nils | -1/+3 |
| 2022-11-27 | replace 'locally built rustc' instructions by 'Miri in rustc' | Ralf Jung | -47/+14 |
| 2022-11-27 | nits | Ralf Jung | -2/+2 |
