| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-09-09 | Update the MIRI tests | Scott McMurray | -30/+30 |
| 2024-09-10 | Auto merge of #129778 - RalfJung:interp-lossy-typed-copy, r=saethlin | bors | -12/+503 |
| 2024-09-09 | sync: store extra sync primitive data in a Box<dyn Any> so the type can be ke... | Ralf Jung | -66/+59 |
| 2024-09-09 | sync methods: pass around places, not pointer-typed operands | Ralf Jung | -95/+69 |
| 2024-09-09 | Auto merge of #3871 - Mandragorian:detect_rwlock_move, r=RalfJung | bors | -5/+68 |
| 2024-09-09 | Auto merge of #3872 - trivikr:actions-checkout-v4, r=RalfJung | bors | -2/+2 |
| 2024-09-09 | fix UB in a test | Ralf Jung | -2/+35 |
| 2024-09-09 | use fd_num for file descriptors, so we can use fd for file description | Ralf Jung | -92/+83 |
| 2024-09-09 | ci: bump actions/checkout to v4 | Trivikram Kamat | -2/+2 |
| 2024-09-09 | union padding computation: add fast-path for ZST | Ralf Jung | -0/+15 |
| 2024-09-09 | Rollup merge of #130130 - RalfJung:miri-sync, r=RalfJung | Jubilee | -287/+523 |
| 2024-09-09 | detect when pthread_rwlock_t is moved | Konstantinos Andrikopoulos | -5/+68 |
| 2024-09-08 | interpret: reset padding during validation | Ralf Jung | -15/+249 |
| 2024-09-08 | interpret: reset provenance on typed copies | Ralf Jung | -3/+212 |
| 2024-09-08 | interpret: remove Readable trait, we can use Projectable instead | Ralf Jung | -4/+4 |
| 2024-09-08 | Auto merge of #129313 - RalfJung:coroutine-niches, r=compiler-errors | bors | -0/+66 |
| 2024-09-07 | Auto merge of #129941 - BoxyUwU:bump-boostrap, r=albertlarsan68 | bors | -7/+0 |
| 2024-09-07 | Renamed variable and fixed comments referring to renamed FileDescriptor | DeSevilla | -8/+8 |
| 2024-09-06 | Fix comment in mutex_id_offset | Konstantinos Andrikopoulos | -1/+0 |
| 2024-09-06 | Auto merge of #3864 - RalfJung:miri-bat-nightly, r=RalfJung | bors | -2/+2 |
| 2024-09-06 | miri.bat: use nightly toolchain | Ralf Jung | -2/+2 |
| 2024-09-06 | Merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-09-06 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-09-05 | update cfgs | Boxy | -7/+0 |
| 2024-09-05 | Auto merge of #3784 - Mandragorian:detect_moved_mutexes, r=RalfJung | bors | -116/+310 |
| 2024-09-05 | Detect pthread_mutex_t is moved | Konstantinos Andrikopoulos | -116/+310 |
| 2024-09-05 | Rollup merge of #129664 - adetaylor:arbitrary-self-types-pointers-feature-gat... | Matthias Krüger | -1/+1 |
| 2024-09-03 | Auto merge of #3856 - jder:mac-native-libs, r=RalfJung | bors | -52/+78 |
| 2024-09-03 | Enable native libraries on macOS | Jesse Rusak | -52/+78 |
| 2024-09-02 | Merge from rustc | The Miri Cronjob Bot | -4/+4 |
| 2024-09-02 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-09-01 | move addr_from_alloc_id logic into its own function | Ralf Jung | -105/+106 |
| 2024-09-01 | fmt | The Miri Cronjob Bot | -21/+37 |
| 2024-09-01 | Merge from rustc | The Miri Cronjob Bot | -13/+262 |
| 2024-09-01 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-09-01 | Rollup merge of #128495 - joboet:more_memcmp, r=scottmcm | Matthias Krüger | -4/+4 |
| 2024-08-31 | Auto merge of #129831 - matthiaskrgr:rollup-befq6zx, r=matthiaskrgr | bors | -5/+257 |
| 2024-08-31 | Rollup merge of #129684 - Strophox:miri-pass-pointer-to-ffi, r=RalfJung | Matthias Krüger | -5/+257 |
| 2024-08-31 | Rollup merge of #129785 - RalfJung:miri-sync, r=RalfJung | Matthias Krüger | -441/+1197 |
| 2024-08-30 | enable Miri to pass const pointers through FFI | Strophox | -5/+257 |
| 2024-08-30 | Merge from rustc | The Miri Cronjob Bot | -5/+0 |
| 2024-08-30 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-08-29 | interpret/visitor: make memory order iteration slightly more efficient | Ralf Jung | -8/+5 |
| 2024-08-29 | fix wasm test | Ralf Jung | -15/+28 |
| 2024-08-29 | Merge from rustc | The Miri Cronjob Bot | -6/+44 |
| 2024-08-29 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-08-28 | Rollup merge of #129401 - workingjubilee:partial-initialization-of-stabilizat... | Jubilee | -5/+0 |
| 2024-08-28 | Rollup merge of #129613 - RalfJung:interpret-target-feat, r=saethlin | Matthias Krüger | -6/+40 |
| 2024-08-28 | Rollup merge of #129608 - RalfJung:const-eval-ub-checks, r=saethlin | Matthias Krüger | -0/+4 |
| 2024-08-28 | Auto merge of #3837 - JoJoDeveloping:tb-compacting-provenance-gc, r=RalfJung | bors | -17/+237 |
