| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-05-28 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-05-27 | miri: avoid making a full copy of all new allocations | Ralf Jung | -37/+19 |
| 2024-05-27 | Rollup merge of #125616 - RalfJung:mir-validate-downcast-projection, r=compil... | Matthias Krüger | -1/+1 |
| 2024-05-27 | also add type aliases for the pointer types | Ralf Jung | -148/+105 |
| 2024-05-27 | avoid repeating the Provenance parameter everywhere | Ralf Jung | -709/+585 |
| 2024-05-27 | fmt | Ralf Jung | -54/+16 |
| 2024-05-27 | Merge from rustc | Ralf Jung | -505/+458 |
| 2024-05-27 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
| 2024-05-27 | MIR validation: ensure that downcast projection is followed by field projection | Ralf Jung | -1/+1 |
| 2024-05-27 | interpret: get rid of 'mir lifetime everywhere | Ralf Jung | -493/+440 |
| 2024-05-27 | interpret: the MIR is actually at lifetime 'tcx | Ralf Jung | -23/+29 |
| 2024-05-26 | Auto merge of #3634 - RalfJung:macro_use, r=RalfJung | bors | -11/+13 |
| 2024-05-26 | avoid using macro_use | Ralf Jung | -11/+13 |
| 2024-05-26 | Auto merge of #3629 - devnexen:illumos_num_cpus, r=RalfJung | bors | -2/+32 |
| 2024-05-26 | reorder code | Ralf Jung | -1/+1 |
| 2024-05-26 | solarish platform add supports for available-parallelism. | David Carlier | -2/+32 |
| 2024-05-26 | Auto merge of #3631 - RalfJung:blocking-refactor, r=RalfJung | bors | -1043/+951 |
| 2024-05-26 | add a macro to declare thread unblock callbacks | Ralf Jung | -249/+256 |
| 2024-05-26 | Auto merge of #3632 - RalfJung:readdir, r=RalfJung | bors | -35/+33 |
| 2024-05-26 | unix/fs: a bit of cleanup in macos_fbsd_readdir_r | Ralf Jung | -35/+33 |
| 2024-05-26 | fix './miri run --dep --target _' | Ralf Jung | -1/+7 |
| 2024-05-26 | data_race: vector indices can be reused immediately when the thread is gone | Ralf Jung | -82/+37 |
| 2024-05-26 | completely refactor how we manage blocking and unblocking threads | Ralf Jung | -895/+832 |
| 2024-05-26 | make release_clock always work on the current thread | Ralf Jung | -106/+115 |
| 2024-05-25 | Merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-05-25 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-05-24 | miri: receive the blessings of validate.rs | Jubilee Young | -1/+1 |
| 2024-05-24 | Auto merge of #3626 - devnexen:pthread_name_illumos, r=oli-obk | bors | -5/+34 |
| 2024-05-24 | Auto merge of #3625 - Strophox:miri-allocation-fix, r=RalfJung | bors | -23/+24 |
| 2024-05-24 | extend comments | Ralf Jung | -2/+3 |
| 2024-05-24 | Auto merge of #3628 - RalfJung:tokio, r=RalfJung | bors | -1/+13 |
| 2024-05-24 | add back some tokio features | Ralf Jung | -1/+13 |
| 2024-05-24 | fmt | The Miri Cronjob Bot | -2/+7 |
| 2024-05-24 | Merge from rustc | The Miri Cronjob Bot | -92/+90 |
| 2024-05-24 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-05-23 | solaris add suport for threadname. | David Carlier | -5/+34 |
| 2024-05-23 | differentiate between layout and alloc_layout | Strophox | -10/+18 |
| 2024-05-23 | fix alloc_bytes (always allocate at least 1B) | Strophox | -23/+15 |
| 2024-05-23 | Rollup merge of #124976 - petrochenkov:usedcrates, r=oli-obk | Matthias Krüger | -2/+2 |
| 2024-05-23 | fmt | The Miri Cronjob Bot | -4/+1 |
| 2024-05-23 | Merge from rustc | The Miri Cronjob Bot | -345/+82 |
| 2024-05-23 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-05-23 | Auto merge of #125359 - RalfJung:interpret-overflowing-ops, r=oli-obk | bors | -90/+88 |
| 2024-05-22 | Rollup merge of #124896 - RalfJung:miri-intrinsic-fallback, r=oli-obk | León Orell Valerian Liehr | -18/+18 |
| 2024-05-22 | solaris/illumos localtime_r / clock_getime support enabled. | David Carlier | -29/+44 |
| 2024-05-22 | rustc: Use `tcx.used_crates(())` more | Vadim Petrochenkov | -2/+2 |
| 2024-05-22 | Auto merge of #117329 - RalfJung:offset-by-zero, r=oli-obk,scottmcm | bors | -327/+64 |
| 2024-05-22 | clippy | Ralf Jung | -8/+10 |
| 2024-05-22 | Merge from rustc | Ralf Jung | -20/+37 |
| 2024-05-22 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
