| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-11-27 | Merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-11-27 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-11-26 | Update std::simd usage and test outputs | Caleb Zulawski | -9/+7 |
| 2023-11-26 | rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle... | Vadim Petrochenkov | -1/+1 |
| 2023-11-25 | bless | Ralf Jung | -16/+16 |
| 2023-11-25 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
| 2023-11-25 | Auto merge of #3189 - RalfJung:ci, r=RalfJung | bors | -11/+20 |
| 2023-11-25 | tweak ci.sh | Ralf Jung | -2/+8 |
| 2023-11-25 | run the provenance-gc=1 test on all targets, but only for some of the tests | Ralf Jung | -9/+12 |
| 2023-11-25 | run tests on 32bit freebsd | Ralf Jung | -0/+1 |
| 2023-11-25 | read off_t at the right size for the current target | Ralf Jung | -3/+3 |
| 2023-11-25 | make tests/utils work with edition 2015 | Ralf Jung | -2/+2 |
| 2023-11-25 | bless | Ralf Jung | -2/+2 |
| 2023-11-25 | fmt | Ralf Jung | -4/+1 |
| 2023-11-25 | Merge from rustc | Ralf Jung | -482/+486 |
| 2023-11-25 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
| 2023-11-24 | Manual find replace updates | Nilstrieb | -8/+8 |
| 2023-11-24 | Bless Miri tests | Nilstrieb | -472/+472 |
| 2023-11-24 | Refactor `float_to_int_checked` to remove its generic parameter and reduce co... | Eduardo Sánchez Muñoz | -205/+185 |
| 2023-11-23 | Auto merge of #118073 - saethlin:gc-dead-allocs, r=RalfJung | bors | -1/+2 |
| 2023-11-23 | Auto merge of #3184 - RalfJung:getenv, r=RalfJung | bors | -71/+79 |
| 2023-11-23 | remove stub android files that don't do anything | Ralf Jung | -36/+1 |
| 2023-11-23 | detect and test for data races between setenv and getenv | Ralf Jung | -36/+79 |
| 2023-11-23 | Merge from rustc | The Miri Conjob Bot | -9/+2 |
| 2023-11-23 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-11-22 | Miri: GC the dead_alloc_map too | Ben Kimock | -1/+2 |
| 2023-11-22 | Auto merge of #3180 - eduardosm:check-intrinsics-target-feature, r=RalfJung | bors | -19/+101 |
| 2023-11-22 | Check that target features required by LLVM intrinsics are enabled | Eduardo Sánchez Muñoz | -19/+101 |
| 2023-11-22 | Stabilize RFC3324 dyn upcasting coercion | Urgau | -9/+2 |
| 2023-11-21 | fmt | Ralf Jung | -11/+4 |
| 2023-11-21 | Merge from rustc | Ralf Jung | -309/+449 |
| 2023-11-21 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
| 2023-11-21 | Rollup merge of #118029 - saethlin:allocid-gc, r=RalfJung | Nilstrieb | -308/+424 |
| 2023-11-20 | Auto merge of #3176 - eduardosm:cmp, r=RalfJung | bors | -71/+261 |
| 2023-11-20 | Implement all 16 AVX compare operators | Eduardo Sánchez Muñoz | -67/+257 |
| 2023-11-20 | Test with -Zmiri-provenance-gc=1 on Linux | Ben Kimock | -1/+3 |
| 2023-11-20 | Test that the GC consults the extra_fn_ptr map | Ben Kimock | -0/+33 |
| 2023-11-20 | libc-misc test freebsd fixes attempt | David Carlier | -69/+59 |
| 2023-11-19 | Rollup merge of #117832 - RalfJung:interpret-shift, r=cjgillot | Michael Goulet | -0/+24 |
| 2023-11-19 | tag-gc -> provenance-gc | Ben Kimock | -18/+18 |
| 2023-11-19 | Expand Miri's BorTag GC to a Provenance GC | Ben Kimock | -289/+370 |
| 2023-11-19 | Improve wording of `intrinsics-x86-*.rs` header | Eduardo Sánchez Muñoz | -4/+4 |
| 2023-11-18 | Auto merge of #3175 - RalfJung:sysroot-verbose, r=RalfJung | bors | -5/+14 |
| 2023-11-18 | cargo-miri: when verbose, print where the sysroot is being built | Ralf Jung | -5/+14 |
| 2023-11-18 | guarantee that char and u32 are ABI-compatible | Ralf Jung | -1/+5 |
| 2023-11-18 | Auto merge of #3174 - RalfJung:rustc-git, r=RalfJung | bors | -1/+1 |
| 2023-11-18 | miri script: fix RUSTC_GIT error message | Ralf Jung | -1/+1 |
| 2023-11-17 | Rollup merge of #118022 - saethlin:miri, r=saethlin | Matthias Krüger | -138/+252 |
| 2023-11-17 | Rollup merge of #117338 - workingjubilee:asmjs-meets-thanatos, r=b-naber | Matthias Krüger | -1/+1 |
| 2023-11-16 | Preparing for merge from rustc | Ben Kimock | -1/+1 |
