| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-07-01 | fmt | The Miri Cronjob Bot | -2/+0 | |
| 2025-06-30 | Auto merge of #143233 - dianqk:rollup-lcx3278, r=dianqk | bors | -11/+14 | |
| Rollup of 14 pull requests Successful merges: - rust-lang/rust#142429 (`tests/ui`: A New Order [13/N]) - rust-lang/rust#142514 (Miri: handling of SNaN inputs in `f*::pow` operations) - rust-lang/rust#143066 (Use let chains in the new solver) - rust-lang/rust#143090 (Workaround for memory unsafety in third party DLLs) - rust-lang/rust#143118 (`tests/ui`: A New Order [15/N]) - rust-lang/rust#143159 (Do not freshen `ReError`) - rust-lang/rust#143168 (`tests/ui`: A New Order [16/N]) - rust-lang/rust#143176 (fix typos and improve clarity in documentation) - rust-lang/rust#143187 (Add my work email to mailmap) - rust-lang/rust#143190 (Use the `new` method for `BasicBlockData` and `Statement`) - rust-lang/rust#143195 (`tests/ui`: A New Order [17/N]) - rust-lang/rust#143196 (Port #[link_section] to the new attribute parsing infrastructure) - rust-lang/rust#143199 (Re-disable `tests/run-make/short-ice` on Windows MSVC again) - rust-lang/rust#143219 (Show auto trait and blanket impls for `!`) r? `@ghost` `@rustbot` modify labels: rollup | ||||
| 2025-06-30 | Try increasing the repetition limit | Oli Scherer | -1/+1 | |
| 2025-06-29 | add float_nan test for powf | Ralf Jung | -9/+9 | |
| plus various minor tweaks | ||||
| 2025-06-29 | make some powf and powi cases involving SNaN non-deterministic | LorrensP-2158466 | -11/+14 | |
| 2025-06-10 | float tests: test non-determinism for more operations | Ralf Jung | -22/+25 | |
| 2025-06-10 | fmt | The Miri Cronjob Bot | -1/+0 | |
| 2025-06-05 | change tests to use fixed constants to let them pass with miri | LorrensP-2158466 | -1/+3 | |
| 2025-06-03 | Enable Float non-determinism in miri. Update and add tests and change | LorrensP-2158466 | -3/+110 | |
| change tests in std, core and coretests. | ||||
| 2025-04-29 | miri: algebraic intrinsics: bring back float non-determinism | Ralf Jung | -59/+60 | |
| 2025-04-24 | Suggest {to,from}_ne_bytes for transmutations between arrays and integers, etc | bendn | -0/+1 | |
| 2025-04-07 | reduce the error tolerance to match algebraic and fast-math operations | Ralf Jung | -2/+3 | |
| 2025-02-26 | fmt | The Miri Cronjob Bot | -1/+0 | |
| 2025-02-25 | disable float non-determinism for now to be able to complete the sync | Ralf Jung | -1/+3 | |
| 2025-02-24 | add missing float non-determinism tests and skip some on ↵ | Ralf Jung | -10/+24 | |
| i686-pc-windows-msvc that are internally implemented via f64 | ||||
| 2025-02-16 | add erf and erfc to nondet tests, and reduce how much we're changing the ↵ | Ralf Jung | -111/+27 | |
| float test | ||||
| 2025-02-16 | apply random float error to most floating-point operations | LorrensP-2158466 | -56/+267 | |
| 2025-02-14 | miri: shims for `erf` & friends | Pavel Grigorenko | -0/+6 | |
| 2025-01-31 | miri: make float min/max non-deterministic | Ralf Jung | -0/+28 | |
| 2024-11-20 | miri: implement square root without relying on host floats | Eduardo Sánchez Muñoz | -2/+12 | |
| 2024-10-17 | miri: improve support for `f16` and `f128` | Eduardo Sánchez Muñoz | -9/+151 | |
| Rounding intrinsics are now implemented for `f16` and `f128` and tests for `is_infinite`, NaN, `abs`, `copysign`, `min`, `max`, rounding, `*_fast` and `*_algebraic` have been added. | ||||
| 2024-10-11 | intrinsics.fmuladdf{16,32,64,128}: expose llvm.fmuladd.* semantics | Jed Brown | -0/+18 | |
| Add intrinsics `fmuladd{f16,f32,f64,f128}`. This computes `(a * b) + c`, to be fused if the code generator determines that (i) the target instruction set has support for a fused operation, and (ii) that the fused operation is more efficient than the equivalent, separate pair of `mul` and `add` instructions. https://llvm.org/docs/LangRef.html#llvm-fmuladd-intrinsic MIRI support is included for f32 and f64. The codegen_cranelift uses the `fma` function from libc, which is a correct implementation, but without the desired performance semantic. I think this requires an update to cranelift to expose a suitable instruction in its IR. I have not tested with codegen_gcc, but it should behave the same way (using `fma` from libc). | ||||
| 2024-07-04 | Add casting tests for `f16` and `f128` | Trevor Gross | -0/+66 | |
| 2024-07-04 | Refactor float casting tests | Trevor Gross | -186/+390 | |
| This is an attempt to remove the magic from a lot of the numbers tested, which should make things easier when it is time to add `f16` and `f128`. A nice side effect is that these tests now cover all int <-> float conversions with the same amount of tests. Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-06-14 | Add `f16` and `f128` support to Miri | Trevor Gross | -98/+51 | |
| 2024-05-12 | merge float tests into one | Ralf Jung | -0/+67 | |
| 2024-01-19 | Stabilize `round_ties_even` | Jules Bertholet | -1/+0 | |
| 2024-01-06 | these should be exact | Ralf Jung | -8/+8 | |
| 2024-01-06 | merge intrinsics-math into float tests | Ralf Jung | -2/+161 | |
| 2023-09-29 | add tests for '%' sign on floats | Ralf Jung | -0/+10 | |
| 2023-03-11 | Implement intrinsics for round_ties_even | Ben Kimock | -0/+30 | |
| 2022-09-27 | Stabilize bench_black_box | Urgau | -1/+1 | |
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+555 | |
| git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573 | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |