| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-12-06 | Reintroduce the span printing in miri (plus point to spans where possible) | Oli Scherer | -4/+4 |
| 2022-12-06 | Remove now-redundant file/line info from const backtraces | Oli Scherer | -6/+6 |
| 2022-12-03 | add test for self-referential future | Ralf Jung | -0/+102 |
| 2022-11-28 | add scoped thread test | Ralf Jung | -0/+24 |
| 2022-11-26 | support no_std on Windows | Ralf Jung | -4/+0 |
| 2022-11-20 | make align_offset always work on no-provenance pointers | Ralf Jung | -0/+6 |
| 2022-11-20 | fix unused warning in a test | Ralf Jung | -1/+1 |
| 2022-11-18 | Delete miri test | Michael Goulet | -24/+0 |
| 2022-11-16 | Auto merge of #104456 - RalfJung:miri, r=RalfJung | bors | -0/+29 |
| 2022-11-15 | Auto merge of #104054 - RalfJung:byte-provenance, r=oli-obk | bors | -0/+139 |
| 2022-11-13 | Auto merge of #2657 - mkroening:miri-alloc, r=RalfJung | bors | -0/+29 |
| 2022-11-13 | final tweaks | Ralf Jung | -1/+1 |
| 2022-11-11 | Rollup merge of #104051 - RalfJung:miri, r=RalfJung | Manish Goregaokar | -20/+350 |
| 2022-11-10 | Merge from rustc | Ralf Jung | -1/+0 |
| 2022-11-09 | Rollup merge of #103570 - lukas-code:stabilize-ilog, r=scottmcm | Dylan DPC | -1/+0 |
| 2022-11-07 | Add miri_alloc, miri_dealloc | Martin Kröning | -0/+29 |
| 2022-11-06 | interpret: support for per-byte provenance | Ralf Jung | -0/+139 |
| 2022-11-05 | fix shared behavior and add tests | DrMeepster | -0/+287 |
| 2022-11-05 | impl condvars for windows | DrMeepster | -18/+4 |
| 2022-11-03 | clarify no_data_race_after_complete test | DrMeepster | -2/+2 |
| 2022-10-30 | add acquire when init once is already complete | DrMeepster | -0/+38 |
| 2022-10-29 | Stacked Borrows: make scalar field retagging the default | Ralf Jung | -2/+21 |
| 2022-10-28 | relative futex and condvar timeouts can work with isolation | Ralf Jung | -0/+12 |
| 2022-10-28 | test most sync primitives on Windows | Ralf Jung | -5/+16 |
| 2022-10-28 | threadleak_ignored should now pass with preemption (the issue has been fixed ... | Ralf Jung | -2/+1 |
| 2022-10-28 | implement thread parking on Windows | Ralf Jung | -3/+0 |
| 2022-10-28 | update ignore-windows comments | Ralf Jung | -5/+4 |
| 2022-10-27 | Implement `ptr_mask` intrinsic | Maybe Waffle | -0/+18 |
| 2022-10-26 | stabilize `int_log` | Lukas Markeffsky | -1/+0 |
| 2022-10-25 | Rename, improve docs, fail better | Ben Kimock | -7/+25 |
| 2022-10-22 | add scalar-abi-only field retagging option | Ralf Jung | -0/+19 |
| 2022-10-21 | Auto merge of #2610 - RalfJung:issue-1909, r=RalfJung | bors | -0/+57 |
| 2022-10-21 | add test for #1909 | Ralf Jung | -0/+57 |
| 2022-10-21 | test is_terminal | Ralf Jung | -1/+13 |
| 2022-10-21 | split libc tests from stdlib tests | Ralf Jung | -0/+416 |
| 2022-10-20 | Auto merge of #2601 - DrMeepster:windows_init_once, r=RalfJung | bors | -0/+144 |
| 2022-10-20 | add test for init once | DrMeepster | -0/+144 |
| 2022-10-19 | Magic functions for writing to stdout/stderr. | Cliff L. Biffle | -2/+23 |
| 2022-10-19 | Auto merge of #2600 - saethlin:ice, r=RalfJung | bors | -0/+21 |
| 2022-10-19 | Never start the Stack::retain loop at offset 0 so that the left element is al... | Ben Kimock | -0/+21 |
| 2022-10-15 | Replace tags in stdout | Ben Kimock | -5/+5 |
| 2022-10-14 | Add a test | Ben Kimock | -0/+34 |
| 2022-10-09 | 1/1000 events do happen sometimes... | Ralf Jung | -1/+1 |
| 2022-10-07 | rustup | Ralf Jung | -1/+3 |
| 2022-10-06 | Auto merge of #102573 - RalfJung:mirisync, r=oli-obk | bors | -0/+8 |
| 2022-09-27 | Stabilize bench_black_box | Urgau | -2/+1 |
| 2022-09-23 | add flag to specify the number of cpus | Christian Poveda | -0/+8 |
| 2022-09-22 | add regression test for miri issue 2433 | Ralf Jung | -0/+22 |
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+12541 |
