| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-10-02 | Rollup merge of #146281 - Jules-Bertholet:static-align-thread-local, r=Mark-S... | Matthias Krüger | -0/+73 |
| 2025-10-01 | Fix memory leak in `os` impl | Jules Bertholet | -0/+13 |
| 2025-09-28 | remove explicit deref of AbiAlign for most methods | Jubilee Young | -1/+1 |
| 2025-09-28 | Rollup merge of #141469 - Kivooeo:remove-usnsafegate, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2025-09-26 | Apply cfg(bootstrap) replacement | Mark Rousskov | -6/+0 |
| 2025-09-26 | Support `#[rustc_align_static]` inside `thread_local!` | Jules Bertholet | -0/+60 |
| 2025-09-25 | Auto merge of #147037 - matthiaskrgr:rollup-xtgqzuu, r=matthiaskrgr | bors | -0/+10 |
| 2025-09-25 | Rollup merge of #141032 - petrosagg:extract-if-ub, r=joboet | Matthias Krüger | -0/+10 |
| 2025-09-25 | Rollup merge of #146735 - Qelxiros:const_mul_add, r=tgross35,RalfJung | Stuart Cook | -41/+5 |
| 2025-09-24 | unstably constify float mul_add methods | Jeremy Smart | -41/+5 |
| 2025-09-23 | Merge ref 'f6092f224d2b' from rust-lang/rust | Ralf Jung | -4/+4 |
| 2025-09-23 | Prepare for merging from rust-lang/rust | Ralf Jung | -1/+1 |
| 2025-09-22 | fix SIFA logic | Ralf Jung | -12/+23 |
| 2025-09-22 | Auto merge of #146683 - clarfonthey:safe-intrinsics, r=RalfJung,Amanieu | bors | -4/+4 |
| 2025-09-22 | share the check_nondet helper as well | Ralf Jung | -174/+138 |
| 2025-09-22 | share check_all_outcomes impl, and increase max iteration counts | Ralf Jung | -60/+45 |
| 2025-09-22 | Merge pull request #4595 from RalfJung/tb-terms | Ralf Jung | -197/+128 |
| 2025-09-22 | Tree::new_child: remove SIFA precondition and sync terminology | Ralf Jung | -70/+34 |
| 2025-09-22 | TB: rename Active → Unique to match paper | Ralf Jung | -128/+95 |
| 2025-09-22 | avoid violating `slice::from_raw_parts` safety contract in `Vec::extract_if` | Petros Angelatos | -0/+10 |
| 2025-09-21 | Mark float intrinsics with no preconditions as safe | ltdk | -4/+4 |
| 2025-09-20 | CI: test bootstrap build | Ralf Jung | -2/+37 |
| 2025-09-20 | clippy | Ralf Jung | -4/+4 |
| 2025-09-20 | Merge ref 'ec3867107526' from rust-lang/rust | The Miri Cronjob Bot | -2/+16 |
| 2025-09-20 | Prepare for merging from rust-lang/rust | The Miri Cronjob Bot | -1/+1 |
| 2025-09-19 | fix clippy warning | Ralf Jung | -2/+2 |
| 2025-09-19 | fix miri bootstrap build | Ralf Jung | -2/+16 |
| 2025-09-18 | Merge pull request #4592 from RalfJung/sqrt | Ralf Jung | -38/+54 |
| 2025-09-18 | share sqrt implemention across float types | Ralf Jung | -39/+25 |
| 2025-09-18 | implement sqrt for f16 and f128 | Ralf Jung | -15/+45 |
| 2025-09-18 | Merge pull request #4583 from Patrick-6/miri-genmc-estimation | Ralf Jung | -170/+395 |
| 2025-09-18 | tweak genmc error report note | Ralf Jung | -14/+23 |
| 2025-09-18 | Add GenMC estimation mode. Improve error handling and output printing. | Patrick-6 | -170/+386 |
| 2025-09-17 | Merge pull request #4589 from LorrensP-2158466/freebsd-readdir | Ralf Jung | -27/+46 |
| 2025-09-17 | readdir for freebsd | LorrensP-2158466 | -27/+46 |
| 2025-09-17 | Merge ref '3f1552a273e4' from rust-lang/rust | The Miri Cronjob Bot | -7/+63 |
| 2025-09-17 | Prepare for merging from rust-lang/rust | The Miri Cronjob Bot | -1/+1 |
| 2025-09-16 | rustup | Ralf Jung | -2/+3 |
| 2025-09-16 | Rollup merge of #146402 - RalfJung:aggregate-init, r=saethlin | Stuart Cook | -7/+63 |
| 2025-09-14 | Merge ref 'a015919e54c6' from rust-lang/rust | The Miri Cronjob Bot | -1/+0 |
| 2025-09-14 | Prepare for merging from rust-lang/rust | The Miri Cronjob Bot | -1/+1 |
| 2025-09-13 | Rollup merge of #145471 - rs-sac:extr, r=the8472 | Jacob Pratt | -1/+0 |
| 2025-09-13 | Merge ref '4ba1cf9ade4c' from rust-lang/rust | The Miri Cronjob Bot | -0/+1 |
| 2025-09-13 | Prepare for merging from rust-lang/rust | The Miri Cronjob Bot | -1/+1 |
| 2025-09-12 | Merge pull request #4578 from Patrick-6/miri-genmc-cas | Ralf Jung | -54/+850 |
| 2025-09-12 | Implement more features for GenMC mode | Patrick-6 | -54/+850 |
| 2025-09-12 | make a basic hello world work on wasip2 | Ralf Jung | -2/+70 |
| 2025-09-12 | move _Unwind_RaiseException out of the frame_in_std section | Ralf Jung | -16/+16 |
| 2025-09-12 | disable broken parts of CI for now | Ralf Jung | -16/+17 |
| 2025-09-12 | Rollup merge of #145895 - RalfJung:unpark, r=joboet | Stuart Cook | -0/+1 |
