| 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 | Rollup merge of #141469 - Kivooeo:remove-usnsafegate, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2025-09-26 | Support `#[rustc_align_static]` inside `thread_local!` | Jules Bertholet | -0/+60 |
| 2025-09-25 | Rollup merge of #141032 - petrosagg:extract-if-ub, r=joboet | Matthias Krüger | -0/+10 |
| 2025-09-23 | Merge ref 'f6092f224d2b' from rust-lang/rust | Ralf Jung | -4/+4 |
| 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/+123 |
| 2025-09-22 | share check_all_outcomes impl, and increase max iteration counts | Ralf Jung | -60/+10 |
| 2025-09-22 | TB: rename Active → Unique to match paper | Ralf Jung | -5/+5 |
| 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-18 | implement sqrt for f16 and f128 | Ralf Jung | -15/+29 |
| 2025-09-17 | Merge pull request #4589 from LorrensP-2158466/freebsd-readdir | Ralf Jung | -2/+1 |
| 2025-09-17 | readdir for freebsd | LorrensP-2158466 | -2/+1 |
| 2025-09-17 | Merge ref '3f1552a273e4' from rust-lang/rust | The Miri Cronjob Bot | -0/+19 |
| 2025-09-16 | rustup | Ralf Jung | -1/+2 |
| 2025-09-16 | Rollup merge of #146402 - RalfJung:aggregate-init, r=saethlin | Stuart Cook | -0/+19 |
| 2025-09-14 | Merge ref 'a015919e54c6' from rust-lang/rust | The Miri Cronjob Bot | -1/+0 |
| 2025-09-13 | Rollup merge of #145471 - rs-sac:extr, r=the8472 | Jacob Pratt | -1/+0 |
| 2025-09-11 | Merge pull request #4580 from JoJoDeveloping/fix-4579-protector-0sized | Ralf Jung | -0/+10 |
| 2025-09-11 | move zero-sized protector dealloc test | Johannes Hostert | -15/+10 |
| 2025-09-11 | Merge pull request #4577 from RalfJung/release-seq | Ralf Jung | -1/+56 |
| 2025-09-11 | Fix miri issue 4579 by checking if the strong protector is actually "active". | Johannes Hostert | -0/+15 |
| 2025-09-11 | weak_memory: fix sync clock handling when loading from old store elements | Ralf Jung | -11/+33 |
| 2025-09-11 | add release sequence test | Ralf Jung | -0/+33 |
| 2025-09-11 | Merge ref 'f4665ab8368a' from rust-lang/rust | The Miri Cronjob Bot | -0/+14 |
| 2025-09-10 | add release sequence test | Ralf Jung | -3/+39 |
| 2025-09-10 | this apparently needs more test rounds | Ralf Jung | -3/+11 |
| 2025-09-10 | move all weak memory tests into their folder | Ralf Jung | -2/+2 |
| 2025-09-10 | also use nicer check_all_outcomes in float_nan | Ralf Jung | -177/+142 |
| 2025-09-10 | refactor weak-mem test to list all expected executions | Ralf Jung | -103/+114 |
| 2025-09-10 | ensure we do not see the inconsistent execution from Figure 8 | Ralf Jung | -1/+10 |
| 2025-09-10 | weak memory tests: add more info on where they come from | Ralf Jung | -11/+14 |
| 2025-09-10 | interpret: fix overlapping aggregate initialization | Ralf Jung | -0/+19 |
| 2025-09-10 | Rollup merge of #146178 - folkertdev:static-align, r=jdonszelmann,ralfjung,tr... | Matthias Krüger | -0/+14 |
| 2025-09-09 | allow `#[rustc_align_static(N)]` on `static`s | Folkert de Vries | -0/+14 |
| 2025-09-06 | Change stdlib float tests to account for miri nondet floats. | LorrensP-2158466 | -4/+3 |
| 2025-09-06 | Implement nondet behaviour and change/add tests. | LorrensP-2158466 | -44/+110 |
| 2025-09-04 | Rollup merge of #145690 - sayantn:integer-funnel-shift, r=tgross35 | Jacob Pratt | -1/+7 |
| 2025-09-03 | fix applying an error to infinities | Ralf Jung | -0/+4 |
| 2025-09-03 | Add `funnel_sh{l,r}` functions and intrinsics | sayantn | -1/+7 |
| 2025-09-03 | fix mangitude of applied float error | Ralf Jung | -4/+50 |
| 2025-09-02 | account for aarch64 windows oversleeping | Ralf Jung | -1/+2 |
| 2025-09-02 | add a flag to always apply the maximum float error | Ralf Jung | -0/+23 |
| 2025-08-31 | allow taking address to union field | Kivooeo | -1/+1 |
| 2025-08-30 | Merge ref 'e004014d1bf4' from rust-lang/rust | The Miri Cronjob Bot | -1/+0 |
| 2025-08-29 | Rollup merge of #145467 - Kivooeo:stabilize-strict_provenance_atomic_ptr, r=s... | Trevor Gross | -1/+0 |
| 2025-08-29 | unix read/write: fix zero-size handling | Ralf Jung | -1/+3 |
| 2025-08-27 | Stabilize BTree{Map,Set}::extract_if | Sidney Cammeresi | -1/+0 |
