about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/float.rs
AgeCommit message (Expand)AuthorLines
2025-09-23Merge ref 'f6092f224d2b' from rust-lang/rustRalf Jung-2/+2
2025-09-22Auto merge of #146683 - clarfonthey:safe-intrinsics, r=RalfJung,Amanieubors-2/+2
2025-09-22share the check_nondet helper as wellRalf Jung-110/+84
2025-09-21Mark float intrinsics with no preconditions as safeltdk-2/+2
2025-09-18implement sqrt for f16 and f128Ralf Jung-15/+29
2025-09-06Change stdlib float tests to account for miri nondet floats.LorrensP-2158466-4/+3
2025-09-06Implement nondet behaviour and change/add tests.LorrensP-2158466-44/+110
2025-09-03fix applying an error to infinitiesRalf Jung-0/+4
2025-09-03fix mangitude of applied float errorRalf Jung-3/+4
2025-07-01fmtThe Miri Cronjob Bot-2/+0
2025-06-30Auto merge of #143233 - dianqk:rollup-lcx3278, r=dianqkbors-11/+14
2025-06-30Try increasing the repetition limitOli Scherer-1/+1
2025-06-29add float_nan test for powfRalf Jung-9/+9
2025-06-29make some powf and powi cases involving SNaN non-deterministicLorrensP-2158466-11/+14
2025-06-10float tests: test non-determinism for more operationsRalf Jung-22/+25
2025-06-10fmtThe Miri Cronjob Bot-1/+0
2025-06-05change tests to use fixed constants to let them pass with miriLorrensP-2158466-1/+3
2025-06-03Enable Float non-determinism in miri. Update and add tests and changeLorrensP-2158466-3/+110
2025-04-29miri: algebraic intrinsics: bring back float non-determinismRalf Jung-59/+60
2025-04-24Suggest {to,from}_ne_bytes for transmutations between arrays and integers, etcbendn-0/+1
2025-04-07reduce the error tolerance to match algebraic and fast-math operationsRalf Jung-2/+3
2025-02-26fmtThe Miri Cronjob Bot-1/+0
2025-02-25disable float non-determinism for now to be able to complete the syncRalf Jung-1/+3
2025-02-24add missing float non-determinism tests and skip some on i686-pc-windows-msvc...Ralf Jung-10/+24
2025-02-16add erf and erfc to nondet tests, and reduce how much we're changing the floa...Ralf Jung-111/+27
2025-02-16apply random float error to most floating-point operationsLorrensP-2158466-56/+267
2025-02-14miri: shims for `erf` & friendsPavel Grigorenko-0/+6
2025-01-31miri: make float min/max non-deterministicRalf Jung-0/+28
2024-11-20miri: implement square root without relying on host floatsEduardo Sánchez Muñoz-2/+12
2024-10-17miri: improve support for `f16` and `f128`Eduardo Sánchez Muñoz-9/+151
2024-10-11intrinsics.fmuladdf{16,32,64,128}: expose llvm.fmuladd.* semanticsJed Brown-0/+18
2024-07-04Add casting tests for `f16` and `f128`Trevor Gross-0/+66
2024-07-04Refactor float casting testsTrevor Gross-186/+390
2024-06-14Add `f16` and `f128` support to MiriTrevor Gross-98/+51
2024-05-12merge float tests into oneRalf Jung-0/+67
2024-01-19Stabilize `round_ties_even`Jules Bertholet-1/+0
2024-01-06these should be exactRalf Jung-8/+8
2024-01-06merge intrinsics-math into float testsRalf Jung-2/+161
2023-09-29add tests for '%' sign on floatsRalf Jung-0/+10
2023-03-11Implement intrinsics for round_ties_evenBen Kimock-0/+30
2022-09-27Stabilize bench_black_boxUrgau-1/+1
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+555
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 12:32:10 +0000